SQL数据库教程c3_1_2014加时.ppt

函数依赖分类 完全函数依赖 部分函数依赖 传递函数依赖 3.2 关系数据库的规范化 数据依赖 设X,Y,Z是关系R中互不相同的属性集合，存在X→Y,且Y !→X,而Y→Z，则称Z传递函数依赖于X。 函数依赖分类 完全函数依赖 部分函数依赖 传递函数依赖 对于一个给定的关系模式，有可能找出一组函数依赖，称为函数依赖集 　　 3.2 关系数据库的规范化 数据依赖 学号 姓名 系编号 系名王磊 001 地理系孙强 001 地理系李冰 021 数统系 … … … … X Y 范式的概念 任一关系模式中通常存在一个函数依赖集。依赖集中的某些函数依赖对于数据查询等操作是必须的，但也有一些函数依赖（通常由数据冗余导致）有可能成为数据操作错误的隐患。 按照一定的“规范”调整关系结构，只保留那些必须的函数依赖，是数据库规范化的基本要求。这个“规范”在关系数据库理论中称为范式（Normal Form）。按照规范的严格程度不同，还可以将范式分为不同等级。 3.2 关系数据库的规范化 范式 使用规范化的优点： 改进数据库的整体组织结构 减少关系中的数据冗余 保证数据的一致性和完整性 提高数据库设计的灵活性 3.2 关系数据库的规范化 范式 E.F.Codd，1971年 第一范式（1NF） 第二范式（2NF） 第三范式（3NF） 1974年,E.F.Codd和Boyce BCNF（修正/扩充的第三范式） 第四范式（4NF） 第五范式（5NF） 3.2 关系数据库的规范化 范式 范式：符合某种级别的关系模式的集合 一般地，如果关系R属于第x范式，写作： R∈xNF 3.2 关系数据库的规范化 范式 各范式之间的关系 各范式之间的关系满足： 3.2 关系数据库的规范化 范式 即：lNF被包含于2NF；2NF被包含于3NF，… 第一范式1NF 定义：设关系模式R中每一个属性A的值域中的每一个值都是不可分解的，则称R满足/属于第一范式， 记作： R∈lNF 3.2 关系数据库的规范化 范式 第一范式1NF 学号 课程 007501 {程序设计，操作系统，数据库} 007101 {电工学，继电保护} 例：在关系SC1（学号，课程）中，学生选修课程的记录如下： 属性“课程”可以分解，所以：SC1∈1NF 3.2 关系数据库的规范化 范式 第一范式1NF 解决办法： 把课程属性的值拆开，关系SC1（学号，课程）的新元组为： 学号 课程 007501 程序设计 007501 操作系统 007501 数据库 007101 电工学 007101 继电保护 SC1∈1NF 3.2 关系数据库的规范化 范式 第二范式2NF 定义： 若R∈lNF,且每一个非主属性完全函数依赖于主键, 则R∈2NF。 3.2 关系数据库的规范化 范式 例：有一个关系模式SGD(学号，姓名，系名称，系负责人，课程号，成绩)，在该模式中有以下函数依赖存在： (学号，课程号) →成绩 (学号，课程号) -F→成绩）学号→姓名 (学号，课程号) -p→姓名 学号→系名称 (学号，课程号) -p→系名称 学号→系负责人 (学号，课程号) -p→系负责人 分析： SGD的主键为(学号，课程号)，只有成绩依赖主键的全部属性，即成绩完全函数依赖于主键，而其他非主属性：姓名、系名称、系负责人可以被主键中的学号唯一限定，它们部分依赖于主键。 根据2NF定义： SGD∈2NF 第二范式2NF 3.2 关系数据库的规范化 范式 一个关系模式R不属于2NF,会产生的问题：插入异常、删除异常、修改复杂等 问题起因：不是所有的非主属性都完全依赖主键的所有属性。 解决办法：分解关系模式 第二范式2NF 3.2 关系数据库的规范化 范式 第二范式2NF 分解结果： SG（学号，课程号，成绩） 主键：（学号，课程号） SD（学号，姓名，系名称，系负责人） 主键：（学号） 此时，非主属性对主键都是完全函数依赖 根据2NF的定义： SG∈2NF SD∈2NF 3.2 关系数据库的规范化 范式 第三范式3NF 定义：如果R∈2NF，且每一个非主属性不传递函数依赖于主键，则R∈3NF。 3.2 关系数据库的规范化 范式 传递依赖： 某些列的数据不是直接依赖于主键，而是通过某个非主属性间接依赖于主键。 第三范式3NF 关于传递函数依赖的例子： 在关系模式SD（学号，姓名，系编号，系负责人）中，存在如下函数依赖： 学号→系编号 系编号→系负责人 即系负责人传递函数