第6.2章DataBase规范化.pptVIP

An Introduction to Database System 数据库系统概论An Introduction to Database System第六章 关系数据理论 江西师范大学软件学院吴福英wfysea@ 第六章 关系数据理论 6.1问题的提出 6.2规范化 6.3数据依赖的公理系统 * 6.4模式的分解 6.5 小结 第六章 关系数据理论 6.1问题的提出 6.2规范化 6.3数据依赖的公理系统 * 6.4模式的分解 6.5 小结 一、问题的提出 针对一个具体问题或一个项目，应该如何构造一个适合于它的数据模式，即应该构造几个关系模式，每个关系模式又由哪些属性组成等。 这是数据库的设计问题，确切的讲，是关系数据库的逻辑设计问题。 关系数据库的规范化设计是指面对一个应用问题,如何选择一个比较好的关系模式集合。 二、概念回顾 6.2 规范化 6.2.1 1NF 6.2.2 函数依赖 6.2.3 码 6.2.4 2NF 6.2.5 3NF 6.2.6 BCNF 6.2.7 多值依赖 6.2.8 4NF 6.2.9 小结 6.2 规范化 6.2.1 1NF 6.2.2 函数依赖 6.2.3 码 6.2.4 2NF 6.2.5 3NF 6.2.6 BCNF 6.2.7 多值依赖 6.2.8 4NF 6.2.9 小结 6.2.1 1NF 问题描述： 在某校信息管理系统中要建立一个数据库来描述学生和选课的一些信息包含如下信息： 学号(Sno)、姓名(Sname)、课程号(Cno)、成绩(Grade)、 院系(Sdept)、住处(SLoc)。 6.2.1 1NF 单一的关系模式： SLC(Sno,Sname, Sdept, SLoc, Cno, Grade) SLC的一个实例 6.2.1 1NF 1、问题（1）：数据冗余 由于D01系有三个学生，该系的地址被重复存储了2次 2、问题（2）：插入异常 3、问题（3）：更新异常 4、问题（4）：删除异常 结论 结论： SLC关系模式不是一个好的模式。 “好”的模式： 不会发生插入异常、删除异常、更新异常， 数据冗余应尽可能少 原因：由存在于模式中的某些数据依赖引起的 　　范式(Normal Form)是满足一定要求的关系模式的集合。关系数据库中的关系必须满足一定的要求，依照要求的不同程度分为不同范式。 1NF定义 如果一个关系模式R的所有属性都是不可分的基本数据项，则称关系R为第一范式的关系模式(First Normal Form)，简称关系R属于一范式，记为：R∈1NF。 第一范式是对关系模式的最起码的要求。不满足第一范式的数据库模式不能称为关系数据库。(由关系属性的原子性得出)。 但是满足第一范式的关系模式并不一定是一个好的关系模式。仍然存在数据冗余度大 、插入异常 、修改和删除异常。 规范化理论正是用来改造关系模式，通过分解关系模式来消除其中不合适的数据依赖，以解决插入异常、删除异常、更新异常和数据冗余问题。 6.2 规范化 6.2.1 1NF 6.2.2 函数依赖 6.2.3 码 6.2.4 2NF 6.2.5 3NF 6.2.6 BCNF 6.2.7 多值依赖 6.2.8 4NF 6.2.9 小结 6.2 规范化 6.2.1 1NF 6.2.2 函数依赖 6.2.3 码 6.2.4 2NF 6.2.5 3NF 6.2.6 BCNF 6.2.7 多值依赖 6.2.8 4NF 6.2.9 小结 6.2.2 函数依赖 一、函数依赖 二、平凡函数依赖与非平凡函数依赖 三、完全函数依赖与部分函数依赖 四、传递函数依赖 6.2.2 函数依赖 设R(U)是属性集U上的关系模式，X , Y ? U， r是R(U) 上的任意一个关系，如果成立 对?t , s ? r，若t[X] = s[X]，则t[Y] = s[Y] 那么称“X函数决定Y”，或“Y函数依赖于X”，记作X?Y 称X为决定因素 如Tname ? Addr， （Sno，Cno）? Grade 或者说：对于R(U)的任意一个可能的关系r ，r中不可能存在两个元组在X上的属性值相等， 而在Y上的属性值不等 函数依赖 1. 函数依赖不是指关系模式R的某个或某些关系实例满足的约束条件，而是指R的所有关系实例均要满足的约束条件。 2. 函数依赖是语义范畴的概念。关系数据库中讨论函数或函数依赖注重的是语义上的关系。 比如：省=f(城市) 如果“城市”是自变量X，则“省”是因变量或函数值Y。并且把X函数决定Y，或Y函数依赖于X表示为：X→Y 3. 数据库设计者可以对现实世界作强制的规定。例如规定不允许同名人出现，函