使用阿姆斯特朗公理计算规范覆盖
问题：使用阿姆斯特朗公理确定规范覆盖。给出用于完成每个步骤的公理。
R = (A、B、C、D、E、F) F依赖性={A-> B、A-> C、CD-> E、CD-> F、B-> E}
我知道阿姆斯特朗公理：并集、分解、伪及物性、自反性、增广和及物性。我也知道什么是规范封面。但是，我不知道如何使用阿姆斯特朗公理来找到这个特定问题的答案——我认为您通常会使用阿姆斯特朗公理来计算 F+，而不是 cc。 感谢您的帮助。
question:Determine the canonical cover using Armstrong’s Axioms. Give the axioms that you use to arrive at each step.
R = (A, B, C, D, E, F)
Fdependencies = {A -> B, A -> C, CD -> E, CD -> F, B -> E}
I know armstrong's axioms:union, decomposition, pseudotransitivity, reflexivity, augmentation, and transitivity. I also know what canonical cover is. However, I do not know how to use armstrong's axioms to reach an answer for this particular question-- I thought you would usually use armstrong's axioms to compute F+, not the cc.
Thanks for the help.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
当我用谷歌搜索“规范封面”时出现的最佳答案：
http://www.koffeinhaltig.com/ fds/ueberdeckung.php
计算 F+ 本身通常不是很有趣。尽管我有疑问，但计算一些可证明等效的最小集可能会更有趣。
请注意（不是您的实际问题，但我还是会提到）虽然您的问题是关于“最小化 FD 两侧的属性集”，但阿姆斯特朗公理最有用的用途是计算具有最小属性集的 FD在左边，但在右边最大（=所有属性）。这为您提供了所有（最少）密钥，从而为您提供了一种检查 NF 的简单方法。
The top answer showing up when I googled "canonical cover" :
http://www.koffeinhaltig.com/fds/ueberdeckung.php
Computing F+ is itself usually not very interesting. Computing some minimal set that is provably equivalent may be a bit more interesting, allthough I have my doubts.
Note (not your actual question, but I'll mention it nonetheless) that while your problem is about "minimizing the attribute sets on both sides of the FDs", the most useful use of Armstrong's axioms is to compute FDs that have minimal attribute sets on the left, but maximal on the right (=all attributes). That gives you all the (minimal) keys, and thus gives you an easy way to check the NF.