设F是关系模式R的FD集，如果对F中每个非平凡的FDX—Y，都有X是R的超键，则()。