第05章节关系数据理论.docVIP

第五章 关系数据理论 5.1 问题的提出 回顾 讨论了关系数据库的基本概念、关系模型的三个部分以及关系数据库的标准语言。 问题 针对一个具体问题，应该如何构造一个适合于它的数据库模式，即应该构造几个关系模式，每个关系模式由哪些属性组成等。 这是数据库设计的问题，确切地讲是关系数据库逻辑设计问题。 一、关系模型的形式化定义 一个关系模式应当是一个五元组，即：R(U, D, DOM, F)。 其中： R——关系名； U——属性组； D——属性组U中的属性所来自的域； DOM——属性到域的映射； F——属性组U上的一组数据依赖。 由于D和DOM对模式设计关系不大，因此在本章中把关系模式看作是一个三元组，即：RU,F。 当且仅当U上的一个关系r满足F时，r称为关系模式RU,F的一个关系。 二、数据依赖 接下来的任务就是研究：如何设计一个“好”的（没有“毛病”的）关系模式的办法。 要找到这样一个方法，需要了解数据依赖的概念。 数据依赖是通过一个关系中属性间值的相等与否体现出来的数据间的相互关系。它是现实世界属性间相互联系的抽象，是数据内在的性质，是语义的体现。 现在人们已经提出了许多种类型的数据依赖，其中最重要的是函数依赖(Functional Dependency简记为FD)和多值依赖(Multivalued Dependency简记为MVD)。 函数依赖极为普遍地存在于现实生活中。比如：描述一个学生的关系，可以有学号(Sno)，姓名(Sname)，系名(Sdept)等几个属性。 由于一个学号只对应一个学生，一个学生只在一个系学习。因而当“学号”值确定之后，姓名和该生所在系的值也就被唯一地确定了。就象自变量x确定之后，相应的函数值f(x)也就唯一地确定了一样，我们说Sno函数决定Sname和Sdept，或者说Sname，Sdept函数依赖于Sno，记作：Sno→Sname，Sno→Sdept。? 三、函数依赖与插入删除异常 建立一个数据库来描述学生的一些情况，面临的对象有：学生（用学号Sno描述），系（用系名Sdept描述），系负责人（用其姓名Manager描述），课程（用课程名Cname描述）和成绩（Grade）。 由现实世界的已知事实得知： ① 一个系有若干学生，但一个学生只属于一个系； ② 一个系只有一名（正职）负责人； ③ 一个学生可以选修多门课程，每门课程有若干学生选修； ④ 每个学生学习每一门课程有一个成绩。 根据上面的定义，我们建立一个学生关系模式SU, F，其中： U={Sno, Sdept, Manager, Cname, Grade} F={Sno→Sdept, Sdept→Manager, (Sno,Cname)→Grade} 其函数依赖F还可以表示成如图5.1。 图5.1 学生关系模式的函数依赖 ? 图5.2 学生关系模式的一个关系 这个模式有下面三个“毛病”： ① 插入异常：如果一个系刚成立尚无学生，或者虽然有了学生但尚未安排课程。那么我们就无法把这个系及其负责人的信息存入数据库。 ② 删除异常：反过来，如果某个系的学生全部毕业了，我们在删除该系学生选修课程的同时，把这个系及其负责人的信息也丢掉了。 ③ 冗余太大：比如，每一个系负责人的姓名要与该系每一个学生的每一门功课的成绩出现的次数一样多。这样，一方面浪费存储，另一方面系统要付出很大的代价来维护数据库的完整性。比如某系负责人更换后，就必须逐一修改有关的每一个元组。? 四、有函数依赖的关系改造 把关系S分成三个关系模式，如下： S(Sno,Sdept,Sno→Sdept) SG(Sno,Cname,Grade,(Sno,Cname) →Grade) Dept(Sdept,Manager,Sdept→Manager) 这三个模式就不会发生插入异常、删除异常的毛病，数据的冗余也得到了控制。? 5.2 规范化 为了使数据库设计的方法走向完备，人们研究了规范化理论，指导我们设计规范的数据库模式。 按属性间依赖情况来区分，关系规范化的程度为第一范式，第二范式，第三范式和第四范式等。? 5.2.1 函数依赖 一、函数依赖的定义 定义5.1 设R(U)是属性集U上的关系模式。X，Y是U的子集。若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等，而在Y上的属性值不等，则称X函数确定Y或Y函数依赖于X，记作X→Y。 举例：如图5.2中，只要Sdept是“CS”，Manager就是“张军”，记作Sdept→Manager。 注意：函数依赖不是指关系模式R的某个或某些关系满足的约束条件，而是指R的一切关系均要满足的约束条件。也就是说这个约束是针对这个关系模式的所有关系。? 二、函数依赖的几个术语和记号 · X→Y