在计算机科学中，域关系演算(DRC)是Michel Lacroix和 Alain Pirotte为关系数据模型发明的的作为声明性数据库查询语言。

在 DRC 中，“查询”有如下形式:

这里的 X_i 要幺是一个域变量要幺是一个常量，而 p(<X1, X2, ...., Xn>) 指示一个 DRC “公式”。 查询的结果为使得这个 DRC 为真的元组 X_i 到 X_n 的集合。

域关系演算可以使用量词，同时使用与、或、非（以及蕴含算符）； 尽管如此，域关系演算的表达能力同非递归的Datalog进程是一样的 ，也等价于关系代数。

In computer science, domain relational calculus (DRC) is a calculus that was introduced by Michel Lacroix and Alain Pirotte as a declarative database query language for the relational data model.

In DRC, queries have the form:

where each X_i is either a domain variable or constant, and denotes a DRC formula. The result of the query is the set of tuples X₁ to X_n which makes the DRC formula true.