函数依赖

第五章 关系数据库规范化理论

第一节 函数依赖        前面我们已经讨论了关系数据库的基本概念、关系模型的三个部分(关系数据结构、关系操作集合和关系完整性)以及关系数据库的标准语言。但是还有一个很基本的问题尚未涉及，针对一个具体问题，应该如何构造一个适合于它的数据库模式，即应该构造几个关系模式，每个关系由哪些属性组成,各属性之间的依赖关系及其对关系模式性能的影响等。这就是关系数据库规范化理论所要研究的问题。  5.1函数依赖    5.1.1函数依赖的基本概念        定义5.1：设R(U)是属性集U上的关系模式。X,Y是U的子集。若对于R(U)的任意一个可能的关系r，t1,t2是r中的任意两个元组，如果由t1[X]=t2[X]Tt1[Y]=t2[Y]，（即不可能存在两个元组在X上的属性值相等,而在Y上的属性值不等）则称X函数确定Y或Y函数依赖于X，记作X→Y。    5.1.2一些术语和记号        设R(U)是属性集U上的关系模式。X,Y是U的子集。        X→Y，但Y不包含于X则称X→Y是非平凡的函数依赖。        若不特别声明,我们总是讨论非平凡的函数依赖。        X→Y，但YX 则称X→Y是平凡的函数依赖。        若X→Y,则X叫做决定因子。        若X→Y，Y→X，则记作X←→Y。        若Y不函数依赖于X,则记作XY。        例：判断以下函数依赖的对错 sno→sname, cno→cname,(sno,cno)→grade sname→sno, Sno→cno, sno→Cname                补充：属性间的联系决定函数依赖关系         设X、Y均是U的子集 X和Y间联系是1:1，则X→Y,Y→X。 X和Y间联系是M:1， 则X→Y。 X和Y间联系是M:N，则X、Y间不存在函数依赖。        例：STUDENTS(SNO,SNAME,SSEX,SAGE,SDEPT,SPLACE)           X                      Y         SNO   → (SNAME,SSEX,SAGE)         SNO   →  SPLACE         SPLACE → SDEPT          SSEX → SDEPT        例：设关系X,Y,W为关系R中的三个属性组，属性关系如下图所示，问X→Y, X→W, W→Y                                    各属上述何种函数依赖:               X→Y为平凡函数依赖               X→W, W→Y为非平凡函数依赖        补充：        定义5.2：在R(U)中,如果X→Y，并且对于X的任何一个真子集X' ,都有X' Y,则称Y对X完全函数依赖,记作:X→Y 。        若X→Y,但Y不完全函数依赖于X,则称Y对X部分函数依赖,记作X Y。        (一般，1:1为完全函数依赖，m:1为部分函数依赖)        定义5.3：在R(U)中,如果X→Y,(Y?X)，YX,Y→Z,则称Z对X传递函数依赖。