数据库规范化管理理论.ppt

《数据库规范化管理理论.ppt》由会员上传分享，免费在线阅读，更多相关内容在PPT专区-天天文库。

1、第4章关系数据库设计理论（关系数据库的规范化理论）4.1数据依赖4.2范式4.3关系模式的规范化4.1数据依赖4.1.1关系模式中的数据依赖4.1.2数据依赖对关系模式的影响4.1.3有关概念4.1.1关系模式中的数据依赖关系模式:R简记为：RR是符号化的关系名；U是属性名的集合；D是属性组U的取值范围，是域的集合；DOM为属性U到域D的映射集合；F是属性U间数据的依赖关系集合。数据依赖一个关系内部属性与属性之间的一种约束关系，描述的是关系中元组的语义。4.1.2数据依赖对关系模式的影响示例：Stud

2、ent关系模式Ｕ=｛Sno,Sdept,Mname,Cname,Grade｝数据语义：系与学生之间是1:n的联系一个系只有一个主任学生与课程之间是m:n的联系每个学生的每门课都有成绩SnoCnameSdeptMnameGrade主码？F={SnoSdept,SdeptMname，(Sno,Cname)Grade}上述模式存在如下问题：数据冗余量大更新复杂、量大（更新异常）插入异常删除异常好的模式应不发生异常，且冗余较小。4.1.3有关概念不好的关系模式是由于存在不合适的数据依赖所造成的；规范化理论致力于解决关系模式中不合适的数

3、据依赖；函数依赖和多值依赖1.函数依赖定义：设R(U)是属性集U上的一个关系模式，X,Y是U的子集。对于R(U)的任意一个可能的关系，不可能有两个元组在属性集X上的值相同而在Y上的值不同，则称X函数确定Y或Y函数依赖于X，记作XY，X称为这个函数依赖的决定属性集。XYX↔Y函数依赖完全是由数据的语义决定的。例Student(Sno,Sdept,Mname,Cname,Grade)假设不允许重名2.平凡函数依赖与非平凡函数依赖平凡函数依赖XYYX非平凡函数依赖XYYX例：SC(Sno,Cno,Grade)3.完全函数依赖与

4、部分函数依赖完全函数依赖在关系模式中，若XY，X′Y，那么Y完全函数依赖于X。记作XY。部分函数依赖在关系模式中，若XY，X′Y，那么Y部分函数依赖于X。记作XY。fp例：Student(Sno,Sdept,Mname,Cname,Grade)在关系模式中，若XY，且YZ，但YX，那么属性集Z传递函数依赖于X。记作XZ。4.传递函数依赖t例：Student(Sno,Sdept,Mname,Cname,Grade)码是关系模式中的一个重要概念码可以用函数依赖的概念来严格定义KU候选码主码外码5.码f最小属性集！4

5、.2范式满足一定约束条件的关系模式的集合称为范式5NF4NFBCNF3NF2NF1NF4.2.1第一范式(1NF)4.2.2第二范式(2NF)4.2.3第三范式(3NF)4.2.4BC范式(BCNF)4.2.5多值依赖与第四范式(4NF)4.2.11NF定义：若关系模式R中的所有属性都是不可分的基本数据项，则R∈1NF。关系模式必须满足第一范式SLC(Sno,Sdept,Sloc,Cno,Grade)冗余大、更新异常不是好的关系模式!例：Student(Sno,Sdept,Mname,Cname,Grade)4.2.22NF定义：若

6、R∈1NF，并且每一个非主属性都完全函数依赖于码，则R∈2NF。S1(Sno,Cname,Grade)S2(Sno,Sdept,Mname)Student∈1NF投影分解冗余大、更新异常不是好的关系模式!4.2.33NF定义：若R∈2NF，并且每一个非主属性不传递函数依赖于码，则R∈3NF。S21(Sno,Sdept)S22(Sdept,Mname)S2∈2NF投影分解3NF基本上能消除冗余和更新异常∈3NFS1?例：STJ(S,T,J)每门课由若干老师教每位老师只教一门课学生选了某门课学生听了某老师的课∈3NF存在问题！4.2.4

7、BCNF定义：若R∈1NF，并且对于每一个非平凡函数依赖XY，X必含有码，则R∈BCNF。结论：所有非主属性都完全函数依赖于每个码所有主属性都完全函数依赖于每个不包含它的码没有任何属性完全函数依赖于非码的任何一组属性3NF与BCNF的关系？STJ∈3NFST(S,T)TJ(T,J)投影分解∈BCNF例：SJP(S,J,P)S：学生J：课程P：名次3NF和BCNF通常都是数据库设计者所追求的关系范式，有时统称为第三范式；如果一个关系数据库的所有关系模式都属于BCNF，在函数依赖范畴内，它已达到了最高的规范化程度，消除了异常。例：Te

8、ach(C,T,B)码？范式？好的关系模式？4.2.5多值依赖与4NF1.多值依赖定义：设R(U)是属性集U上的一个关系模式，X,Y,Z是U的子集，Z=U-X-Y，若R(U)的任意一个关系，对于(X,Z)的每个值，存在Y的一组值与其对