如何知道我是否达到了正确的Canonical Cover？

Question

我知道如何通过一些步骤获得规范封面。

但是，我怎样才能确保这是最小和正确的规范封面？

以下是我的尝试示例：

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}

哪一个是正确的？