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: