标签：关系模式S∈NF，其D中任意一个非平凡函数依赖的决定因素都包含键，则S∈BCNF