【名词&注释】
理论基础(theoretical basis)、集合论(set theory)、关系逻辑、谓词演算(predicate calculus)
[填空题]关系代数的理论基础是(),关系演算的理论基础是(),关系逻辑的理论基础是()。