A在R的某一关系中，若两个元组的X值相等，则Y值也相等B在R的每一关系中，若两个元组的X值相等，则Y值也相等C在R的某一关系中，Y值应与X值相等D在R的每一关系中，Y值应与X值相等