关系模式R R是符号化的元组语义 U为一组属性 F为属性组U上的一组数据依赖 函数依赖设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称为这个函数依赖的决定因素 X→Y,但Y⊈X则称X→Y是非平凡的函数依赖。 X→Y,但Y⊆X 则称X→Y是平凡的函数依赖。 在R(U)中,如果X→Y,并且对于X的任何一个真子集X’, 都有 X’ ↛ Y, 则称Y对