2.5.1 元组关系演算语言ALPHA

2.5 关系演算
  关系演算是以数理逻辑中的谓词演算为基础的。按谓词变元的不同，关系演算可分为元组关系演算和域关系演算。本节先介绍元组关系演算，然后简单简绍域关系演算。