[填空题] 安全运算是指不产生（）和（）的运算。

由属性集X函数决定的属性的集合称为（）,用符号（）表示。 被函数依赖集F逻辑蕴涵的函数依赖的全体构成的集合称为（），用符号（）表示。 解决数据冗余的主要方法是（） 关系代数的理论基础是（），关系演算的理论基础是（），关系逻辑的理论基础是（）。 实体完整性规则是对（）的约束，参照完整性规则是对（）的约束。 安全运算是指不产生（）和（）的运算。