Relation R with an associated set of functional dependencies, F is decomposed into BCNF. The redundancy (arising out of functional dependencies) in the resulting set relations is.
More than zero but less than that of an equivalent 3NF decomposition
Proportional to the size of F+