Intuitively, a canonical cover of a set of dependencies F is the “minimal” set of FDs equivalent to F. • No redundant dependencies or extraneous attributes in any one of the dependencies. • Formally, A canonical cover for F is a set of dependencies Fc such that • F logically implies all dependencies in Fc, and • Fc logically implies all dependencies in F, and • No functional dependency in Fc contains an extraneous attribute, and • Each left side of functional dependency in Fc is unique. 用中文详细讲解以上内容及相关知识点

"规范覆盖"是指一组等价于给定依赖关系集合 F 的最小函数依赖集合。规范覆盖需要满足以下条件：

1. 覆盖所有 F 中的函数依赖；
2. 没有冗余的函数依赖；
3. 没有任何一个函数依赖包含多余的属性；
4. Fc 中任何一个函数依赖的左侧都是唯一的。

在数据库中，函数依赖是指关系模式中一个属性或属性集合的取值决定了其他属性或属性集合的取值。规范覆盖的作用是简化关系模式，避免数据冗余和不一致性。通过找到规范覆盖，我们可以得到一个最小的关系模式，其中每个属性都是必需的。这有助于提高数据库的性能和可维护性。