问题：使用阿姆斯特朗公理确定规范封面。给出你用来达到每一步的公理。
R =（A，B，C，D，E，F） Fdependencies = {A - ＆gt; B，A - ＆gt; C，CD - ＆gt; E，CD - ＆gt; F，B - ＆gt; ë}
我知道阿姆斯特朗的公理：结合，分解，伪变性，反身性，增强和传递性。我也知道规范的封面是什么。但是，我不知道如何使用阿姆斯特朗的公理来得到这个特定问题的答案 - 我认为你通常会用阿姆斯特朗的公理来计算F +，而不是cc。 谢谢你的帮助。
答案 0 :(得分：1)
当我用Google搜索＆＃34;规范封面时出现的最佳答案＆＃34; ：
http://www.koffeinhaltig.com/fds/ueberdeckung.php
计算F +本身通常不是很有趣。计算一些可证明相当的最小集合可能会更有趣，尽管我有疑虑。
注意（不是你的实际问题，但我仍然会提到它）虽然你的问题是关于＆＃34;最小化FD两边的属性集＆＃34;，最有用的是Armstrong＆ ＃39; s公理是计算左边具有最小属性集的FD，但右边是最大值（=所有属性）。这为您提供了所有（最小）键，从而为您提供了一种检查NF的简便方法。