参考答案

B 解析：在函数依赖的范畴内规范化程度有四级。第一范式(1NF)要求的条件是元组中的所有分量必须是不可分的数据项；第二范式(2NF)要求关系模式R∈1NF，且每一个非主属性完全函数依赖于码，即不允许非主属性对码的部分函数依赖；第三范式(3NF)要求关系模式R∈2NF，且每一个非主属性都不传递依赖于码。最高范式(BCNF)要求关系模式R∈3NF，且对于每一个非平凡的函数依赖X→Y，都有X包含码。对本题而言，因为关系模式R中若没有非主属性，因此R属于3NF，但并不能保证对于每一个非平凡的函数依赖X→y，都有X包含码。因此本题正确答案为选项B。