数据库系统概论(王珊萨师煊)第6章关关系数据理论.ppt

数据库系统概论 An Introduction to Database System 第六章 关系数据理论;第六章 关系数据理论;6.1 问题的提出;问题的提出;一、概念回顾;二、关系模式的形式化定义;三、什么是数据依赖;什么是数据依赖（续）;什么是数据依赖（续）;四、关系模式的简化表示;五、数据依赖对关系模式的影响;数据依赖对关系模式的影响（续）;关系模式StudentU, F中存在的问题;数据依赖对关系模式的影响（续）;分解关系模式;第六章 关系数据理论;6.2 规范化;6.2 规范化;6.2.1 函数依赖;一、函数依赖;说明 ;二、平凡函数依赖与非平凡函数依赖;平凡函数依赖与非平凡函数依赖（续）;三、完全函数依赖与部分函数依赖;完全函数依赖与部分函数依赖（续）;四、传递函数依赖;6.2 规范化;6.2.2 码;码（续）;码（续）;外部码;6.2 规范化;6.2.3 范式;6.2.3 范式;6.2 规范化;6.2.4 2NF;2NF（续）; 2NF（续）;S-L-C不是一个好的关系模式（续）;S-L-C不是一个好的关系模式（续）;2NF（续）; 2NF（续）; 2NF（续）;6.2 规范化; 6.2.5 3NF;3NF（续）; 3NF（续）;3NF（续）;3NF（续）;3NF（续）;6.2 规范化; 6.2.6 BC范式（BCNF）;BCNF（续）;BCNF（续）;BCNF（续）; BCNF（续）; BCNF（续）;BCNF（续）;BCNF（续）;3NF与BCNF的关系;6.2 规范化;6.2.7 多值依赖;… ;普通物理学 光学原理 物理习题集 普通物理学 光学原理 物理习题集 数学分析 微分方程 高等代数 数学分析 微分方程 高等代数 …;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖的性质;多值依赖与函数依赖的区别;6.2 规范化;6.2.8 4NF;4NF（续）;6.2 规范化;6.2.9 规范化小结;规范化小结（续）;规范化小结（续）;第六章 关系数据理论;6.3 数据依赖的公理系统;1. Armstrong公理系统;定理 6.1 Armstrong推理规则是正确的;定理 6.l Armstrong推理规则是正确的（续）;定理 6.l Armstrong推理规则是正确的（续）;2. 导出规则;导出规则;3. 函数依赖闭包;Armstrong公理系统;F的闭包;关于闭包的引理;第六章 关系数据理论;6.4 模式的分解;关系模式分解的标准;模式的分解（续）;模式的分解（续）;具有无损连接性的模式分???;模式的分解（续）;保持函数依赖的模式分解;模式的分解（续）;模式的分解（续）;模式的分解（续）;分解算法;第六章 关系数据理论;6.5 小结;小结(续);小结(续)