元组关系演算

元组演算是埃德加·科德导入的演算，是关系模型的一部分，发展目的是提供宣告式的数据库查询语言。数据库查询语言QUEL和后来的SQL中的一些灵感是由元组演算而来。SQL和原来的关系模型和演算已有许多不同，后来成为实际上的数据库查询语言标准，几乎所有的关系数据库管理系统中都会用到SQL或是其变体。后来Lacroix和Pirotte提出了接近于一阶逻辑的域演算，并证明了这两种演算和关系代数在表达能力上是等价的。若关系数据库的查询语言可以表达一种以上上述的查询方式，则可称为具有“关系完备性”。