关系系统规范化理论.pptVIP

小结—算法 求属性集X的闭包XF+ 求函数依赖集F的极小函数依赖集 判定分解的无损连接性 判定分解的函数依赖保持性 第五章 关系数据库的规范化理论 练习 1、建立一个关于系、学生、班级、学会等诸信息的关系数据库。 学生（学号，姓名，出生年月，系名，班号，宿舍） 班级（班号，专业名，系名，班级人数，入校年份） 系（系号，系名，系办公地点，系人数） 学会（学会名，成立年份，地点，学会会员人数） 有关语义为：一个系有若干专业，每个专业每年只招生一个班，每个班有若干学生。一个系的学生住在同一宿舍区。每个学生可参加若干学会，每个学会由若干学生组成。学生参加某学会有一个入会年份。 要求：给出关系模式，写出每个关系模式的极小函数依赖集，指出是否存在传递函数依赖。对于函数依赖左部是多属性的情况，讨论函数依赖是完全函数依赖，还是部分函数依赖。指出各关系的候选码、外部码、是否有全码存在。 规范化（续） 规范化的基本思想是逐步消除数据依赖中不合适的部分, 使模式中的各关系模式达到某种程度的“分离”, 即采用“一事一地”的模式设计原则。让一个关系描述一个概念、一个实体或者实体间的一种联系。若多于一个概念就把它“分离”出去。因此所谓规范化实质上是概念的单一化。 第五章 关系数据库的规范化理论 规范化（续） 关系模式规范化的基本步骤 1NF ↓ 消除非主属性对码的部分函数依赖 消除决定属性 2NF 集非码的非平 ↓ 消除非主属性对码的传递函数依赖 凡函数依赖 3NF ↓ 消除主属性对码的部分和传递函数依赖 BCNF ↓ 消除非平凡且非函数依赖的多值依赖 4NF 第五章 关系数据库的规范化理论 第五章 关系数据理论 5.1 问题提出 5.2 函数依赖 5.3 范式理论 5.4 模式分解 第五章 关系数据库的规范化理论 5.4 模式分解 关系模式的规范化过程是通过对关系模式的分解来实现的。 把低一级的关系模式分解为若干个高一级的关系模式的方法并不是唯一的； 在这些分解方法中, 只有能够保证分解后的关系模式与原关系模式等价的方法才有意义。 第五章 关系数据库的规范化理论 一、模式分解的定义 定义5.18 ?={R1U1, F1, R2U2, F2, …, RnUn, Fn}称为关系模式RU, F的一个分解，其中U = U1∪U2∪…∪Un, 且不存在Ui ? Uj (i?j), 而Fi为F在Ui上的投影。 定义5.19 F在Ui上的投影Fi 是函数依赖集合{X?Y| X?Y ?F+ ? XY ?Ui}的一个覆盖。 关系模式RU, F的一个分解?不仅将U分解为互不包含的子集, 而且将F分解为若干子集。 分解?意味着将存储在一个二维表T中的数据分散到若干个二维表T1, T2, …,Tn中去（其中Ti是T在属性集Ui上的投影）。要使这个分解有意义，起码的要求是后者不能丢失前者的信息。 第五章 关系数据库的规范化理论 模式分解的定义(续) 分解有多种方式，但是分解后的模式应当与原模式等价。 无损连接性 保持函数依赖 既具有无损连接性, 又保持函数依赖 无损连接性是对分解的基本要求， 只有具有无损连接性的分解才能够保证不丢失信息。 第五章 关系数据库的规范化理论 模式分解的定义(续) [例20]: 对于关系模式RU,F, 其中 U={SNO,SDEPT,MNAME}, F={SNO→SDEPT, SDEPT→MNAME} 已知R∈2NF，该关系模式存在插入异常、删除异常、 数据冗余度大和修改复杂的问题. 因此需要分解该关系模式，使成为更高范式的关系模 式。分解方法可以有很多种。R的一个关系r： SNO SDEPT MNAME S1 S2 S3 S4 D1 D1 D2 D3 张五 张五 李四 王一 第五章 关系数据库的规范化理论 模式分解的定义(续) R的一个分解 ?1={R1SNO,?, R2SDEPT, ?, R3MNAME, ?} 将r分解成R在SNO上的投影, 在SDEPT上的投影, 在MN上的投影 r1={S1,S2,S3,S4} r2={