A _________ Fc for F is a set of dependencies such that F logically implies all dependencies in Fc, and Fc logically implies all dependencies in F.

• A. tCanonical cover
• B. tComplete cover
• C. tCanonical dependency
• D. tCanonical clause