消除了部分函数依赖的1NF的关系模式，必定是（）。