问题：使用阿姆斯壮公理来确定规范覆盖。给出每一步都要用到的公理。
R=（A、B、C、D、E、F）
fdependencies={a->b，a->c，cd->e，cd->f，b->e}
我知道阿姆斯壮的公理：联合、分解、伪及物性、反身性、增强和及物性。我也知道什么是规范封面。但是，我不知道如何使用阿姆斯壮的公理来回答这个问题——我想你通常会用阿姆斯壮的公理来计算F+，而不是CC。
谢谢你的帮助。
最佳答案
当我在谷歌上搜索“Canonical Cover”时，最重要的答案出现了：
http://www.koffeinhaltig.com/fds/ueberdeckung.php
计算f+本身通常不是很有趣。计算一些可证明等价的最小集可能更有趣，尽管我有疑问。
注意（不是你的实际问题，但我会提到）尽管你的问题是关于“最小化FDS两边的属性集”，但是阿姆斯壮公理最有用的用法是计算左边有最小属性集的FDS，但是右边的最大值（=所有属性）。这给了你所有（最小）键，因此给了你一个检查nf的简单方法。