データベースの整合性を守る Boyce-Codd 正規形 (BCNF) とは？
BCNF は、以下の条件を満たす関係 (テーブル) を指します。すべての属性が主キーに部分的にまたは完全に決定される。推移的依存関係が存在しない。主キー は、関係内のレコードを一意に識別する属性の集合です。部分的に決定される とは、主キーの一部によって属性が決定されることを意味します。推移的依存関係 とは、ある属性 A が属性 B を決定し、属性 B が属性 C を決定する場合、A が C を決定する関係を指します。