[第七章关系数据库的规范化理论.pptVIP

W W W . W A T S O N W Y A T T . C O M 第七 章 关系数据库的设计理论 7.1 模式规范化问题的提出 7.2 函数依赖 7.3 范式和规范化 7.4 关系模式的分解 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 7.1 模式规范化问题的提出 关系数据库逻辑设计 针对具体问题，如何构造一个适合于它的数据模式 数据库逻辑设计的工具──关系数据库的规范化理论 【例】描述学生的数据： 学号(Sno)、姓名(Sname)、年龄(Sage)、院系(Sdept)、系主任姓名(Dname)、课程名(Cname)、成绩(Grade) 学生数据库的语义： 1)一个系有若干学生，一个学生只属于一个系 2)一个系只有一名主任 3)一个学生可选修多门课程， 每门课程可有若干学生 4)每个学生所学的每门课程都有一个成绩 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 关系模式Student(Sno,Sname,Sage,Sdept, Dname,Cname,Grade)存在如下问题 1）数据冗余 一个系有若干学生，每个学生的信息中都会有所在系和系主任的名字，系主任被反复存储 2）不一致性 由于系主任存储冗余，当某个系更新系主任时，可能只修改了一部分，而另一部分没有修改，造成存储数据的不一致 3）插入异常 如果某个系还没有招收学生，那么就无法填写系主任 4）删除异常 要删除一个学生的所有成绩，则把该学生的姓名、年龄等基本信息也都删除 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 结论： Student关系模式不是一个好的模式 “好”的模式不会发生插入异常、删除异常、更新异常，数据冗余应尽可能少 原因： 由存在于模式中的某些数据依赖引起的 数据依赖是现实世界事物之间相互关联性的一种表达 解决方法： 通过分解关系模式消除其中不合适的数据依赖 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 模式问题的解决办法 若将关系分解为以下3个关系： S{Sno,Sname,Sage}、D{Dept, Dname}、SC{Sno,Cname,Grade} 则可以解决所有的异常 数据冗余：一个系的系主任只在D中出现，S中只有每个学生的基本信息和所在的系，避免了系主任的冗余 数据不一致：由于不存在数据冗余，也就不存在部分修改，即不一致 插入异常：由于系主任插入在D表中，只要有系名即可，避免了没有学生就不能写系主任 删除异常：删除成绩只会删除SC表的数据，而S表中的信息被保留 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 7.2 函数依赖 7.2.1 函数依赖的定义 7.2.2 平凡函数依赖与非平凡函数依赖 7.2.3 完全函数依赖与部分函数依赖 7.2.4 传递函数依赖 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 7.2.1 函数依赖的定义 【定义】 设R(U)是一个属性集U上的关系模式，X和Y是U的子集。 若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等， 而在Y上的属性值不等， 则称 “X函数确定Y” 或 “Y函数依赖于X”，记作X→Y X称为这个函数依赖的决定属性集 Y=f(X) 【例】在学生关系中，学号是唯一的，也就是说，不存在学号相同，而姓名不同的学生元祖，因此有学号→姓名 Evaluation only. Created with Aspose.Slides for .NET 3.5 C