Canonical cover
A canonical cover for F (a set of functional dependencies on a relation scheme) is a set of dependencies such that F logically implies all dependencies in
, and
logically implies all dependencies in F.
The set has two important properties: