第3讲函数依赖和公理概念.pptVIP

* 第三章数 据 依 赖  函数依赖是数据库理论中最主要的组成部分，是设计规范的数据库模式的理论基础。数据依赖表示数据间存在的一种制约或约束关系。有多种数据依赖，常见的数据依赖有：函数依赖、多值依赖、连接依赖。 * 本章的主要内容： 函数依赖的概念及函数依赖公理 函数依赖集的等价和覆盖 多值依赖及多值依赖公理 连接依赖 * 3.1 函数依赖(Functional dependency FD) 定义1(FD) 设关系模式R(U)，X,Y ? U，r是R(U)上的任一关系，对任意t1、t2?r, 如果 t1[X]=t2[X] 有t1[Y]=t2 [Y]，称X函数决定Y，或Y函数依赖于X，记为：FD X→Y。 定义2（FD的等价定义） 对X中的任一值x，ΠY(σX=x(r)) 的值仅有一个元组，则有X→Y。 * 练习1 设关系r 如下所示： r( A B C D E ) a1 b1 c1 d1 e1 a1 b2 c2 d2 e1 a2 b1 c3 d3 e1 a2 b1 c4 d3 e1 a3 b2 c5 d1 e1 说明r上函数依赖： A→D, AB→D, C→BDE，E→A 是否成立？ * 定义(平凡/非平凡的FD):设FD X→Y，如果Y?X，则称 FD X→Y为非平凡的函数依赖；否则，若Y?X，称FD X→Y为平凡的函数依赖。 定义(完全FD): 设FD X→Y，如果对任意的X??X，X?→Y都不成立，则称X→Y是完全函数依赖；若对X的真子集X?有X??X，而X?→Y成立，则称FD X→Y是部分函数依赖，即Y函数依赖于X的一部分。 练习1中函数依赖 AB→D是完全依赖还是部分依赖？ 思考： 如果X只有一个属性， X→Y是否一定是完全函数依赖？ 定义(传递FD):设关系模式R，X、Y、Z是R的属性子集， 若FD X→Y，Y → X，Y→Z，则有FD X→Z，称FD X→Z为 传递函数依赖。 函数依赖、完全依赖、传递依赖等基本概念是第四章关系 数据库范式的基础。 * 函数依赖的例子 学校数据库的语义： ⒈ 一个系有若干学生， 一个学生只属于一个系； ⒉ 一个系只有一名主任； ⒊ 一个学生可以选修多门课程， 每门课程有若干学生选修； ⒋ 每个学生所学的每门课程都有一个成绩。 R(SNO,CNO,SNAME,GRADE,DEPT,MNG) （1）找出其中基本的函数依赖？ （2）哪些是平凡依赖？指出哪些是完全依赖？哪些是部分依赖？哪些是传递依赖 ？ SNO → DEPT, DEPT → MNG; SNO,CNO→GRADE; SNO,CNO→SNO; SNO,CNO→SNAME; SNO→MNG * 3.2 函数依赖公理 3.2.1 函数依赖公理 由关系模式R上的函数依赖组成的集合F称为R上的函数依赖集，记为： FDs F。 定义(FD的逻辑蕴涵) ： 设关系模式R(U,F)，X,Y?U，如果能从函数依赖集F推导出FD X→Y，则称 F逻辑蕴涵 FD X→Y，或称X→Y逻辑蕴涵于F。记为 F|= X→Y。 * 已知函数依赖集F，如何判断一个函数X→Y是否逻辑蕴涵于F ？需要哪些推理法则（包括3个公理和3个推论）？ Armstrong公理（三个公理）： 设r是R(U)上的一个关系，X、Y、Z、W?U。 A1. 自反律: 若Y?X?U, 则 X→Y; A2. 增广律: 若X→Y且Z?U，则 XZ→YZ; A3. 传递律: 若X→Y, Y→Z，则 X→Z. 有以上三个公理，可以推出以下3个推论： 推论1（合成规则）： 若X→Y，X→Z，则X→YZ 推论2（分解规则）： 若X→Y且Z?Y，则X→Z 推论3（伪传递规则） 若X→Y，YZ→W，则XZ→W。 * 推论1（合成规则）： 若X→Y，X→Z，则X→YZ。 证明：若X→Y ? X → XY X→Z ? XY→YZ X→YZ （增广和传递律 推论2（分解规则）： 若X→Y且Z?Y，则X→Z。 证明： Z?Y ? Y→Z （自反和传递律） 推论3（伪传递规则） 若X→Y，YZ→W，则XZ→W。 证