ch07关系数据库设计理论-范式.pptVIP

Wei Lu 7.1 关系模式的规范化--范式 设计关系数据库时，关系模式不可以随意建立，它们必须满足一定的规范化要求，满足不同程度要求的为不同范式。满足最低要求的叫第一范式,简称1NF(First Normal Form)。在第一范式中满足进一步要求的为第二范式,其余以此类推。 R满足第几范式，记为：R∈xNF。 各种范式之间的关系是： 5NF ? 4NF ? BCNF ? 3NF ? 2NF ? lNF 一个低一级范式的关系模式， 通过模式分解，转换为若干个高一级范式的关系模式的集合，该过程称为规范化。 7.1.1 第一范式（1NF） 定义：如果一个关系模式R的所有属性都是不可分的基本数据项，则称R是第一范式（First Normal Form）的关系模式。记为R?lNF。 不是1NF的关系称为非规范化的关系，满足1NF的关系称为规范化的关系。关系数据库研究的关系都是规范化的关系。1NF是关系数据库中关系的最低要求。 例： 将该表规范成1NF可以有二种方法： 满足第一范式的关系是否还存在问题？ 例，设有关系模式SC(SNo，CNo，GRADE，CREDIT),其中CREDIT表示学分。函数依赖：(SNo，CNo) ? GRADE， CNo ? CREDIT，主码是(SNo，CNo)。 该关系模式在实际使用中会出现下列问题： ① 数据冗余。同一门课的学分存储多次。 ② 更新异常。 同一门课的学分变化了，要修改多次 ③ 插入异常。 当主属性学号为空时不能插入。 ④ 删除异常。 如某课程不开了，则会删除学生信息。 原因在于关系模式SC中的非主属性CREDIT部分函数依赖于码(SNo，CNo)： (SNo，CNo) ? CREDIT。 7.1.2 第二范式（2NF） 定义：若R∈lNF,且每一个非主码属性都完全函数依赖于主码,则R∈2NF。 上例中的关系模式SC显然不是2NF，因为它存在部分依赖： (SNo，CNo) ? CREDIT 将上述非2NF的关系SC规范化为2NF关系，应设法消除部分依赖。 7.1.2 第二范式（2NF） 通过投影把它分解为以下两个关系模式： SCG(SNo，CNo，GRADE)//CNo是外码 C(CNo，CREDIT) 新关系模型包括两个关系模式，它们之间通过SCG中的外码CNo相联系，需要时再自然联接，则恢复了原来的关系。 满足2NF的关系模式是否就没问题了？ 例，关系模式SD(SNo，SName，DNo，DName，Location)，主码是SNo，不存在部分依赖，属于2NF。但仍然存在大量冗余，关于系的重复值随着学生的增加而增加。在插入、删除或修改元组时也将产生异常情况。 分析其原因，由于关系中存在传递依赖 ： SNo ? Location ，（SNo ? DNo，DNo ? Location ， DNo ? DName ）。 7.1.3 第三范式（3NF） 定义：如果关系模式R（U，F）中若不存在这样的主码X，属性组Y及非主码属性组Z(Z?Y)使得X?Y,(Y?X) Y?Z成立，则R（U，F）?3NF。 第二种定义： 如果关系模式R（U，F）中的所有非主码属性与主码都不存在传递依赖，则R（U，F）?3NF 。 定理：如果R∈3NF，则R∈2NF。 7.1.3 第三范式（3NF） 证明: 假设R∈2NF，则R∈3NF。 则R中非主码属性A部分依赖于码K，则存在： K ? K，使得K→A。 因为K‘是K的子集，所以有：K→K ’ ，但K‘→K。 于是有K→K ’，K’ →K，K ’→A ，并且A不属于 K’，因而非主属性A传递依赖于码K，则R不属于3NF（ R∈3NF ）。 证毕。 7.1.3 第三范式（3NF） 上例的关系模式SD(SNo，SName，DNo，DName，Location)，显然不满足3NF，因为它存在传递依赖：SNo?DNo，DNo? Location ，将关系模式SD分解为两个关系模式： S(SNo，SName，DNo) D(DNo，DName，Location) 则这两个关系模式都满足3NF。 注意：投影时不能从关系S中遗漏外码DNO，否则这两个关系之间将失去联系，就不能通过自然联接再恢复原来的关系了。 7.1.3 第三范式（3NF） 部分函数依赖和传递函数依赖是产生冗余、异常的两个重要原因，3NF消除了大部分冗余、异常，具有较好的性能。 但3NF并没有要求消除主码属性对候选码的传递依赖，如果存在这种情况，