在计算机科学中，域关系演算(DRC)是Michel Lacroix和 Alain Pirotte为关系数据模型发明的的作为声明性数据库查询语言。在 DRC 中，“查询”有如下形式:这里的 X 要么是一个域变量要么是一个常量，而 p(<X1, X2, ..., Xn>) 指示一个 DRC “公式”。 查询的结果为使得这个 DRC 为真的元组 X 到 X 的集合。域关系演算可以使用量词，同时使用与formula_2、或formula_3、非formula_4（以及蕴含算符）；尽管如此，域关系演算的