ボイス・コッド正規形
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/12 07:30 UTC 版)
「関係の正規化」の記事における「ボイス・コッド正規形」の解説
ある関係上に存在する自明でない全ての関数従属性の決定項が候補キーであるとき、かつそのときに限り、その関係はボイス・コッド正規形 (Boyce/Codd normal form; BCNF) であるという。すなわち、ボイス・コッド正規形では、すべての属性が候補キーに完全従属する。この定義には第3正規形への言及がないが、ボイス・コッド正規形の関係はすべて第3正規形でもある。 ボイス・コッド正規形は、ほとんどの場合第3正規形と等価であり、複数の属性からなる候補キーが複数存在する場合にのみ差異が生じうる。第3正規形は非キー属性を従属項とする関数従属性だけを問題とするので、候補キーを構成する属性の間に候補キーを決定項としない関数従属性が存在することを許す。ボイス・コッド正規形では、この問題が存在することを許さない。ボイス・コッド正規形は、いわば第3正規形をより完全にしたものである。 第3正規形の関係は、常に無損失なようにボイス・コッド正規形に分解することができる。
※この「ボイス・コッド正規形」の解説は、「関係の正規化」の解説の一部です。
「ボイス・コッド正規形」を含む「関係の正規化」の記事については、「関係の正規化」の概要を参照ください。
ウィキペディア小見出し辞書の「ボイス‐コッド正規形」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
- ボイス‐コッド正規形のページへのリンク
