Database 函数依赖的最小覆盖率

我有点难以理解最小覆盖的概念，所以我想知道我是否正确，是否真的这样说：

给定一个属性为A1…An的关系R

---

如果G是FDs集合F的最小覆盖，那么对于R中属性的每个子集X，F中X的闭包与G中X的闭包相同。

就闭包而言，您是对的，您可以将其视为一系列FDs的组合： 如果您有

F={A->B，B->C，A->C}

则FD

A->C

是冗余的，因为它可以从前两个FD派生。 在这种情况下，F的最小覆盖G是

{A->B，B->C}