令和元年度 秋期 システムアーキテクト試験 午前Ⅱ 問21
テクノロジ／データベース関数従属 {A，B} → C が完全関数従属性を満たすための条件はどれか。
出典：令和元年度 秋期 システムアーキテクト試験 午前Ⅱ 問21
- ア{A，B}→B 又は {A，B}→A が成立していること
- イA→B→C 又は B→A→C が成立していること
- ウA→C 及び B→C のいずれも成立しないこと
- エC→{A，B} が成立しないこと
正解：ウ
解説
完全関数従属性とは，{A，B}→C が成立する場合に，その真部分集合であるAだけ又はBだけからCへの関数従属（A→C，B→C）が成立しないことをいいます。すなわち，Cを特定するためにはAとBの両方が必要であり，どちらか一方だけでは決定できないことが条件となります。
選択肢ごとの解説
- ア誤り。{A，B}→B や {A，B}→A は自明な関数従属であり，完全関数従属性の条件とは関係しません。
- イ誤り。A→B→C や B→A→C の推移的な関係の成立は，完全関数従属性の定義とは異なります。
- ウ正しい。A→C 及び B→C のいずれも成立しないことが，{A，B}→C が完全関数従属性を満たすための条件です。
- エ誤り。C→{A，B} が成立しないことは，逆方向の関数従属に関する条件であり，完全関数従属性の定義とは異なります。