ボイスコッド正規形
他の属性がある属性(X)に
完全関数従属
である場合に、かつ属性(X)が候補キーであるとき、この表をボイスコッド正規形という。
BCNF
:
Boyce-Codd normal form