第6章关系数据理论.pptVIP

第6章 关系数据理论 主要介绍数据依赖和关系模式的规范化理论。 一、问题的提出 关系模式是一个五元组：R(U,D,dom,F) 这里：1、关系名R，它是符号化的元组语义； 2、一组属性全集U； 3、属性组U中属性所来自的域； 4、属性到域的映射dom； 5、属性组U上的一组数据依赖F。 其中3和4都使用类型及长度来表示。 由于D和dom都表示为类型，对关系模式设计关系不大，因此可以把关系模式用一个三元组来表示，即：RU,F 当且仅当U上的一个关系r 满足F时，r 称为关系模式RU,F的一个关系。这里R为关系模式的型，而r 是其中的一个实例，即值，叫关系。 属性之间通常存在一定的依赖关系，而最基本的依赖关系是函数依赖。 所谓函数依赖是指一个或一组属性的值可以决定其它属性的值。 举例说明 设有一关系R，具有下列属性：学号SNO，课程号CNO，成绩GRADE，任课教师TN，教师所在系名DEPT。这些数据的语义如下： 1、学号标识学生，课程号标识课程。 2、一位学生所修的每门课程都有一个成绩。 3、每门课程只有一位任课教师；但一位教 师可以教多门课。 4、教师无重名，每位教师只属于一个系。 根据上述，可以得到这样的函数依赖： {SNO,CNO}→GRADE,CNO→TN,TN→DEPT 但是，可能的问题是： 1、冗余：担任课程的教师名TN须对选该课程的所有学生重复；而系名DEPT须对选该系所开课程的所有学生重复。 2、插入异常：如某系一位教师不教课，则该教师的姓名及所在系名就不能插入；同样，如果一位教师所开的课暂时无人选，或是列入计划而目前不开，则也无法插入。 二、函数依赖 定义：设有一关系模式R(A1,A2,...,An)，X和Y为其属性的子集，即X U，Y U，而U={ A1,A2,...,An}。若对于R的任意一个关系r，设u，v是关系r中的任意两个元组，如果u[X]= v[X]，则u[Y]= v[Y]，则称X函数确定Y或Y函数依赖于X，记作 X→Y。 函数依赖模式 定义：若R是一个关系模式，U是属性全集，F是R上的一个函数依赖集，则三元组RU,F称为是一个函数依赖模式。 定义 若X→Y，但Y X，则称X→Y是非平凡的函数依赖。 若X→Y，但Y X，则称X→Y是平凡的函数依赖。 若X→Y，则X叫做决定因素。 若X→Y， Y→X，则记作： X←→Y。 若Y不函数依赖于X，则记作：X→Y。 完全、部分、传递依赖 设X→Y是非平凡的函数依赖，且不存在X’ X，使X’→Y，则称Y完全函数依赖于X，记作： X Y。 否则称为Y部分函数依赖于X，记作：X Y。 设X，Y，Z是某关系的不同属性集，如果X→Y， Y→X， Y→Z，则称 Z 传递函数依赖于X，记作X Z。 证明传递依赖 由于X→Y，则当u[X]=v[X]，必有u[Y]=v[Y]； 又由于Y→Z，则当u[Y]=v[Y]，必有u[Z]=v[Z]； 所以在假定u[X]=v[X]的条件下，推得u[Z]=v[Z]根据函数依赖的定义可得X→Z成立。 请看例子 在关系(SNO,CNO,GRADE,TN,DEPT)中，函数依赖集F是：F={{SNO,CNO}→GRADE, CNO→TN, TN→DEPT} 这里：SNO→SNO 是平凡的函数依赖； {SNO,CNO}→CNO 也是平凡的函数依赖； {SNO,CNO}→GRADE是完全函数依赖； CNO→TN 也是完全函数依赖； {SNO,CNO}→TN 是部分函数依赖； CNO→DEPT 是传递函数依赖。 数据依赖的公理系统 定义：设F是R的函数依赖集合，X→Y是R的个函数依赖。如果一关系模式满足F，则必然满足X→Y，这时称F逻辑蕴涵X→Y，或表示为F |= X→Y。 定义：函数依赖集合F所逻辑蕴涵的函数依赖的全体称为F的闭包，记为F+。 即 F+={X→Y | F |= X→Y}。 阿氏(Armstrong)公理 设有关系模式RU,F，X,Y,Z 均是U的子集，F是R的函数依赖集。 A1：自反律(Reflexivity) 如果Y X U，则X→Y