|< < 29 > >|

Boyce-Codd Normal Form (BCNF)

A relation R is in BCNF if and only if for every dependency, X → Y, at least one of the following is true:
  • Y ⊆ X
  • X is a superkey of R

Superset of a candidate key.

In other words

In a BCNF relation, the LHS of FDs are superkeys.

Example

LessBadAlbum is not BCNF.

  • label → label_website is a FD.
  • label is not a superkey.

|< < 29 > >|