database - MVD3 : (transitivity) If X ↠ Y and Y ↠ Z, then X ↠ (Z − Y) 的实际例子

Question

我正在学习数据库规范化和加入依赖关系5NF。我过得很艰难。谁能给我一些多值依赖规则的实际例子:

MVD3:(传递性)如果 X ↠ Y 和 Y ↠ Z，则 X ↠ (Z − Y)。

Answer 1

函数依赖/规范化理论和包括 BCNF 在内的规范形式，是在所有数据属性(列/类型/...)在某种意义上都是“原子”的假设基础上发展起来的。这种“某种意义”现在早已被弃用，但本质上它归结为“表格中的单个单元格值本身不能包含多个值”的概念。想一想，一个 ISBN 编号的文本 CSV 列表，一个在表格单元格中显示为值的表格(真正的嵌套表格)，......

现在想象一个将类(class)、教授和学习书籍用作类(class) Material 的示例。想象一下，所有这些都在一个 3 列的表格中建模，上面写着“教授 (P) 教授类(class) (C) 并使用书籍 (B) 作为类(class) Material 。”如果可以有不止一本书 (B) 用于任何给定类(class) (Cn) 并且可以有不止一门类(class) (C) 由任何给定教授 (Pn) 教授并且可以有不止一位教授 (P) 教学任何给定的类(class)(Cn)，那么这个表显然是全键的(键是完整的属性集 {P,C,B} )。

这意味着这个表满足BCNF。

但现在想象一下，有一条规则大意是“无论哪个教授教授，用于任何给定类(class) (Cn) 的书必须相同。”。

在规范化发展到现在众所周知的形式的那些日子里，不允许表列(关系属性)本身就是表(关系)。 (因为这样的设计被认为违反了 1NF，这个概念现在被认为是可疑的。)

想象一下，我们确实可以将关系属性建模为关系类型。然后我们可以将我们的 3 列表 (/relation) 建模如下:“教授 (P) 教授类(class) (C) 并使用 THE SET OF BOOKS (SB) 作为类(class) Material 。”。属性 SB 将不再是一个 ISBN 号，就像在以前的更明显的设计中一样，但它将是一个(可能是一元的)RELATION 保存整个 ISBN 号集。如果我们这样画我们的设计，然后考虑我们的规则“所有教授在同一门类(class)上使用同一套书”，那么我们看到这个规则现在可以表示为从 (C) 到 (SB) 的 FD !!!这意味着我们手上有一个较低的 NF 违规!!!

4 和 5 NF 是由此类问题引起的(其中单个属性值 -courseID (C)- 的出现要求出现MULTITUDE 行(多个(B) ISBn 编号)很早就被识别，但没有目前被认为是最好的解决方案(RVA)，被认为是有效的。所以 4 和 5 NF 被创建为“新的和更进一步的范式”，其中如果 RVA 被认为是一种有效的设计方法，那么当时存在的 2、3 和 BC NF 的定义已经足以处理当前的情况。

为了支持这一说法，让我们看看在我们使用 FD C->SB 的 {P,C,SB} 设计中应该做什么来消除 NF 违规:

我们会将表拆分为两个单独的表 {P,C} 和 {C,SB}，键分别为 {P,C} 和 {C}。两个表都满足BCNF。

但我们仍然有这个 SB 属性，它包含一组 ISBN 编号。可以通过应用像“UNGROUPING”这样的技术来处理这个问题。将此应用于我们的 {C,SB} 表将得到一个 {C,B} 表，其中 B 是 ISBN 书号(或您喜欢在数据库中使用的任何标识符)，表的键是 {C ,B}。如果我们消除 4/5 NF 违规，这与我们将得到的设计完全相同!!!

您可能还想看看 Multivalue Dependency violation?