## 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.

Previous slide | Next slide | Back to first slide | View graphic version |