使用阿姆斯特朗公理证明属性是超级键

Question

所以我得到了R (A, B, C, D, E, F)具有FD = {AB -> C, AD->B, C->B, F-> AD, F-> E}我需要用Armstrong公理来证明CCD_ 3是一个超级密钥。

我了解Armstrong的Axioms（在基本程度上），但我不确定如何在这个应用程序中使用它们。欢迎提供任何指导。

感谢

Answer 1

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

在我看来，第一条公理是传递性