一个 DRC “公式”。 查询的结果为使得这个 DRC 为真的元组 X 到 X 的集合。域关系演算可以使用量词，同时使用与formula_2、或formula_3、非formula_4（以及蕴含算符）；尽管如此，域关系演算的表达能力同非递归的Datalog程序是一样的 ，也等价于关系代数。
例子.设 A, B, C 为 Rank, Name, ID而 D, E, F 为 Name, DeptName, ID找到星际飞船 USS Enterprise 的所有首领:在这个