Canonical cover
A canonical cover ![F_c](/Images/godic/202501/03/9a820fd176cfec7737cbf794fdd2df980657.png")
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: