java - Armstrong Axioms 的所有属性都可以应用于多值依赖吗？

Question

我正在阅读 the Multivalued dependency page维基百科。为多值依赖提供了一些属性。但是没有给出以下属性:

如果 A →→ BC 那么 A →→ B 和 A →→ C

(→→表示多值依赖。)

这对多值依赖有效吗？

Answer 1

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

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

这在几本数据库书籍中都有讨论。例如，在 Garcia-Molina 的书“数据库系统:完整书籍”中有一个关于此的示例。第二版。新泽西州上萨德尔里弗，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

因为你失去了一个明星地址的街道和城市之间的关系。