将 FD 分解为 BCNF

Question

对于关系 R(A,B,C,D)，我有以下 FD..

• AB->C
• BC->D
• CD->A
• AD->B

没有明显的 BCNF 违规，当我关闭时，我得到了..

• AB+=ABCD
• BC+=ABCD
• CD+=ABCD
• AD+=ABCD

我唯一的想法是我在确定我的闭包时是错误的，但我从未见过这样的一组 FD，所以我不确定。如果我做错了什么或者这已经在 BCNF 中，有人可以告诉我吗？

Answer 1

非正式地，当每个箭头都是候选键中的箭头时，您就有 BCNF。我认为你的闭包是正确的，这已经在 BCNF 中了。