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