关系数据库设计理论.pptxVIP

本章主要讲解内容;5、1 数据存储异常;;5.2 函数依赖;;;;;小结;;5.3 函数依赖的闭包F+ 属性闭包及其计算;5.3.2 属性闭包及其计算;算法5.1 求属性集X关于函数依赖F的属性闭包X+;属性闭包计算示例;;例2;;5.4 函数依赖的等价与覆盖 ;5.4.2 函数依赖集的最小集;5.4.3 最小依赖集的求解算法;;; ;5.5 候选关键字的求解理论与算法;;;5.5.2 左边为单属性的函数依赖集的候选关键字成员的图论判定方法 定义:在一个函数依赖图中有下列术语 (1)引出线/引入线:若A →B,则A与B是连接的,则(A,B)是引出线,对B而言是引入线 (2)原始点:只有引出线而无引入线的结点,它表示L类属性 (3)终结点:只有引入线而无引出线的结点,它表示R类属性 (4)途中点:即有引入线又有引出线的结点,对应LR类属性 (5)孤立点:既无引入线又无引出线的结点,对应N类属性 (6)关键点:原始点和孤立点统称为关键点 (7)关键属性:关键点对应的属性称为关键属性 (8)独立回路:不能被其他结点到达回路 ;; ;例3 设R={O,B,I,S,Q,D}F={S→D,D →S,I →B,B →I,B →O,O →B}求R的所有候选关键字. 解: (1)F’=F= {S→D,D →S,I →B,B →I,B →O,O →B} (2)构造函数依赖图如图所示 ;;;;;5.6 关系模式分解的级别---范式;5.6.2范式;;第一范式(1NF);;第二范式(2NF);;; 第三范式(3NF);; Boyce-Codd范式(BCNF)简称BC范式;;Consider this Relation and FDs;Outline;What is Decomposition?;Decomposition;What is lossless?;Lossless Join Decompositions;Algorithm : Testing for Lossless (nonadditive) Join Property;;;Example 1 for lossless join testing;Example 2 for lossless join testing;构造二维表;由A?C,做的修改;由B?C,做的修改;由C?D做的修改;由DE?C做的修改;结果二维表;Dependency PreservationProperty of a Decomposition;Example for dependency preservation;Algorithm : Decomposition into 3NF with Dependency Preservation and lossless join;;; Exercise for Decomposition into BCNF ;;