若关系R符合3NF，则并非必然符合BCNF - 数据库理论

考虑关系模式SNC（SNO，SN，CNO，SCORE），其中SNO为学号，SN为学生姓名（假设无重名），CNO为课程号，SCORE为成绩。存在如下函数依赖关系：（SNO，CNO）→SCORE，（SN，CNO）→SCORE。虽然SNC符合3NF，但由于SNO或SN决定因子不包含候选键，导致存在主属性对键的部分函数依赖：（SNO，CNO）→SN，（SN，CNO）→SNO，故SNC不符合BCNF。这种部分函数依赖关系导致SNC存在数据冗余，例如每个学生姓名的存储次数等于其所选课程数，可能引发修改异常。为提高范式等级，可通过投影分解进一步优化SNC。