Canonical Cover示例

Question

我正在学习课程数据库中的考试，并且在功能依赖性方面存在一些问题。

所以我得到了功能依赖：

A->BE, AE->BD, F->CD, CD->BEF, CF->B

分解和左缩减后，我得到：

A->B, A->E, A->D, F->B, F->C, F->D, CD->B, CD->E, CD->F

因此，在检查传递性后，我得到解决方案：

A-> BDE, F->CD, CD->BEF

但我不确定它是否正确。我在这里做了同样的步骤：

http://www.youtube.com/watch?v=lKYz5e7INTg

感谢您的帮助！

Answer 1

我找到了这个页面来计算规范封面：

http://www.koffeinhaltig.com/

输入的重要性在于每个属性之间必须有空格。

所以我发现我的解决方案是正确的。

以下是我的例子：

http://www.koffeinhaltig.com/fds/ueberdeckung.php?fds=A+-%3E+B+E%2C+A+E+-%3E+B+D%2C+F+-%3E+C+D%2C+C+D+-%3E+B+E+F%2C+C+F+-%3E+B&language=de