[填空题] 关系代数的理论基础是（），关系演算的理论基础是（），关系逻辑的理论基础是（）。

解决数据冗余的主要方法是（） 关系模式的操作异常问题往往是由（）引起的。 安全运算是指不产生（）和（）的运算。 关系中不允许有重复元组的原因是（） 关系中没有行序的原因是（） 关系代数的理论基础是（），关系演算的理论基础是（），关系逻辑的理论基础是（）。