第七章关系数据库的规范化理论.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 关系模式的分解 7.1 模式规范化问题的提出 关系数据库逻辑设计 针对具体问题，如何构造一个适合于它的数据模式 数据库逻辑设计的工具──关系数据库的规范化理论 【例】描述学生的数据： 学号(Sno)、姓名(Sname)、年龄(Sage)、院系(Sdept)、系主任姓名(Dname)、课程名(Cname)、成绩(Grade) 学生数据库的语义： 1)一个系有若干学生，一个学生只属于一个系 2)一个系只有一名主任 3)一个学生可选修多门课程， 每门课程可有若干学生 4)每个学生所学的每门课程都有一个成绩 关系模式Student(Sno,Sname,Sage,Sdept, Dname,Cname,Grade)存在如下问题 1）数据冗余 一个系有若干学生，每个学生的信息中都会有所在系和系主任的名字，系主任被反复存储 2）不一致性 由于系主任存储冗余，当某个系更新系主任时，可能只修改了一部分，而另一部分没有修改，造成存储数据的不一致 3）插入异常 如果某个系还没有招收学生，那么就无法填写系主任 4）删除异常 要删除一个学生的所有成绩，则把该学生的姓名、年龄等基本信息也都删除 结论： Student关系模式不是一个好的模式 “好”的模式不会发生插入异常、删除异常、更新异常，数据冗余应尽可能少 原因： 由存在于模式中的某些数据依赖引起的 数据依赖是现实世界事物之间相互关联性的一种表达 解决方法： 通过分解关系模式消除其中不合适的数据依赖 模式问题的解决办法 若将关系分解为以下3个关系： S{Sno,Sname,Sage}、D{Dept, Dname}、SC{Sno,Cname,Grade} 则可以解决所有的异常 数据冗余：一个系的系主任只在D中出现，S中只有每个学生的基本信息和所在的系，避免了系主任的冗余 数据不一致：由于不存在数据冗余，也就不存在部分修改，即不一致 插入异常：由于系主任插入在D表中，只要有系名即可，避免了没有学生就不能写系主任 删除异常：删除成绩只会删除SC表的数据，而S表中的信息被保留 7.2 函数依赖 7.2.1 函数依赖的定义 7.2.2 平凡函数依赖与非平凡函数依赖 7.2.3 完全函数依赖与部分函数依赖 7.2.4 传递函数依赖 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) 【例】在学生关系中，学号是唯一的，也就是说，不存在学号相同，而姓名不同的学生元祖，因此有学号→姓名 说明： 1）函数依赖不是指关系模式R的某个或某些关系实例满足的约束条件，而是指R的所有关系实例均要满足的约束条件 2）函数依赖是语义范畴的概念。只能根据数据的语义来确定函数依赖 例如“姓名→年龄”这个函数依赖只有在不允许有同名人的条件下成立 3）数据库设计者可以对现实世界作强制的规定 例如规定不允许同名人出现，函数依赖“姓名→年龄”成立 所插入的元组必须满足规定的函数依赖，若发现有同名人存在， 则拒绝装入该元组 Student(Sno,Sname,Sage,Sdept, Dname, Cname,Grade)中的函数依赖 若Student中允许重名，则： Sno →Sname、Sno →Sage、Sno →Sdept、Sdept →Dname、(Sno,Cname) →Grade 若Student中不允许重名，则增加： Sname → Sno，Sname → Sage、Sname →Sdept、 (Sname,Cname) →Grade 注：若X→Y，并且Y→X, 则记为X←→Y 如Sno←→Sname 若Y不函数依赖于X，则记为： X Y 例如Sage Sdept 7.2.2 平凡函数依赖与非平凡函数依赖 【定义】关系模式R(U)中，对于U的子集X和Y 如果X→Y，但Y ? X，则称X→Y是非平凡的函数依赖 若X→Y，但Y ? X, 则称X→Y是平凡的函数依赖 例：在关系SC(Sno, Cno, Grade)中， 非平凡函数依赖： (Sno, Cno) → Grade 平凡函数依赖： (Sno, Cno) → Sno、 (Sno, Cno) → Cno 任一关系模式，平凡函数依赖都必然成立，它不反映新的语