1 / 48

5 ． 2 ． 6 BCNF

5 ． 2 ． 6 BCNF. • STJ 是 3NF ，因为没有任何非主属性对码传递依赖或部分依赖。 • 但 STJ 不是 BCNF 关系 ，因为 T 是决定因素，而 T 不包含码。 • 非 BCNF 的关系模式也可以通过分解成为 BCNF 。 例如 STJ 可分解为 ST(S ， T) 与 TJ(T ， J) ，它们都是 BCNF 。. • 3NF 和 BCNF 是在函数依赖的条件下对模式分解所能达到的分离程度的测度。 • 一个模式中的关系模式如果 都 属于 BCNF ，那么在函数依赖范畴内，它己实现了 彻底的分离 ，已消除了插入和删除的异常。.

dorit
Download Presentation

5 ． 2 ． 6 BCNF

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. 5．2．6 BCNF

  2. •STJ是3NF，因为没有任何非主属性对码传递依赖或部分依赖。•STJ是3NF，因为没有任何非主属性对码传递依赖或部分依赖。 •但STJ不是BCNF关系，因为T是决定因素，而T不包含码。 •非BCNF的关系模式也可以通过分解成为BCNF。 例如STJ可分解为ST(S，T)与TJ(T，J)，它们都是BCNF。

  3. •3NF和BCNF是在函数依赖的条件下对模式分解所能达到的分离程度的测度。•3NF和BCNF是在函数依赖的条件下对模式分解所能达到的分离程度的测度。 •一个模式中的关系模式如果都属于BCNF，那么在函数依赖范畴内，它己实现了彻底的分离，已消除了插入和删除的异常。

  4. 5．2．7 多值依赖

  5. T w v S

  6. 5．2．8 4NF

  7. 5．2．9 规范化小结

  8. 5．3 数据依赖的公理系统 一个有效而完备的公理系统——Armstrong公理系统

  9. 1974年Armstrong提出

  10. Armstrong公理系统是有效的、完备的。 •有效性指的是：由F出发根据Armstrong公理推导出来的每一个函数依赖一定在F+中； •完备性指的是:F+中的每一个函数依赖，必定可以由F出发根据Armstrong公理推导出来。

  11. 由引理5．1容易得出：

  12. Armstrong公理系统的有效性

  13. 完备性：

  14. •Armstrong公理的完备性及有效性说明了“导出”与“蕴含”是两个完全等价的概念。•Armstrong公理的完备性及有效性说明了“导出”与“蕴含”是两个完全等价的概念。 •于是F+也可以说成是由F出发借助Armstrong公理导出的函数依赖的集合。 •从蕴含(或导出)的概念出发，又引出了两个函数依赖集等价和最小依赖集的概念。

  15. •定理5．3的证明给出的极小化过程也可以看成是检验F是否为极小依赖集的一个算法。•定理5．3的证明给出的极小化过程也可以看成是检验F是否为极小依赖集的一个算法。 •两个关系模式R1<U，F>，R2<U，G>，如果F与G等价，那么R1的关系一定是R2的关系。 反过来，及R2的关系也一定是R1的关系。 所以在R<U，F>中用与F等价的依赖集G来取代F是允许的-------------R1<U, G>。

  16. *5．4 模式的分解

  17. 5．4．1 模式分解的三个定义 “等价”的分解后产生的模式

  18. 无损连接性

  19. 保持函数依赖

  20. 给出三种分解： （1）

  21. （2）

  22. （3）

More Related