逻辑的子集，即没有递归和否定的Horn子句。
集合运算.尽管六个基本运算中有三个取自集合论，在它们的关系代数对应者中存在额外的约束：对于并集和差集，涉及到的两个关系必须是“并集相容”的—就是说，两个关系必须有同样的属性集合。因为交集可以用差集来定义，交集所涉及的两个关系也必须是并集相容的。笛卡尔积定义得与集合论有所不同，这里的元组是平坦的、无子元组的。就是说，不同于集合论，那里的"n"元组和"m"元组的笛卡尔积是2元组，而关系代数中它们的笛卡尔积把这个2元组展平为"n"+"m"