第八章数据库逻辑设计与物理设计.pptVIP

第八章 数据库物理设计;本章主要内容;8.1 物理设计概述; ;实体名;联系名;8.3 关系规范化理论;冗余与异常;冗余与异常; 数据依赖：是通过关系中属性间值的相等与否体现出来的数据间的相互关系，是现实世界属性间相互联系的抽象，是数据内在的性质，是语义的体现。最重要的数据依赖是函数依赖FD (Functional Dependency) 关系模式的简化：R(U, F) 例如：关系模式为Student U、F 属性组U＝Sno, Sdept, Mname, Cname, Grade ｝。 F＝｛ Sno → Sdept, Sdept → Mname, (Sno, Cname) → Grade ｝;结论： Student关系模式不是一个好的模式。 “好”的模式不会发生插入异常、删除异常、更新异常，数据冗余应尽可能少。 引起上述异常的原因是存在于模式中的某些不合适的数据依赖。 解决方法是通过分解关系模式来消除其中不合适的数据依赖。如把上述模式分成三个关系模式： S(Sno,Sdept,Sno?SDEPT) SG(Sno,Cname,Grade,(Sno,Cname)?Grade) DEPT(Sdept,Mname,SDEPT?Mname) 这三个模式都不会发生插入异常、删除异常等，数据的冗余也得到了很好的控制。;规范化理论：通过分解关系模式来消除其中不合适的数据依赖，以解决插入异常、删除异常、更新异常和数据冗余问题。 函数依赖 函数依赖的定义：设R(U)是一个属性集U上的关系模式，X和Y是U的子集。若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等， 而在Y上的属性值不等， 则称 “X函数确定Y” 或 “Y函数依赖于X”，记作X→Y，若X→Y，并且Y→X, 则记为X←→Y；若Y不函数依赖于X, 则记为X→Y。 说明1：函数依赖是指R的所有关系实例均要满足的约束条件。 说明2：函数依赖是语义范畴的概念，只能根据数据的语义来确定函数依赖。如“姓名→年龄” 。;完全函数依赖与部分函数依赖：在关系模式R(U)中，若X→Y，且对于X的任何一个真子集X’，都有X’ → Y, 则称Y完全函数依赖于X，记作X ｆ Y。若X→Y，但Y不完全函数依赖于X，则称Y部分函数依赖于X，记作X P Y。 例: 关系SC(Sno, Cno, Grade)中，由于Sno→Grade，Cno→ Grade， 因此：(Sno, Cno) ｆ Grade 。 传递函数依赖：在关系模式R(U)中，如果X→Y，Y→Z，且Y ?X，Y→X，则称Z传递函数依赖于X ，记作X t Z 。若Y→X， 即X←→Y，则Z直接依赖于X。 例: 关系Std(Sno, Sdept, Mname)中，有Sno→Sdept，Sdept→Mname，则Mname传递函数依赖于Sno。;范式（Normal Form NF）：是符合某一种级别的关系模式的集合。范式分第一范式(1NF)、第二范式(2NF)、第三范式(3NF)、BC范式(BCNF)、第四范式(4NF) 。各种范式之间存在联系： 1NF?2NF?3NF?BCNF?4NF 某一关系模式R为第n范式，可简记为R?nNF。;1NF 定义：如果一个关系模式R的所有属性都是不可分的基本数据项，则R?1NF。 1NF是对关系模式的最起码的要求，不满足1NF的数据库模式不能称为关系数据库。 例: 关系模式SLC(Sno, Sdept, Sloc, Cno, Grade)，其中：Sloc为学生住处，假设每个系的学生住在同一个地方。函数依赖有 Sno→Sdept，Sdept→Sloc，(Sno, Cno) P Grade，Sno P Sloc。SLC的码为(Sno, Cno)，SLC ?1NF。;1NF模式存在的问题：SLC不是一个好的关系模式 数据冗余度大： 插入异常： 删除异常： 修改异常： 引起原因：Sdept、Sloc部分函数依赖于码(Sno,Cno)。 解决方法：采用投影分解法，将SLC分解为两个模式SC(Sno, Cno, Grade)、SL(Sno, Sdept, Sloc)，消除部分函数依赖。;;2、2NF 定义：若关系模式R?1NF，并且每一个非主属性都完全函数依赖于R的码，则R?2NF。若R?2NF，则R?1NF。 例：SLC(Sno,Sdept, Sloc,Cno,Grade)?1NF SLC(Sno,Sdept,Sloc,Cno,Grade)?2NF SC(Sno,Cno,Grade)?2NF SL(Sno,Sd