问题：
[填空题] 实体完整性规则是对（）的约束，参照完整性规则是对（）的约束。
问题：
[填空题] 关系代数的理论基础是（），关系演算的理论基础是（），关系逻辑的理论基础是（）。
问题：
[填空题] 关系代数的5个基本操作是（）（）（）（）（）。
问题：
[填空题] 安全运算是指不产生（）和（）的运算。
问题：
[填空题] 关系模式的操作异常问题往往是由（）引起的。
问题：
[填空题] 被函数依赖集F逻辑蕴涵的函数依赖的全体构成的集合称为（），用符号（）表示。
问题：
[填空题] 由属性集X函数决定的属性的集合称为（）,用符号（）表示。
问题：
[填空题] 从已知的FD集使用推理规则导出的FD在F+中"，这是推理规则的（）性。
问题：
[填空题] "不能从已知的FD集使用推理规则导出的FD不在F+中"，这是推理规则的（）性。
