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