数据库第5章的.ppt

数据库系统概论 An Introduction to Database System 第五章 关系数据理论;第五章 关系数据理论;5.1 问题的提出;问题的提出;一、概念回顾;二、关系模式的形式化定义;三、什么是数据依赖;什么是数据依赖（续）;什么是数据依赖（续）;四、关系模式的简化表示;五、数据依赖对关系模式的影响;数据依赖对关系模式的影响（续）;数据依赖对关系模式的影响（续）;关系模式StudentU, F中存在的问题;关系模式StudentU, F中存在的问题;数据依赖对关系模式的影响（续）;5.2 规范化;5.2.1 函数依赖;一、函数依赖;说明： ;函数依赖（续）;二、平凡函数依赖与非平凡函数依赖;平凡函数依赖与非平凡函数依赖（续）;三、完全函数依赖与部分函数依赖;完全函数依赖与部分函数依赖（续）;四、传递函数依赖;5.2.2 码;外部码;5.2.3 范式;5.2.3 范式;5.2.4 2NF;2NF; 2NF;SLC不是一个好的关系模式;SLC不是一个好的关系模式; 2NF; 2NF;2NF; 2NF; 第二范式（续）; 5.2.5 3NF; 3NF; 3NF; 3NF; 3NF; 3NF; 5.2.6 BC范式（BCNF）; BCNF; 5.2.6 BCNF;BCNF;BCNF;3NF与BCNF的关系;BCNF的关系模式所具有的性质;5.2.5 多值依赖与第四范式（4NF）;… ;普通物理学 光学原理 物理习题集 普通物理学 光学原理 物理习题集 数学分析 微分方程 高等代数 数学分析 微分方程 高等代数 …;多值依赖与第四范式（续）;多值依赖与第四范式（续）;多值依赖与第四范式（续）;一、多值依赖;一、多值依赖;多值依赖（续）;多值依赖的性质;多值依赖的对称性;多值依赖的对称性;多值依赖（续）;多值依赖与函数依赖的区别;多值依赖与函数依赖的区别;多值依赖（续）;二、第四范式（4NF）;第四范式（续）;5.2 规范化;5.2.6 规范化;规范化（续）;规范化（续）;规范化的基本思想;规范化（续）;第五章 关系数据理论;5.3 数据依赖的公理系统;Armstrong公理系统;1. Armstrong公理系统;定理 5.l Armstrong推理规则是正确的;定理5.l;定理5.l;2. 导出规则;导出规则;3. 函数依赖闭包;F的闭包;关于闭包的引理;求闭包的算法;算法5.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公理系统的有效性与完备性;4. Armstrong公理系统的有效性与完备性;有效性与完备性的证明;有效性与完备性的证明;Armstrong公理系统的有效性与完备性(续);Armstrong公理系统的有效性与完备性(续);Armstrong公理系统的有效性与完备性(续);5. 函数依赖集等价;函数依赖集等价的充要条件;函数依赖集等价;6. 最小依赖集;最小依赖集;7. 极小化过程;极小化过程;极小化过程;极小化过程;极小化过程;极小化过程;极小化过程;第五章 关系数据理论;5.4 模式的分解;关系模式分解的标准;模式的分解（续）;模式的分解（续）;模式的分解（续）;模式的分解（续）;分解后的关系为：;模式的分解（续）;模式的分解（续）;模式的分解（续）;模式的分解（续）;第三种分解方法;模式的分解（续）;模式的分解（续）;具有无损连接性的模式分解;模式的分解（续）;保持函数依赖的模式分解;第四种分解方法;模式的分解（续）;模式的分解（续）;分解算法;分解算法;泛关系假设;小结(续); 下课了。。。;Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.