問3
3 / 25
関係 R（A，B，C）において，関数従属 A→B，B→C が成立するとき，導けない関数従属はどれか。
{A, B, C} → {A, B}
{A, C} → {A, B}
{A, C} → {A, B, C}
{B, C} → {A, C}
A→B、B→Cから推移律でA→Cが成り立ち、{A,C}や{A,B,C}を含む多くの従属は導ける。しかし{B,C}→{A,C}はAを決定できず(BやCからAは導けない)導けない。
