传递依赖与范式的问题

在关系模式R(A，B，C)中，有函数依剌集F={(A,B)→C,(B,C)→A},则R最高达到( )
A.INF B.2NF C.3NF D.BCNF
选哪个答案,为什么.
答：D    因为AB，BC都是候选键，满足BCNF要求

 

传递依赖的定义为传递依赖的完整定义：设有关系模式R（U），X、Y、Z是属性或属性组，如果有X→Y，Y→Z，而且Y→X不成立、Z不是Y的子集、Z不是X的子集.
为什么要Y→X这个条件来约束定义.

答：否则X，Y一一对应，X->Z就不需要传递了