我只是想确定...如果我有两个依赖,比如
是否与此相同
答案 0 :(得分:1)
如果我正确理解了您的问题,那么您就会问两组函数依赖项{a → c, b → c}
和{ab → c}
是否相同。这个问题的答案是 no 。
从a → c
或b → 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
(声明某对StudentNumber
和CourseName
只能存在StudentNumber
。从此依赖关系中,您无法断言Grade
只有CourseName
,或Grade
只有Open Date
。