标签：如果关系模式S是第三范式，它的任何一个属性都既不部分也不传递依赖于S的任何候选键，则称S∈BCNF