Definition
Boyce-Codd Normal Form
A schema
is in Boyce-Codd normal form if for every functional dependency with attribute , at least one of the following two conditions holds:
, i.e. the functional dependency is trivial is super key of The BCNF is a more restrict version of the 3NF.