关系数据理论总结 函数依赖: 设R(U)是一个属性集U上的关系模式,X和Y是U的子集。 若对于R(U)的任意一个可能的关系r,r 中不可能存在两个元组在X上的属性值相等, 而在Y上的属性值不等, 则称“X函数确定Y”或“Y函数依赖于X”,记作X→Y。 举个例子:某个学校里的学号是唯一的,通过学号可以唯一的确定学生的姓名。那就称学号函数确定姓名,或者是姓名函数依赖于学号,记作学号→姓名 若X→Y,并且Y→X, 则记为X←→Y。 若Y不函数依赖于X, 则记为X↛↛↛Y。 X→Y,但Y⊈X则称X→Y是非平凡的函数依赖。 X→Y,但Y⊆X 则称X→Y是平凡的函数依赖。 在R(U)中,如果X→Y,并且对