前面我们已经讨论了关系数据库的基本概念、关系模型的三个部分(关系数据结构、关系操作集合和关系完整性)以及关系数据库的标准语言。但是还有一个很基本的问题尚未涉及,针对一个具体问题,应该如何构造一个适合于它的数据库模式,即应该构造几个关系模式,每个关系由哪些属性组成,各属性之间的依赖关系及其对关系模式性能的影响等。这就是关系数据库规范化理论所要研究的问题。
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传递函数依赖。