3NF : Definition
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
- Each attribute A in b-->a is contained in a candidate key for R.