设F是关系模式R的FD集，如果对F中每个非平凡的FDX→Y，都有X是R的（），则R∈BCNF。