给出的原因，关系代数有严格弱于没有函数符号的一阶谓词演算的表达能力。关系代数实际上对应于一阶逻辑的子集，即没有递归和否定的Horn子句。
集合运算.尽管六个基本运算中有三个取自集合论，在它们的关系代数对应者中存在额外的约束：对于并集和差集，涉及到的两个关系必须是“并集相容”的—就是说，两个关系必须有同样的属性集合。因为交集可以用差集来定义，交集所涉及的两个关系也必须是并集相容的。笛卡尔积定义得与集合论有所不同，这里的元组是平坦的、无子元组的。就是说，不同于集合论，那里的"n"元