第3正規形で除く従属
ある表で関数従属 A→B と B→C が成り立ち、A が主キーである。この表を第3正規形にするために取り除くべき関数従属はどれか。
解説を見る
第3正規形は「主キー以外の属性が主キー以外の属性に従属する(推移的関数従属)」を排除した状態。ここでは A→B→C により C が主キー A に推移的に従属している。原因は非キー属性 B が C を決めている B→C なので、これを別表に分割して取り除く。
誤答の解説
BA→B は主キーへの正当な従属で、除去対象ではない。
CA→C は B を介した推移的従属であり、まさに解消したい問題。除かないと第3正規形にならない。
DC→A は前提に無い従属。取り除くという話にならない。
ヒント
・第3正規形が排除するのは「推移的関数従属」。
・非キー属性 B が別の非キー属性 C を決めている点に注目。