如何为给定关系指定一组等效的函数依赖关系

How to specify a set of equivalent Functional Dependencies for a given relation

我们被告知 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)

谁能告诉我正确答案以及为什么我的答案是错误的。我无法理解给定的答案。

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

正确答案是#4:只有在这个答案中 ABC 是原始函数依赖集中的超级键。在 #1 中 A 不是超级键(例如,A -> B 不成立),在 #3 中 C 不是超级键(例如,C -> B 不成立)。