转换为BCNF

Question

我得到了以下关系式：

R(A,B,C,D,E)

和以下函数依赖项：

F1 - AC -> D
F2 - D -> E
F3 - E -> A

我正在尝试将此格式转换为BCNF格式。

我采取的第一步是找出关系的可能关键字。

Keys: ABC, BCD, BCE

然后我检查函数依赖是否符合BCNF形式，它们不符合。因此，我尝试分解并得到以下结果：

R1(A,C,D) AC->D Keys: AC
R2(D, E) D->E Keys: D

我相信在这一点上，关系是BCNF形式的，是无损的，但不是依赖保持。

对于这类事情，这看起来是正确的技术吗？是不是有一两个步骤我可能漏掉了？

Answer 1

我相信你的BCNF有错误。在R1和R2之间，你失去了B。

键、ABC、BCD和BCE正确。(您需要B、C和A、D或E中的一个)。

R1 (A，B，C，D)，密钥ABC和带有密钥D的R2 (D，E)是有效的规范化。