複合属性への完全関数従属の条件

完全関数従属 では,決定項の属性を一つでも取り除くと従属関係が成立しません。$\{A,B\}\to C$ が成立し,$A\to C$ と $B\to C$ がいずれも成立しないことが必要です。片方だけでCが決まるなら部分関数従属になります。 右辺が左辺の一部である自明な関数従属であり,Cが両属性を必要とする条件を示しません。 推移的な関係によって,A又はBだけでCが決まることになり,完全関数従属の条件に反します。 Cから逆向きに決まるかどうかは,A又はBだけでCが決まらないという条件を示しません。

関数従属 {A,B}→C\{A,B\}\to C が完全関数従属性を満たすための条件はどれか。

出典令和元年度 秋期 システムアーキテクト試験 午前Ⅱ 問21
ア
{A,B}→B\{A,B\}\to B 又は {A,B}→A\{A,B\}\to A が成立していること
イ
A→B→CA\to B\to C 又は B→A→CB\to A\to C が成立していること
ウ
A→CA\to C 及び B→CB\to C のいずれも成立しないこと
エ
C→{A,B}C\to\{A,B\} が成立しないこと