关系模式S ＜a，d＞ ∈1NF，其D中任意一个非平凡函数依赖的决定因素都包含键，则S∈BCNF。