域关系演算 在计算机科学中域关系演算DRC是Michel Lacroix和Alain Pirotte为关系数据模型发明的的作为声明性数据库查询语言 在 DRC 中查询有如下形式  X   X        X n   p   X   X        X n   displaystyle XXXnpXXXn 这里的 Xi 要么是一个域变量要么是一个常量而 pX X  Xn 指示一个 DRC 公式 查询的结果为使得这个 DRC 为真的元组 Xi 到 Xn 的集合 域关系演算可以使用量词同时使用与  displaystyle wedge  或  displaystyle vee  非  displaystyle neg  以及蕴含算符 尽管如此域关系演算的表达能力同非递归的Datalog程序是一样的 也等价于关系代数