第四章关系系统及查询优化与范式定理.doc

第四章?范式定理 ? ??? 关系数据库的设计中，一个非常重要的被视为理论问题的内容是如何构造合理的关系，使之能准确地反应现实世界，有利于应用和具体的操作。这一问题就是关系规范化要研究的问题。 ??? 通过本章的学习，应重点掌握： ??? (1)函数依赖及Armstrong公理系统 ??? (2)为什么要对模式进行分解，如何分解 ??? (3)如何判断关系模式达到几范式 ??? (4)如何求属性的闭包及如何求最小函数依赖集 ??? (5)判断分解后的关系模式是不是无损连接或保持函数依赖 ??? (6)判断分解后的关系模式既无损连接又保持函数依赖 ??? (一)函数依赖及相关概念 ??? 定义? 设R(U)是属性集U上的关系模式，X，Y是U的子集。若对R(U)的任何一个可能的关系r，r中不可能存在两个元组在X上的属性值相等，而在Y上的属性值不等，则称X函数决定Y或Y函数依赖于X，记作：XY。 ? ??? (1)完全函数依赖：在R(U)中，如果XY，并且对于X的任何一个真子集X`，都有X`不能决定Y，则称Y对X完全函数依赖，记作： XY 　 ??? 给定一个学生选课关系SC(Sno，Cno，G)，我们可以得到 F={(Sno，Cno) G}，对(Sno，Cno)中的任何一个真子集Sno或Cno都不能决定G，所以，G完全依赖于Sno，Cno。 ? ??? (2)平凡的函数依赖：如果XY，但Y不完全函数依赖于X，则称Y对X部分函数依赖，记作：XY 　 ??? (3)R(U)中，如果XY，(YX)，YX，YZ ? ????? 则称Z对X传递依赖。 　 ??? (4)K为R(U，F)中的属性的组合，若KU，则K为R的候选码，若有多个候选码，选一个作为主码。 ????? 注:? 候选码也称候选关键字。 　 ?(5) ?(6) 外码：若R(U)中的属性或属性组X非R的码，但是另一关系的码，则称X为外码。 范式 在关系数据库中的一个非常重要的问题就是如何评价分解后的各个关系模式的好坏。通常可以通过判断分解后的模式达到几范式来评价模式的好坏。范式有：1NF、2NF、3NF、BCNF、4NF和5NF。这几种范式之间的关系如下： 1NF2NF3NFBCNF4NF5NF 通过模式分解，将低一级范式的关系模式分解成了若干个高一级范式的关系模式的集合，这种过程叫做规范化。下面将给出各个范式的定义。 1．1NF(第一范式) ??? 定义? 若关系模式R的每一个分量是不可再分的数据项，则关系模式R属于第一范式(1NF)。 例? 供应者和它所提供的零件信息，关系模式如下： FIRST (Sno，Sname，Status，City，Pno，Qty)并且有F＝{SnoSname， SnoStatus，StatusCity，(Sno，Pno) Qty}。 具体的关系如图5—l所示。 Sno Sname Status City Pno Qty S1 精益 20 天津 P1 200 S1 精益 20 天津 P2 300 S1 精益 20 天津 P3 480 S2 盛锡 10 北京 P2 168 S2 盛锡 10 北京 P3 500 S3 东方红 30 北京 P1 300 S3 东方红 30 北京 P2 280 S4 泰达 20 上海 P2 460 ? ??????? 从图5—1中可以看出，每一个分量都是不可再分的数据项，所以是1NF。但是，1NF带来四个问题： ??? (1)冗余度大：例如每个供应者的Sno，Sname，Status，City要与零件的种类一样多； ??? (2)引起修改操作的不一致性：例如供应者S1从“天津”搬到? “上海”，若稍不注意，就会使一些数据被修改，另一些数据没有被修改，导致数据修改的不一致性； ??? (3)插入异常：若某个供应者的其它信息未提供时，如“零件号”，则不能进行插入操作； ??? (4)更新异常：若供应商S4的P2零件销售完了，删除后，在基本关系FIRST找不到S4，可S4又是客观存在的。 ??? 正因为上述原因引入了2NF。 ??? 2．2NF(第二范式) ??? 定义? 若关系模式R1NF，且每一个非主属性完全依赖于码，则关系模式R2NF。 即当1NF消除了非主属性对码的部分函数依赖，则成为 2NF。 ??? 例? FIRST关系中的码是Sno、Pno，而SnoStatus，因此非主属性Status部分函数依赖于码，故非2NF的。 若此时，将FIRST关系分解为： FIRSTl(Sno，Sname，Status，City)2NF ??? FIRST2(Sno，Pno，Qty) ?2NF 因为FIRSTl和FIRST2中的码分别为Sno和Sno，Pno每一个非主属性完全依赖于码。