图3-3-1：关系代数与关系演算的比较
��元组关系演算和关系代数等价性的形式化定义是由codd在1972年给出的。
��关系演算是以数理逻辑中的谓词演算为基础的。按谓词变元的不同，关系演算可分为元组关系演算和域关系演算。