Canonical cover. From Wikipedia, the free encyclopedia. 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.