、函数依赖(P172) 定义61设R(U是一个属性集U上的关系模式, X和Y是∪的子集。若对于R(U)的任意一个可能的 关系r,「中不可能存在两个元组在X上的属性值相 等,而在Y上的属性值不等,则称“X函数确定Y 或“Y函数依赖于Ⅹ”,记作Ⅹ→Y。一、函数依赖（P172） 定义6.1 设R(U)是一个属性集U上的关系模式， X和Y是U的子集。若对于R(U)的任意一个可能的 关系r，r中不可能存在两个元组在X上的属性值相 等， 而在Y上的属性值不等， 则称 “X函数确定Y” 或 “Y函数依赖于X”，记作X→Y