令和7年度 秋期 データベーススペシャリスト試験 午前II 問5

• ア: BがAに関数従属し、CがAに関数従属すれば、CはBに関数従属する。
  誤り。「BがAに関数従属する」は A → B、「CがAに関数従属する」は A → C を意味しますが、これらから一般には B → C は導けません。Aが候補キーで、BやCがその一部であるような場合でも、BだけからCが一意に決まるとは限りません。

• イ: BがAの部分集合であり、CがAに関数従属すれば、CはBに関数従属する。
  誤り。B ⊆ A かつ A → C であっても、B → C が成り立つとは限りません。BがAの一部の属性に過ぎない場合、Bの値だけではCが一意に決まらないことがあります。

• ウ: BがAの部分集合であれば、AはBに関数従属する。
  誤り。B ⊆ A のとき成り立つ自明な関数従属は「AがBに関数従属する」ではなく「BがAに関数従属する」（A → B）です。BがAの一部であるだけで、B → A が成り立つとは限りません。

• エ: BとCの和集合がAに関数従属すれば、BとCはそれぞれがAに関数従属する。
  正しい。「BとCの和集合がAに関数従属する」は A → (B ∪ C) を意味します。関数従属の性質として、A → (B ∪ C) が成り立てば A → B と A → C に分解できます。したがって、BとCはそれぞれAに関数従属します。

答え

エ: BとCの和集合がAに関数従属すれば、BとCはそれぞれがAに関数従属する。