设F是关系模式R的FD集，如果对F中每个非平凡的FDX—Y，都有X是R的超键，则（）

AR属于2NF，但不一定属于3NF

BR属于3NF，但不一定属于BCNF

CR属于BCNF，但不一定属于4NF

DR属于4NF