使用阿姆斯壮公理计算规范覆盖

Question

问题：使用 Armstrong 公理确定规范覆盖。给出你用来到达每一步的公理。

R = (A, B, C, D, E, F) F依赖 = {A -> B, A -> C, CD -> E, CD -> F, B -> E}

我知道阿姆斯特朗的公理：并集、分解、伪及物性、自反性、扩充性和及物性。我也知道规范封面是什么。但是，我不知道如何使用阿姆斯壮公理来得出这个特定问题的答案——我认为您通常会使用阿姆斯壮公理来计算 F+，而不是 cc。 感谢您的帮助。

Answer 1

当我用谷歌搜索“规范封面”时出现的最佳答案：

http://www.koffeinhaltig.com/fds/ueberdeckung.php

计算 F+ 本身通常不是很有趣。计算一些可证明等价的最小集合可能会更有趣，尽管我有疑问。

注意（不是您的实际问题，但我还是会提到它）虽然您的问题是关于“最小化 FD 两侧的属性集”，但 Armstrong 公理最有用的用途是计算具有左侧的最小属性集，但右侧的最大属性集（=所有属性）。这为您提供了所有（最少的）密钥，从而为您提供了一种检查 NF 的简单方法。