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

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