BCNF

【参考答案】

若关系模式R∈3NF，并且每一个主属性都不部分依赖，也不传递依赖于R的每个不包含它的候选码，则R∈BCNF。