设F是关系模型R的FD集，如果对F中每个非平凡函数依赖X→Y，都有X是R的超键，则R属于