如何为给定关系指定一组等效的函数依赖关系
How to specify a set of equivalent Functional Dependencies for a given relation
我们被告知 FD 是:
A->B
B->C
C->A
但是对于传递规则,因为 A->B
和 B->C
这也意味着:
A->C
我计算出:
A->BC
是正确的,因为 A->B
和 A->C
是 FD。我可以使用 拆分规则
将 A->BC
拆分为 A->B
、A->C
C->AB
为真,因为 C->A
并且由于 运输规则 :C->B
为真(其中 C->A
, A->B
表示 C->B
)
谁能告诉我正确答案以及为什么我的答案是错误的。我无法理解给定的答案。
您的答案错误原因的讨论可以在评论中找到。
正确答案是#4:只有在这个答案中 A
、B
和 C
是原始函数依赖集中的超级键。在 #1 中 A
不是超级键(例如,A -> B
不成立),在 #3 中 C
不是超级键(例如,C -> B
不成立)。
我们被告知 FD 是:
A->B
B->C
C->A
但是对于传递规则,因为 A->B
和 B->C
这也意味着:
A->C
我计算出:
A->BC
是正确的,因为 A->B
和 A->C
是 FD。我可以使用 拆分规则
A->BC
拆分为 A->B
、A->C
C->AB
为真,因为 C->A
并且由于 运输规则 :C->B
为真(其中 C->A
, A->B
表示 C->B
)
谁能告诉我正确答案以及为什么我的答案是错误的。我无法理解给定的答案。
您的答案错误原因的讨论可以在评论中找到。
正确答案是#4:只有在这个答案中 A
、B
和 C
是原始函数依赖集中的超级键。在 #1 中 A
不是超级键(例如,A -> B
不成立),在 #3 中 C
不是超级键(例如,C -> B
不成立)。