平成27年度 春期 データベーススペシャリスト試験 午前II 問9

【解説】

1. 除算（÷）の定義
– R ÷ S は、R の「店」と S のすべての「商品」が関連している「店」を抽出します。
– 具体的には、R において S のすべての商品を持つ「店」を選択します。

2. 条件の確認
– S の「商品」は {a, b, c}。
– R から、これらすべての商品が関連する「店」を探します。

3. 各店舗の関連する商品

店 B は S のすべての商品 {a, b, c} を持っています。

4. 結果
R ÷ S の結果は、S のすべての商品 {a, b, c} を持つ「店」である B となります。