我知道如何通过一些步骤获得规范封面。
但是，我如何确保这是最小且正确的规范封面？
这是我尝试的示例：
R = {A, B, C, D, E}
F = {A->BC, CD->E, B->D, E->A}
这是我所做的：
只需一步，我就完成了：
C是无关的CD->E
我的Fc = {A->BC, D->E, B->D, E->A}
但我不能走得更远。我也无法相信结果！
编辑：我还有另一个解决方案，即：{A->BCE, B->D}
编辑：我还有另一个解决方案，即：{A->BCED}
哪一个是正确的？