什么是经典封面？
What is mean cannonical cover?
我是 DBMS 新手。
我正在学习完整性约束的概念。
在这个主题中，我有一个子主题。
那就是功能依赖。
我无法理解这个话题。
以下问题请举例说明。
- 函数依赖是什么意思，它在 DBMS 中有什么用？
- 规范覆盖是什么意思，它有什么用，如何找到给定关系中的规范覆盖？
感谢提前。
wiki 说的是 cannocial 封面：
A canonical cover F_c for F (a set of functional dependencies on a
relation scheme) is a set of dependencies such that F logically
implies all dependencies in F_c, and F_c logically implies all
dependencies in F.
In relational database theory, a functional dependency is a constraint
between two sets of attributes in a relation from a database.
为了尽量减少更新时需要测试的功能依赖项的数量，我们可以将 F 限制为规范覆盖 tex2html_wrap_inline1324。
F 的规范覆盖是一组依赖关系，使得 F 在逻辑上暗示 tex2html_wrap_inline1324 中的所有依赖关系，反之亦然。
F 的规范覆盖 Fc 是一组依赖关系，使得 F 在逻辑上暗示 Fc 中的所有依赖关系，而 Fc 在逻辑上暗示 F 中的所有依赖关系。
集合Fc有两个重要的性质：
No functional dependency in Fc contains an extraneous attribute.
Each left side of a functional dependency in Fc is unique.
F 的规范覆盖是一组依赖关系，使得 F 在逻辑上暗示 tex2html_wrap_inline1324 中的所有依赖关系，反之亦然。
我是 DBMS 新手。
我正在学习完整性约束的概念。 在这个主题中，我有一个子主题。 那就是功能依赖。 我无法理解这个话题。
以下问题请举例说明。
- 函数依赖是什么意思，它在 DBMS 中有什么用？
- 规范覆盖是什么意思，它有什么用，如何找到给定关系中的规范覆盖？
感谢提前。
wiki 说的是 cannocial 封面：
A canonical cover F_c for F (a set of functional dependencies on a relation scheme) is a set of dependencies such that F logically implies all dependencies in F_c, and F_c logically implies all dependencies in F.
In relational database theory, a functional dependency is a constraint between two sets of attributes in a relation from a database.
为了尽量减少更新时需要测试的功能依赖项的数量，我们可以将 F 限制为规范覆盖 tex2html_wrap_inline1324。
F 的规范覆盖是一组依赖关系，使得 F 在逻辑上暗示 tex2html_wrap_inline1324 中的所有依赖关系，反之亦然。
F 的规范覆盖 Fc 是一组依赖关系，使得 F 在逻辑上暗示 Fc 中的所有依赖关系，而 Fc 在逻辑上暗示 F 中的所有依赖关系。
集合Fc有两个重要的性质：
No functional dependency in Fc contains an extraneous attribute.
Each left side of a functional dependency in Fc is unique.
F 的规范覆盖是一组依赖关系，使得 F 在逻辑上暗示 tex2html_wrap_inline1324 中的所有依赖关系，反之亦然。