域關係演算

在計算機科學中 ， 域關係演算 ( DRC ) 是Michel Lacroix和 Alain Pirotte爲關係數據模型發明的的作爲聲明性數據庫查詢語言 。 在 DRC 中 ， “ 查詢 ” 有如下形式: 這裏的 Xi 要麼是一個域變量要麼是一個常量 ， 而 p ( < X1, X2, ...., Xn > ) 指示一個 DRC “ 公式 ” 。 查詢的結果爲使得這個 DRC 爲真的元組 Xi 到 Xn 的集合 。 域關係演算可以使用量詞 ， 同時使用與 、 或 、 非 （ 以及蘊含算符 ） ； 儘管如此 ， 域關係演算的表達能力同非遞歸的Datalog程序是一樣的 ， 也等價於關係代數 。