ch.4数据依赖与关系模式规范化.pptVIP

第二部分 设计篇 Ch.4 数据依赖与关系模式规范 Ch.5 数据库设计 Ch.4 数据依赖与关系模式规范化 1. 问题的提出 2. 数据依赖 3. 关系模式分解 4. 关系模式规范化 一个具体的例子 :SCT(S#，C#，Grade，Teacher，Dept) SCT至少在两个方面存在着比较严重的问题： (1)、数据冗余:Teacher和Dept属性上存在着大量的重复取值，不仅消耗了更多的存储空间，而且还容易引起数据的不一致。 (2)、更新异常:例如“CS－01”课程的任课教师为刘朝，因某种原因此课改由张明华担任任课教师，更新时如果不注意就可能仅将一部分选修了“CS－01”的元组更新了，从而造成了“CS－01”课程有两名任课教师的情况，这时就出现了修改时的异常。 1.问题的提出 S# C# Grade Teacher Dept 关系模式SCT属性间依赖关系 计算机 计算机 计算机 计算机 计算机 … 刘朝 张莹 刘朝 林琳 张莹 … 89 86 68 92 73 … CS－01 CS－03 CS－01 CS－02 CS－03 …0205501902055066… 我们认为关系SCT不是一个“好”的关系，原因是将S#、C#、Grade、Teacher、Dept等属性放在一个关系模式中是不合适的，那么，怎么样对这个关系加以改进呢？ 如果将其分为两个关系SC(S#，C#，Grade)和CT(C#，Teacher，Dept)，这样一来关系中就不会存在数据的冗余了。然而观察关系CT(C#，Teacher，Dept)可以发现，该关系上的更新异常是仍然存在的。将关系CT (C#，Teacher，Dept)继续分解，将其拆分成C(C#，Teacher)和T(Teacher，Dept)。经过这两次调整之后，关系SCT(S#，C#，Grade，Teacher，Dept)被分解成了三个关系SC(S#，C#，Grade)、C(C#，Teacher)和T(Teacher，Dept)，此时的这三个关系都已经比较合理，分解也就到此为止了。 我们很好的解决了关系SCT存在的问题，但是实际当中可能存在数据冗余和更新异常等问题的关系并不仅仅只有SCT一个，如何从关系数据理论的层面上来解决关系模式的分解及规范化这一类问题，将是本章后面各节的主要内容。 数据依赖是指关系模式的属性间存在的一些制约关系，常见的数据依赖包括两种类型，即函数依赖(Functional Dependency，FD)和多值依赖(Multivalued Dependency，MD)。 数据依赖是一个语义问题，是根据该关系模式及其属性所表达的具体含义而定的。 数据依赖是我们评价一个关系的重要依据，根据关系模式上的数据依赖，我们可以判断这个关系是否是合理的 。 2.数据依赖 （1）、函数依赖 定义4-1：设R为关系模式，r是R上的任意一个关系实例，X，Y是R的两个属性子集，若对于r上的任意两个元组t1，t2∈r都有如果t1[X]＝t2[X]，则必有t1[Y]=t2[Y]，则称在R上X函数决定Y或者Y函数依赖于X，记为X→Y，X称为决定子(Determinant)。 定义4-2：设R为关系模式，X、Y是R的不同属性集，如果X→Y成立，且不存在 X中的子集使得X’→Y也成立，则称Y完全函数依赖于X，记为X(f) → Y，否则称Y部分依赖于X，记为X(p) → Y。 定义4-3：设X、Y、Z是R上的不同属性集合，如果有X→Y，Y→Z成立且 Y → X，则称Z传递函数依赖于X。 Armstrong公理系统，该公理系统中与函数依赖有关的规则主要有以下三条: A1（自反率）：如果Y≦X ≦ U，则X→Y成立； A2（增广率）：如果X→Y成立，且Z ≦ U，则XZ→YZ成立； A3（传递率）：如果X→Y，Y→Z成立，则X→Z成立。 引理4-1：Armstrong公理是正确的。 定义4-4：设F是函数依赖集合，X→Y是一个函数依赖，如果F在某个R上成立 时必然有X→Y也成立，则称F逻辑蕴涵X→Y，记为F∣＝X→Y。 定义4-5：由函数依赖集合F所逻辑蕴涵的全部函数依赖所构成的集合称之为F的闭包，记作F＋，F＋＝{ X→Y | F ∣＝ X→Y}。 定义4-6：属性集X关于R(U，F)上的函数依赖集合F的闭包XF定义为XF＝{A|A∈U，X→A可由Armstrong公理推出}。 引理4-2：X→Y可由Armstrong公理推出的充分必要条件是Y ≦