[王珊-萨师煊]-数据库系统-第六章探究.ppt

第六章 关系数据理论;第六章 关系数据理论;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. 导出规则;导出规则;Armstrong公理系统;3. 函数依赖闭包;F的闭包;关于闭包的引理;求闭包的算法;算法6.1;函数依赖闭包;4. Armstrong公理系统的有效性与完备性;Armstrong公理系统完备性证明;5. 函数依赖集等价;6. 最小依赖集;最小依赖集;7. 极小化过程;极小??过程（续）;极小化过程（续）;补充：根据闭包求关系模式的候选码;补充：根据闭包求关系模式的候选码;补充：根据闭包求关系模式的候选码;补充：根据闭包求关系模式的候选码;补充：根据闭包求关系模式的候选码;第六章 关系数据理论;6.5 小结;小结(续); 下课了。。。