Armstrong Axiom 的所有属性都可以应用于多值依赖吗?

Can all the properties of Armstrong Axiom applied on multi valued dependencies?

我正在阅读 this page 维基百科。为多值依赖提供了一些属性。但是下面的属性就不给了。

A →→ BC than, A →→ B and A →→ C (→→ This means multi valued dependency. )

我不确定 Armstrong Axiom 的这个 属性 是否对多值依赖有效。任何帮助将不胜感激。

提前致谢。

阿姆斯特朗公理仅适用于函数依赖,不适用于多值依赖(实际上在 wiki 页面中您可以看到,即使它们有时具有相同的名称,属性也不同)。

特别是,分解规则(您问题中的 属性)不成立 形成多值依赖关系。

这在几本数据库书籍中都有讨论。例如,在 Garcia-Molina 的书“数据库系统:完整书籍”中有一个关于此的示例。第二版。 Upper Saddle River,N.J,Pearson Prentice Hall,2009 年,第 109 页。这里介绍了好莱坞明星的关系,包括他们的(多个)地址和(多个)片名以及他们的电影拍摄年份。所以关系有属性:

(name, street, city, title, year)

与 MVD:

name →→ street, city    (a star can have multiple addresses)
name →→ title, year     (a star can have multiple movies)

从这些依赖关系中,您不能推断,例如:

name →→ street
name →→ city

因为你松开了一个明星地址的街道和城市的关系。