函数依赖 函数依赖   设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。 函数依赖是语…