第六章关系数据理论.pptxVIP

数据库系统概论 An Introduction to Database System 第六章 关系数据理论;第六章 关系数据理论;6.1 问题的提出;问题的提出;一、概念回顾;二、关系模式的形式化定义;三、什么是数据依赖;四、关系模式的简化表示;五、数据依赖对关系模式的影响;数据依赖对关系模式的影响（续）;数据依赖对关系模式的影响（续）;关系模式StudentU, F中存在的问题;关系模式StudentU, F中存在的问题;关系模式StudentU, F中存在的问题;关系模式StudentU, F中存在的问题;数据冗余：系名和系负责人重复12???，学号和姓名重复3次，课程名重复4次。 更新异常：管理系负责人改为刘书剑，需要修改12条记录。数据重复存储导致数据更新复杂化。 插入异常：计算机系刚成立，还未招生——无法插入。 招生完毕，学生尚未选修课程——无法插入。由于信息不全，导致应该存储的数据无法存储。 删除异常：管理系学生毕业，删除所有该年级学生。但是管理系只有98级学生，删除后会连带管理系和负责人一同删除。删除元组时，导致额外信息的丢失。;数据依赖对关系模式的影响（续）;分解关系模式;第六章 关系数据理论;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不是一个好的关系模式（续）;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（续）;3NF与BCNF的关系;6.2 规范化;6.2.7 多值依赖;… ;普通物理学 光学原理 物理习题集 普通物理学 光学原理 物理习题集 数学分析 微分方程 高等代数 数学分析 微分方程 高等代数 …;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖的性质;6.2 规范化;6.2.8 4NF;4NF（续）;6.2 规范化;6.2.9 规范化小结;;规范化小结（续）; 下课了。。。