如何为给定关系指定一组等效的功能依赖项

时间:2015-01-24 12:23:30

标签: relational-algebra functional-dependencies

enter image description here

我们被告知FD是:

A->B
B->C
C->A

但是根据传递规则,由于A->BB->C这也意味着:

A->C

我得出了:

A->BC是真的,因为A->BA->C是FD。我可以使用拆分规则将A->BC拆分为A->BA->C

C->AB是正确的,因为C->A并且由于转接规则C->B为真(其中C->AA->B表示C->B

有人可以告诉我正确答案以及为什么我的答案是错误的。我无法理解答案。

1 个答案:

答案 0 :(得分:0)

可以在评论中找到关于答案错误原因的讨论。

正确的答案是#4:只有在这个答案A中,BC是超级密钥,就像在原始功能依赖集中一样。在#1 A不是超级密钥(例如,A -> B不成立),#3 C中不是超级密钥(例如,C -> B不成立)。