同济大学数据库关系模型和关系运算理论.ppt

* 范式 定义 范式：符合某一规范级别的关系模式的集合 规范化：通过模式分解将一个低级范式转换为若干个高级范式的过程称作规范化（概念的纯粹化） 1NF 2NF 3NF 4NF BCNF 5NF * 1NF 定义 当关系模式R的所有属性都不能分解为更基本的数据单位时，称R是满足第一范式的，简记为1NF 。即不能以集合、序列等作为属性值 S# C# S1 {C1，C2，C3} S# C# S1 C1 S1 C2 S1 C3 * 1NF 分量是否需要再分，与具体应用有关。如果用到值的一部分，则需要进一步分割 如果只是查询出生日期，则它满足1NF 如果查询两人生日是否相同，则只比较月、日，需要将生日分解，就不满足1NF 如果比较两人的生肖呢？ 姓名 生日 王军 68.7.10 张立 69.7.10 李明 80.3.28 姓名 年 月日 王军 68 7.10 张立 69 7.10 李明 80 3.28 * 2NF 定义 若R?1NF，且每个非主属性完全依赖于主键，则称R?2NF 消除非主属性对码的部分依赖 如S?2NF，因为 （S#，C#） SN （S#，C#） SD * 2NF 改造 非主属性有两种，一种完全依赖于码，一种部分依赖于码。 将S分解为： SC(S# , C# , G) S_SD(S# , SN , SD , DEAN) * 3NF 定义 　若关系模式R属于第一范式，且每个非主属性都不传递依赖于R的主键，称R满足第三范式，简记为R?3NF 消除非主属性对主键的传递依赖 如S_SD ?3NF，因为有S#?SD，SD?DEAN * 3NF 改造 将S_SD分解为 STUDENT(S# , SN , SD) DEPT(SD , DEAN) * BCNF 定义 　若关系模式R属于第一范式，且每个属性都不传递依赖于R的主键，称R属于ＢC范式，简记为R?BCNF，即决定因素必须包含键码 * 模式分解 1.模式分解的定义 　所谓关系模式的分解，就是对原有关系在不同的　属性上进行投影，从而将原有关系分解为两个或两个以上的含有较少属性的多个关系 模式分解的基本原则 无损连接性 函数依赖保持性 达到更高级范式 * 无损连接性 R(A, B, C) A B C 1 1 2 2 2 1 A B 1 1 2 2 B C 1 2 2 1 A B C 1 1 2 2 2 1 R1(A,B) R2(B,C) R1 R2 R(A, B, C) A B C 1 1 1 2 1 2 A B 1 1 2 1 B C 1 1 1 2 A B C 1 1 1 1 1 2 2 1 1 2 1 2 R1 R2 有损分解 无损分解 R1(A,B) R2(B,C) * 规范化实例分析 有关学生的关系模式Student(S# , SN , SD , DEAN , C# , G) * 规范化实例分析 确定是否是1NF 关系模式student中，每个属性都是不可再分的，所以关系模式student?1NF 确定是否属于2NF 在关系student中，主键为:｛ S# , C# ,｝，因为存在属性集{S# ，SD，DEAN}对主键的部分依赖，所以student ? 2NF 通过观察发现，在Student(S# , SN , SD , DEAN , C# , G)中存在如下函数依赖： * 规范化实例分析 S # SN，SD SD DEAN S # DEAN S #，C # G 通过分析非主属性和主键的依赖关系可以得出： S #， C # Ｐ SN,SD,DEAN S #， C # F G 将与主键构成完全函数依赖关系的非主属性和主键一起构成一个新的关系R2，将导致部分函数依赖的主属性S #及其函数决定的属性值{SN,SD,DEAN}从原关系中分解出来构成一个新的关系R1，这样就将原关系student分解为存在下列函数依赖的两个新关系R1和R2。 R1（ S # ，SN，SD， DEAN ） * 规范化实例分析 　其中存在的函数依赖如下： S # SN,SD,DEAN； SD DEAN 　R2（S #， C #，G ） 其中存在的函数依赖如下： S #， C # G 由于R1，R2都不存在部分函数依赖， R1，R2 ?2NF 确定是否是3NF 因为 S# ?