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

Question

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

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 公理最有用的用途是计算具有最小属性集的 FD在左侧，但在右侧最大（=所有属性）。这为您提供了所有（最小）密钥，从而为您提供了一种检查 NF 的简单方法。