设R(U)是属性集U上的关系模式。X，Y是EU的子集。若对于R(U)的任意一个可能的关系 R，R中不可能存在两个元组在X上的属性值相等，而在Y上的属性值不等，则称( )。

A．Y对X完全函数依赖

B．R属于2NF

C．X为U的候选码

D．Y函数依赖于X