BCNF
A relation schema R is in BCNF with respect to a set of functional dependencies if for all functional dependencies in F+ of the form a-->b at least one of the following holds,
- a-->b is a trivial functional dependency (that is b is subset of a)
- a is superkey for schema R