一、函数依赖(Functional Dependency)的概念 数据依赖的一种,它反映属性或属性组之间相依存,互相制约的关系, 即反映现实世界的约束关系。 二、定义 设R(U)是属性U上的一个关系模式,X和Y均为U={A1,A2,…,An}的子集, r为R的任一关系,如果对于r中的任意两个元组u,v,只要有u[X]=v[X], 就有u[Y]=v[Y],则称X函数决定Y,或称Y函数依赖于X,记为X→Y。 例4.2.1:判断以下函数依赖的对错 1、sno→sname, cno→cname,(sno,cno)→grade 2、sname→sno, tno→cno, sno→tname 三、函数依赖是语义范畴 1、语义:数据所反映的现实世界事物本质联系 2、根据语义来确定函数依赖性的存在与否 3、函数依赖反映属性之间的一般规律,必须在关系模式下的任一个关系r中 都满足约束条件。 四、属性间的联系决定函数依赖关系 设X、Y均是U的子集 1、X和Y间联系是1:1,则X→Y,Y→X。 2、X和Y间联系是M:1(M), 则X→Y。 3、X和Y间联系是M:N(M,N),则X、Y间不存在函数依赖。 例4.2.2:STUDENTS(SNO,SNAME,GRADE,CLASS,BH,BPLACE,SEX) X Y SNO → (GRADE,CLASS,BH)(GRADE,CLASS,BH)→SNO SNO → GRADE BPLACE SEX CLASS → GRADE 五、函数依赖图 例4.2.3: 关系模式SCT(sno, cno, tno, sname, grade, cname, tname)的FD图 图4.2.1 关系模式SCT函数依赖图 六、完全函数依赖和部分函数依赖 1、函数依赖分为完全函数依赖和部分函数依赖 2、定义: 在R(U)中,如果X→Y,并且对于X的任何真子集X'都有X'Y', 则称Y完全依赖于X,记作X→Y;否则,如果X→Y,且X中存在一个真子集X', 使得X'→Y成立,则称Y部分依赖于X,记作XY 例4.2.4:(sno,cno)cname(sno,cno)→tname cno →cname cno tname(sno,cno)→grade 七、平凡函数依赖和非平凡函数依赖 设X,Y均为某关系上的属性集,且X→Y 1)若Y包含于X,则称X→Y为:平凡函数依赖; 2)若Y不包含于X,则称X→Y为:非平凡函数依赖。 例4.2.5: 解:X→Y为平凡函数依赖 X→W, W→Y为非平凡函数依赖