第五章的关系数据库理论 第五章的关系数据库理论.ppt

第五章 关系数据库理论 （6学时） 主讲：曹志英 副教授 大连海事大学计算机科学与技术学院 研究方向：软件工程与理论?数据库与信息系统 电话Email：CZY_SOPHY@163.COM 学习要点 （1）函数依赖及Armstrong公理系统； （2）为什么要对模式进行分解，如何分解？ （3）如何判断关系模式达到几范式？ （4）如何求属性的闭包及如何求最小函数依赖集？ 章节目录 §5.1 问题的提出 §5.2 规范化（Normalization） §5.3 数据依赖的公理系统 §5.1 问题的提出 §5.1.1 规范化问题的提出 在现实世界中，进行数据处理，关键是： 针对一个具体问题应该如何构造一个适合于它的数据模式， 即构造合理的数据逻辑结构?这就需要理论指导。 采用关系模型讨论这个问题的理由： 由于关系模型有严格数学理论基础 并且可以向别的数据模型转换 从而，形成了数据库逻辑设计的一个有力工具?关系数据库的规范化理论。 规范化理论虽然是以关系模型为背景，但是它对于一般的数据库设计同样具有理论上的意义。 关系模式： R（U，D，dom，F）?一个五元组 其中： 影响关系模式设计合理性的主要因素为U和F，即： 属性 属性间依赖关系， 所以，可以简化为R(U，F)； 数据依赖 是通过一个关系中属性间值的相等与否体现出来的数据间的相互关系。 是数据内在的性质,是一种语义体现； 是现实世界中属性间相互联系的抽象；表示数据间存在的一种限制或制约关系。 根据人们对事物的理解判定依赖关系。 数据依赖有多种类型，最重要的是 函数依赖（Functional Dependency，简称FD） 多值依赖（Multivalued Dependency，简称MVD） 关系数据库的规范化理论主要包括三个方面的内容： 函数依赖 范式（Normal Form） 模式设计 其中，函数依赖起着核心的作用，是模式分解和模式设计的基础，范式是模式分解的标准。 5.1.2 关系模式的存储异常问题 由现实世界可得知： 一个系有若干学生，但一个学生只属于一个系。 一个系只有一名（正职）负责人。 一个学生可以选修多门课程，每门课程有若干学生选修。 每个学生学习每一门课程都有一个成绩。 于是，得到属性组U上的一组函数依赖： F={ SNO?Sdept ,SDept ? MN,(SNO,CName) ? G } 若只考虑函数依赖这一种数据依赖，就得到： 一个描述学校的数据库模式SU，F， 它由一个单一的关系模式构成。 为什么产生异常？ 模式中的函数依赖存在不好的性质； 或者说，数据模式组织不合理。 §5.2 规范化（Normalization） 作用：规范化理论?使数据库设计方法走向完备。 起源：1971年E.F.Codd提出。 §5.2.1 函数依赖 定义1：设R(U)是属性集U上的关系模式。X，Y是U的子集， 若对于R(U)的任意一个可能的关系r，r 中不可能存在两个元组t,s 在X上的属性值相等，即t[X]=s[X]； 而在Y上的属性值不等，即t[Y]?s[Y]； 则称X函数确定Y或Y函数依赖于X，记作：X?Y。 或者换个通俗的话 对于X的一个值，只有唯一的Y值与之对应， 则称 X?Y 。 函数依赖是一个语义范畴的概念，如： 姓名 ?年龄，姓名 ?出生日期，姓名 ?籍贯 只能在姓名唯一的假设前提下成立。 当我们确定关系模式R中的某个函数依赖时， 是指R的所有可能关系r都必须满足这个函数依赖； 反之， 如果R中只要有一个关系r不满足这个函数依赖， 我们就认为R不存在这个函数依赖。 函数依赖只能从属性含义上加以说明， 而不能在数学上加以证明。 只有数据库设计者才能决定是否存在某种函数依赖。 这就使得数据库系统可以根据设计者的意图来维护数据库的完整性。 定义2： 完全依赖和部分依赖 实例1 存在以下函数依赖： l? SNo ?? SName （若无重名） l??SNo ? SDept l SNo ? SAge 实例2 在这里，单个属性不能作为决定因素，但属性的组合可以作为决定因素，即： 实例3 PJTP(*工程编号，工程名称，*零件编号，零件名称，规格型号，数量 ) 定义3： 传递依赖 §5.2.2 码：用函数依赖的概念来定义码。 定义4：设K为R(U，F)中属性或属性组合。 §5.2.3 范式（Normal Form）－NF 必要性：关系数据库中 关系要满足一定要求； 满足不同层要求的关系，为不同范式。 范式的提出： 1971～1972年，E.F.Codd系统地提出1NF,2NF,3NF。 1974年，Codd和Boyce又共同提出了一个新范式BCNF。 1976年，Fagin提出4N