关系代数 - 功能依赖

时间:2017-06-13 20:17:37

标签: functional-dependencies

我只是想确定...如果我有两个依赖,比如

  • a - > ç
  • b - > ç

是否与此相同

  • a b - > ç

1 个答案:

答案 0 :(得分:1)

如果我正确理解了您的问题,那么您就会问两组函数依赖项{a → c, b → c}{ab → c}是否相同。这个问题的答案是 no

a → cb → c,你可以证明ab → c(通过应用功能依赖的定义:x → y当且仅当,当两个元组具有x的相同值时,它们对y也具有相同的值。您还可以使用Armstrong’s Axioms派生ab → c(例如,从a → c开始,首先使用b应用扩充公理,获取ab → bc,然后将分解应用于获得ab → c)。

但反之亦然:您无法从ab → c a → c证明b → c,也不能证明ab → c,并且等同于您无法从StudentNumber, CourseName → Grade中获取任何两个依赖关系通过阿姆斯特朗的公理。例如,请考虑依赖项Grade(声明某对StudentNumberCourseName只能存在StudentNumber。从此依赖关系中,您无法断言Grade只有CourseName,或Grade只有Open Date