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

正解の根拠

関数従属 ($X \rightarrow Y$) とは、ある関係において属性の集合 $X$ の値が決まれば、別の属性の集合 $Y$ の値が一意に定まるという性質を指します。
選択肢エでは、「$B$ と $C$ の和集合が $A$ に関数従属する」、すなわち $A \rightarrow B \cup C$ という条件が与えられています。
$A$ の値が決まったときに $B$ と $C$ 両方の値の組が一意に決まるのであれば、当然 $A$ の値から $B$ 単独の値、あるいは $C$ 単独の値も一意に決まります。
したがって、$A \rightarrow B$ かつ $A \rightarrow C$ が成り立ちます。これは関数従属の推論規則における 分解則 に該当します。

各選択肢の解説

• ア: 誤り。$A \rightarrow B$ かつ $A \rightarrow C$ であっても、$B \rightarrow C$ が成り立つとは限りません。例えば、$A$ を「社員ID」、$B$ を「部署名」、$C$ を「氏名」とした場合、社員IDから部署名と氏名はそれぞれ決まりますが、部署名から氏名は一意に決まりません。
• イ: 誤り。$B \subseteq A$ かつ $A \rightarrow C$ であっても、$B \rightarrow C$ が成り立つとは限りません。例えば、$A$ を「{社員ID, 部署名}」、$B$ を「{部署名}」、$C$ を「氏名」とした場合、$A$ から $C$ は一意に決まりますが、$B$ (部署名) だけから $C$ (氏名) は一意に決まりません。
• ウ: 誤り。$B \subseteq A$ の場合、$A$ の値が決まればその一部である $B$ の値は必然的に決まるため、正しくは「$B$ は $A$ に関数従属する ($A \rightarrow B$)」となります。逆に $B$ から $A$ が一意に決まるとは限りません。この $A \rightarrow B$ の関係は 自明な関数従属 と呼ばれます。
• エ: 正しい。上述の通り、$A \rightarrow B \cup C$ ならば $A \rightarrow B$ かつ $A \rightarrow C$ が成り立ちます。