[所有分类]第5章 关系数据理论.ppt

An Introduction to Database System 第五章 关系数据库设计 5.1 问题的提出 5.2 函数依赖的概念 5.3 范式及其规范化 5.4 数据依赖的公理系统 5.5 模式的分解 练习 关系数据库设计是数据库应用开发的关键步骤。一个设计的不好的关系模式会带来数据冗余、更新复杂等问题。 所以需要对这样的关系模式进行规范化，而规范化的理论基础是建立在函数依赖和多值依赖的基础之上的。 例：描述学生的数据库： 学生: 学号（Sno）、所在系（Sdept） 系主任姓名（Mname）、课程名（Cname） 成绩（Grade） 关系模式StudentU, F中存在的问题 ⒈ 数据冗余太大 浪费大量的存储空间 例：每一个系主任的姓名重复出现 ⒉ 更新异常（Update Anomalies） 数据冗余 ，更新数据时，维护数据完整性代价大。 例：某系更换系主任后，系统必须修改与该系学生有关的每一个元组. ⒊ 插入异常（Insertion Anomalies） 该插的数据插不进去 例，如果一个系刚成立，尚无学生，我们就无法把这个系及其系主任的信息存入数据库。 ⒋ 删除异常（Deletion Anomalies） 不该删除的数据不得不删 例，如果某个系的学生全部毕业了， 我们在删除该系学生信息的同时，把这个系及其系主任的信息也丢掉了。 结论： Student关系模式不是一个好的模式。 “好”的模式： 不会发生插入异常、删除异常、更新异常， 数据冗余应尽可能少。 原因：由存在于模式中的某些数据依赖引起的. 解决方法：通过分解关系模式来消除其中不合适 的数据依赖。 5.2 函数依赖的概念 1、函数依赖 定义5.1 设R(U)是一个属性集U上的关系模式，X和Y是U的子集。 若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等， 而在Y上的属性值不等， 则称 “X函数确定Y” 或 “Y函数依赖于X”，记作X→Y。 X称为这个函数依赖的决定属性集(Determinant)。 Y=f(x) “X函数决定Y” 或 “Y函数依赖于X”，记作X→Y。 说明： 1. 函数依赖不是指关系模式R的某个或某些关系实例满足的约束条件，而是指R的所有关系实例均要满足的约束条件。 2. 函数依赖是语义范畴的概念。只能根据数据的语义来确定函数依赖。 例如“姓名→年龄”这个函数依赖只有在不允许有同名人的条件下成立. 3. 数据库设计者可以对现实世界作强制的规定。例如规定不允许同名人出现，函数依赖“姓名→年龄”成立。所插入的元组必须满足规定的函数依赖，若发现有同名人存在， 则拒绝装入该元组。 例: Student(Sno, Sname, Ssex, Sage, Sdept) 假设不允许重名，则有: Sno → Ssex， Sno → Sage , Sno → Sdept， Sno ←→ Sname, Sname → Ssex， Sname → Sage Sname → Sdept 但Ssex →Sage 若X→Y，并且Y→X, 则记为X←→Y。 若Y不函数依赖于X, 则记为X─→Y。 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 对于任一关系模式，平凡函数依赖都是必然成立的，它不反映新的语义，因此若不特别声明， 我们总是讨论非平凡函数依赖。 3、完全函数依赖与部分函数依赖 定义5.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 4、传递函数依赖 定义5.3 在关系模式R(U)中，如果X→Y，Y→Z，且Y ?X，Y→X，则称Z传