Boyce-Codd Normal Form
A simple condition for removing
anomalies from relations:
In
English (though a bit vague):
Whenever a set of attributes of R is
determining another attribute,
should determine all
the attributes of R.
A relation R is in BCNF if:
Whenever there is a nontrivial dependency A1, ..., An à B
in R , {A1, ..., An} is a key for R