需要Boyce Codd普通形式的幫助

Question

我陷入標准化。 我已經歸一化到3NF。 但是我不怎么執行BCNF。 3NF表列表如下所示。

1. 表1（ A ，B，C）； FD：A-> B，A->C。
2. 表2（ D ，E）； FD：D->E。
3. 表3（ A ， D ，F）； FD {A，D}-> F
4. 表4（ A ， D ， H ， I ，J，K）； FD：{A，D，H，I}->J。
   
   如以上示例所述，我不知道如何為Table4應用BCNF。 根據要求，屬性K沒有任何依賴性。 我假設我們必須在表4中應用BCNF。 請您在這方面提供幫助。 謝謝

Answer 1

阿姆斯特朗公理：

擴充公理 ：如果X-> Y，則對於任何Z都是XZ-> YZ

因此，這可以應用於表4，

在表4中，FD：{A，D，H，I}-> J.可以寫為FD：{A，D，H，I，K}-> {J，K}

然后，我們可以應用分解公理，

分解 ：如果X-> YZ，則X-> Y和X-> Z

因此，將其應用於表4，

FD ：{A，D，H，I，K}-> J，
FD ：{A，D，H，I，K}-> K

因此，表4的兩個FD是：

FD ：{A，D，H，I}-> J，
FD ：{A，D，H，I，K}-> {J，K}

因此{A，D，H，I，K}是一個超級鍵 ，根據BCNF的定義，我們得到table4在BCNF中

希望這可以幫助。