涉及3个以上属性的传递依赖

Question

给出以下一组函数依赖

A -> B 
B -> C
B -/> A     (B doesn't functionally determine A) 

如果存在A-> C，则它是传递依赖

如果给出以下两种情况，那么它们也是传递依赖性的吗？

第一种情况

A -> B
B -> C
C -> D
B -/> A
C -/> B

是A-> D是传递依赖吗？

第二种情况

A -> B
B -> C
C -> D
B -/> A
C -> B

是A-> D是传递依赖吗？

Answer 1

这个例子很简单。当某些东西不是TD时，你甚至不需要澄清。假设没有什么是TD，而是您明确定义的TD。所以第一步是删除所有

的冗余

X -/> Y

现在，给定：

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

以下是传递依赖：

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

添加任何其他依赖项不会更改当前的传递依赖项