functional-dependencies - 使用阿姆斯壮公理证明属性是超级键

Question

所以我得到了与的关系 R (A, B, C, D, E, F) ， FD = {AB -> C, AD->B, C->B, F-> AD, F-> E} 我需要使用阿姆斯特朗公理来证明F它是一个超级密钥。

我了解 Armstrong 的公理（在基本程度上），但我不确定如何在此应用程序中使用它们。任何指导表示赞赏。

谢谢

Answer 1

因此，您需要使用 Armstrong 公理来证明给定的 FD 集蕴含 F->ABCDEF。

在我看来，第一个适用的公理是及物性公理。