database - 数据库管理——关闭功能依赖

Question

关系的这些函数依赖关系的闭包是什么？

1. A -> 直流
2. D -> B

回答：A -> BC（使用伪传递性规则）。

我是正确的还是我错过了什么？

Answer 1

给定 FD 集合的闭包是当给定集合中的那些 FD 保持时必须保持的所有 FD 的集合。即每个 FD 的集合，可以通过某个 Armstrong 公理序列从给定集合中的一个导出。你会被告知，每一套都有这样的封闭，它是独一无二的。并且我们可以通过使用到目前为止给定和/或导出的 FD 以某种新方式重复应用一些公理来找到闭包，直到没有新的 FD 被导出。

通过将一条规则应用于集合中的某些 FD，您找到了原始集合 {A -> DC, D -> B} 隐含的一个 FD，即 A -> BC。如果您无法通过应用任何其他规则来获得新规则，那么闭包将是集合 {A -> DC, D -> B, A -> BC}。但这不是闭包，因为您仍然可以至少再生成一个 FD，即 A-> BDC。然后是 A -> A。继续尝试申请。闭包将是您可以派生的所有 FD 的集合。

谷歌“功能依赖阿姆斯壮公理”的许多学术解释。例如这个。