IPA公式正解:エ BとCの和集合がAに関数従属すれば,BとCはそれぞれがAに関数従属する。
※ 正解はIPA公表の解答です。解説は当サイトが生成AIを用いて作成しています。誤りにお気づきの場合はお問い合わせください。
【解説】正解は選択肢【エ】です。関数従属の推論規則(アームストロングの公理)の分解則により、A → B ∪ C が成立するならば、A → B かつ A → C が成立します。
【詳細解説】■ 本問の核心・解法のポイント
関数従属(Functional Dependency: FD)の性質およびアームストロングの公理系(Armstrong's Axioms)に関する問題です。
「YがXに関数従属する(X → Y)」とは、Xの値が決まればYの値が一意に定まることを意味します。
健全で完全な推論規則として以下の公理と導出則があります:
・反射則:Y ⊆ X ならば X → Y
・増加則:X → Y ならば XZ → YZ
・推移則:X → Y かつ Y → Z ならば X → Z
・分解則:X → YZ(YとZの和集合)ならば X → Y かつ X → Z
・合併則:X → Y かつ X → Z ならば X → YZ
・各選択肢の徹底解説:
・ア:不適切です。A → B かつ A → C であっても、B → C が成り立つとは限りません(推移則は A → B かつ B → C のときに A → C が導かれます)。
・イ:不適切です。B ⊆ A かつ A → C であっても、より情報量の少ないBからCが一意に決まる(B → C)とは限りません。
・ウ:不適切です。反射則によれば、B ⊆ A であれば「BがAに関数従属する(A → B)」が成り立ちます。記述は「AがBに関数従属する(B → A)」となっており逆です。
・【選択肢エ★】:適切です。分解則(Decomposition rule)に基づき、A → B ∪ C であれば、A → B および A → C の双方が成り立ちます。
よって正解はエです。