哪个FD保证满足R?

时间:2015-01-22 09:14:00

标签: relational-database functional-dependencies

Pl解释逻辑: 设关系R(A,B,C,D,E,F,G,H)满足以下函数依赖性:

A  → B, 
CH → A, 
B  → E, 
BD → C, 
EG → H, 
DE → F  

R保证满足以下哪些FD?

ACG → DH
CDE → AF
BCD → FH 
BED → CF

1 个答案:

答案 0 :(得分:2)

要检查R是否满足函数依赖性,您需要使用其左侧,根据函数依赖项的原始集合计算闭包,然后检查右侧是否包含在闭包内

示例:让我们检查R是否满足ACG → DH。我们需要计算ACG的闭包。自A → B以来,我们知道B应该在ACG的关闭中。出于同样的原因,自B → E以来我们知道E也应该在ACG的封闭中。此外,由于E位于ACG的关闭位置,而G位于ACG的关闭位置,H也位于关闭位置({{1} }})。我们在这里停止,因为不能推断出新的属性,并得出结论EG → H的关闭是ACG。但是,ABCEGH不在闭包中,因此D不在闭包中,因此R不满足DH

可以用相同的方式分析剩余的功能依赖性。