关系代数的理论基础是（），关系演算的理论基础是（），关系逻辑的理论基础是（）。

填空题实体完整性规则是对（）的约束，参照完整性规则是对（）的约束。

填空题关系中不允许有重复元组的原因是（）

填空题关系中没有行序的原因是（）

单项选择题空白（五）处应选择（）

A.t［1］＝u［1］∧t［2］＝w［2］∧t［3］＝v［4］
B.t［1］＝v［1］∧t［2］＝u［2］∧t［3］＝u［4］
C.t［1］＝w［1］∧t［2］＝u［2］∧t［3］＝v［4］
D.t［1］＝u［1］∧t［2］＝v［2］∧t［3］＝v［4］

单项选择题空白（四）处应选择（）

A.s（u）∧sp（v）∧p（w）
B.SP（u）∧S（v）∧P（w）
C.P（u）∧SP（v）∧S（w）
D.S（u）∧P（v）∧SP（w）