Domain relational calculus とは

コンピュータ科学では、ドメインリレーショナル計算(DRC)は、Michel LacroixとAlain Pirotteによってリレーショナルデータモデルの宣言型データベースクエリ言語として導入された計算です。
DRCでは、クエリの形式は次のとおりです。
{ X 1 , X 2 , . . . . , X n p ( X 1 , X 2 , . . . . , X n ) } {\displaystyle \{\langle X_{1},X_{2},….,X_{n}\rangle \mid p(\langle X_{1},X_{2},….,X_{n}\rangle )\}}
各Xiはドメイン変数または定数のいずれかであり、 p ( X 1 , X 2 , . . . . , X n ) {\displaystyle p(\langle X_{1},X_{2},….,X_{n}\rangle )} はDRC式を表す。クエリの結果は、DRC式を真にするタプルX1〜Xnのセットです。
この言語は、タプル計算、論理結合∧(and)、∨(or)、¬(not)と同じ演算子を使用します。存在量限定子(∃)と普遍的な定量化子(∀)は、変数を束縛するために使用できます。
その計算表現は、関係代数の計算表現と同等です。