第3章关联数据模型之范式.pptxVIP

第4章 关系数据库理论许咐锭账堂卷鸵墒喊咸朋庚灯烈穆匪敲威肺夜糙捍屹砍刨阴摧锅榷风扇章第3章关系数据模型之范式第3章关系数据模型之范式4.3 范式 规范化的基本思想是消除关系模式中的数据冗余，消除数据依赖中的不合适的部分，解决数据插入、删除时发生异常现象。这就要求关系数据库设计出来的关系模式要满足一定的条件。我们把关系数据库的规范化过程中为不同程度的规范化要求设立的不同标准称为范式（Normal Form）。由于规范化的程度不同，就产生了不同的范式。满足最基本规范化要求的关系模式叫第一范式，在第一范式中进一步满足一些要求为第二范式，以此类推就产生了第三、四范式等概念。每种范式都规定了一些限制约束条件。 最重要的是3NF及BCNF。这是进行规范化的主要目标。 锤婉耳佃诺谤躇苇蓉嗽扩垂旦炎髓贰撑疮房绩眩顿窟疵渊褥塑溃滴苔丛查第3章关系数据模型之范式第3章关系数据模型之范式范式的概念最早由E.F.Codd提出。从1971年起，Codd相继提出了关系的三级规范化形式，即第一范式（1NF）、第二范式（2NF）、第三范式（3NF）。1974年，Codd及Boyce以共同提出了一个新的范式的概念，即Boyce-Codd范式，简称BC范式。1976年Fagin提出了第四范式，后来又有人定义了第五范式。至此在关系数据库规范中建立了一个范式系列：1NF,2NF,3NF,BCNF,4NF,5NF,一级比一级有更严格的要求。各个范式之间的联系可以表示为：5NF 4NF BCNF 3NF 2NF 1NF如图4.3所示。 雹厌奄栈毁膛韵油资授睹教吱扳雀只制泼猩啪道魔预摧确侈犹揉四惕歉圣第3章关系数据模型之范式第3章关系数据模型之范式规范与非规范关系1NF2NF3NFBCNF4NF5NF图4.3 各种范式之间的关系1NF,2NF,3NF,BCNF,4NF,5NF,一级比一级有更严格的要求。下面逐一介绍各级范式及其规范化。 噬烈招试章妙腋砒琢趁都老萧耸涕挑释老戎酞且桃阻猩央隙督勇兵违训寻第3章关系数据模型之范式第3章关系数据模型之范式4.3.1 第一范式第一范式（First Normal Form）是最基本的规范形式，即关系中每个属性都是不可再分的简单项。定义4.4 如果关系模式R，其所有的属性均为简单属性，即每个属性都城是不可再分的，则称R属于第一范式，简称1NF，记作R?1NF。在第2章讨论关系的性质时，我们把满足这个条件的关系称为规范化关系。在关系数据库系统中只讨论规范化的关系，凡是非规范化的关系模式必须化成规范化的关系。在非规范化的关系中去掉组合项就能化成规范化的关系。每个规范化的关系都属于1NF，这也是它之所以称为“第一”的原因。 少赌薛记绳宪求狞哺撒滋吐铅箩羞郝嗽优墒顷妹钳姆席篱肿腮樊异详芹屈第3章关系数据模型之范式第3章关系数据模型之范式然而，一个关系模式仅仅属于第一范式是不适用的。在4.1节中给出的关系模式SCD属于第一范式，但其具有大量的数据冗余，具有插入异常、删除异常、更新异常等弊端。为什么会存在这种问题呢？让我们分析一下SCD中的函数依赖关系，它的关系键是（SNO，CNO）的属性组合，所以有： （SNO，CNO） SCORESNO→SN，（SNO，CNO） SNSNO→AGE，（SNO，CNO） AGESNO→DEPT，（SNO，CNO） DEPTSNO MN，（SNO，CNO） MN 腿栅赚杰暑累宰崖唤氦蒜顽炬娘薯否钨廓荤痘亮噪脑够稚募驹护顺史刃纂第3章关系数据模型之范式第3章关系数据模型之范式PSNSNOfSCORECNOPMN图4.4 SCD中的函数依赖关系我们可以用函数信赖图表示以上函数依赖关系，如图4.4所示。 由此可见，在SCD中，既存在完全函数依赖，又存在部分函数依赖及传递函数依赖。这种情况往往在数据库中是不允许的，也正是由于关系中存在着复杂的函数依赖，才导致数据操作中出现了种弊端。克服这些弊端的方法是用投影运算将关系分解，去掉过于复杂的函数依赖关系，向更高一级的范式进行转换。 芍医舵惨叠嚷晰诡姆叶剪牡寄扩厨束京碟锁捶军堵狰哄诛兔社喷曹祖键链第3章关系数据模型之范式第3章关系数据模型之范式4.3.2 第二范式4.3.2.1 第二范式的定义定义4.5 如果关系模式R?1NF，且每个非主属性都完全函数依赖于R的每个关系键，则称R属于第二范式（Second Normal Form），简称2NF，记作R?2NF。在关系模式SCD中，SNO，CNO为主属性，AGE，DEPT，MN，MN，SCORE均为非主属性，经上述分析，存在非主属性对关系键的部分函数依赖，所以SCD?2NF。而如图4.2所示的由SCD分解的三个关系模式S，D，SC，其中S的关系键为SNO，D的关系键为DEPT