取了ISBL的想法。Rel是Tutorial D的一个实现。即使SQL的查询语言也松散的基于了关系代数，尽管SQL中的操作数（表）不完全是关系，很多有用的关于关系代数的理论在SQL对应者中不成立。因为关系被解释为某个谓词的外延，关系代数的每个运算在谓词演算中都有对应者。例如，自然连接是逻辑AND（formula_1）的对应者。如果关系"R"和"S"分别表示谓词"p1"和"p2"的外延，则"R"和"S"的自然连接（"R" formula_2 "S"）是表示谓词"p1" formula_1 "p2"的外延的