数据库原理与应用第四章.pptVIP

第四章 关系数据库理论;4.1 问题的提出;问题的提出;一、概念回顾;二、关系模式的形式化定义;三、什么是数据依赖;什么是数据依赖（续）;什么是数据依赖（续）;四、关系模式的简化表示;五、数据依赖对关系模式的影响;数据依赖对关系模式的影响（续）;数据依赖对关系模式的影响（续）;关系模式StudentU, F中存在的问题;关系模式StudentU, F中存在的问题;数据依赖对关系模式的影响（续）;4.2 规范化;4.2.1 函数依赖;一、函数依赖;说明： ;函数依赖（续）;二、平凡函数依赖与非平凡函数依赖;平凡函数依赖与非平凡函数依赖（续）;三、完全函数依赖与部分函数依赖;完全函数依赖与部分函数依赖（续）;四、传递函数依赖;4.2.2 码;外部码;4.2.3 范式;4.2.3 范式;4.2.4 2NF;2NF; 2NF;SLC不是一个好的关系模式;SLC不是一个好的关系模式; 2NF; 2NF;2NF; 2NF; 第二范式（续）;4.2.5 3NF; 3NF; 3NF; 3NF; 3NF; 3NF; 4.2.6 BC范式（BCNF）; BCNF; 4.2.6 BCNF;BCNF;BCNF;3NF与BCNF的关系;BCNF的关系模式所具有的性质;4.2.5 多值依赖与第四范式（4NF）;… ;普通物理学 光学原理 物理习题集 普通物理学 光学原理 物理习题集 数学分析 微分方程 高等代数 数学分析 微分方程 高等代数 …;多值依赖与第四范式（续）;多值依赖与第四范式（续）;多值依赖与第四范式（续）;一、多值依赖;一、多值依赖;多值依赖（续）;多值依赖的性质;多值依赖的对称性;多值依赖的对称性;多值依赖（续）;多值依赖与函数依赖的区别;多值依赖与函数依赖的区别;多值依赖（续）;二、第四范式（4NF）;第四范式（续）;4.2 规范化;5.2.6 规范化;规范化（续）;;规范化的基本思想;规范化（续）;第四章 关系数据理论;4.3 数据依赖的公理系统;Armstrong公理系统;1. Armstrong公理系统;（l）自反律:若Y ? X ? U，则X →Y为F所蕴含 证: 设Y ? X ? U 对R U，F 的任一关系r中的任意两个元组t，s： 若t[X]=s[X]，由于Y ? X，有t[y]=s[y]， 所以X→Y成立. 自反律得证;(2)增广律: 若X→Y为F所蕴含，且Z ? U，则XZ→YZ 为F所蕴含。 证：设X→Y为F所蕴含，且Z ? U。 设RU，F 的任一关系r中任意的两个元组t，s； 若t[XZ]=s[XZ]，则有t[X]=s[X]和t[Z]=s[Z]； 由X→Y，于是有t[Y]=s[Y]，所以t[YZ]=s[YZ]，所以XZ→YZ为F所蕴含. 增广律得证。;(3) 传递律：若X→Y及Y→Z为F所蕴含，则 X→Z为 F所蕴含。 证：设X→Y及Y→Z为F所蕴含。 对RU，F 的任一关系 r中的任意两个元组 t，s。 若t[X]=s[X]，由于X→Y，有 t[Y]=s[Y]； 再由Y→Z，有t[Z]=s[Z]，所以X→Z为F所蕴含. 传递律得证。;2. 导出规则;导出规则;3. 函数依赖闭包;关于闭包的引理;求闭包的算法;算法4.l;Define XF+ = closure of X = set of attributes functionally determined byX Basis: XF+ :=X Induction: If Y XF+, and Y A is a given FD, then add A to XF+ End when XF+ cannot be changed.; U={A, B, C, D}; F={A B, BC D}; A+ = AB. C+ = C. (AC)+ = ABCD.; ;函数依赖闭包;函数依赖闭包;4. Armstrong公理系统的有效性与完备性;有效性与完备性的证明;有效性与完备性的证明;Armstrong公理系统的有效性与完备性(续);Armstrong公理系统的有效性与完备性(续);Armstrong公理系统的有效性与完备性(续);5. 函数依赖集等价;函数依赖集等价的充要条件;函数依赖集等价;6. 最小依赖集;最小依赖集;7. 极小化过程;极小化过程;极小化过程;极小化过程;极小化过程;极小化过程;极小化过程;第四章 关系数据理论;4.4 模式的分解;关系模式分解的标准;模式的分解（续）;模式的分解（续）;模式的分解（续）;模式的分解（续）;分解后的关系为：;模式的分解（续）;模式的分解（续）;模式的分解（续）;模式的分解（续）;第三种分解方