主讲陈作聪上课讲义.ppt

主讲：陈作聪; 第三章 关系数据理论;第三章 关系数据理论;3.1 问题的提出;一、概念回顾;二、关系模式的形式化定义;三、什么是数据依赖;什么是数据依赖（续）;什么是数据依赖（续）;四、关系模式的简化表示;五、数据依赖对关系模式的影响;数据依赖对关系模式的影响（续）;关系模式StudentU, F中存在的问题;数据依赖对关系模式的影响（续）;分解关系模式;第三章 关系数据理论;3.2 规范化;3.2 规范化;3.2.1 函数依赖;一、函数依赖;说明 ;二、平凡函数依赖与非平凡函数依赖;平凡函数依赖与非平凡函数依赖（续）;三、完全函数依赖与部分函数依赖;完全函数依赖与部分函数依赖（续）;四、传递函数依赖;3.2 规范化;3.2.2 码;码（续）;码（续）;外部码;3.2 规范化;3.2.3 范式;3.2.3 范式;3.2 规范化;3.2.4 2NF;2NF（续）; 2NF（续）;S-L-C不是一个好的关系模式（续）;S-L-C不是一个好的关系模式（续）;2NF（续）; 2NF（续）;学生思考; 2NF（续）;3.2 规范化; 3.2.5 3NF;3NF（续）; 3NF（续）;3NF（续）;3NF（续）;3NF（续）;学生思考;3.2 规范化; 3.2.6 BC范式（BCNF）;BCNF（续）;BCNF（续）;BCNF（续）; BCNF（续）; BCNF（续）;