[填空题] 解决数据冗余的主要方法是（）

"不能从已知的FD集使用推理规则导出的FD不在F+中"，这是推理规则的（）性。 从已知的FD集使用推理规则导出的FD在F+中"，这是推理规则的（）性。 由属性集X函数决定的属性的集合称为（）,用符号（）表示。 安全运算是指不产生（）和（）的运算。 关系代数的5个基本操作是（）（）（）（）（）。 解决数据冗余的主要方法是（）