关系演算分为两种：

    • 元组关系演算 tuple relational calculus，TRC：以元组为单位的关系演算。
    • 域关系演算 domain relational calculus，DRC：以属性为单位的关系演算。

    关系演算的式子称为公式 formula。
    关系演算的结果就是所有能使公式为真的结果的集合。
    可能返回无限个结果的公式是不安全 unsafe 的。