ドメインリレーショナル計算

コンピュータサイエンスにおいて、ドメインリレーショナル計算（DRC ）は、ミシェル・ラクロワとアラン・ピロットによってリレーショナルデータモデル用の宣言型 データベースクエリ言語として導入された計算です。^[1]

DRC では、クエリの形式は次のようになります。

${\displaystyle \{\langle X_{1},X_{2},....,X_{n}\rangle \mid p(\langle X_{1},X_{2},....,X_ {n}\rangle )\}}$

ここで、各 X _{i は}ドメイン変数または定数のいずれかであり、DRC式を表します。クエリの結果は、DRC 式が真となる タプル X ₁から X _{nのセットです。}${\displaystyle p(\langle X_{1},X_{2},....,X_{n}\rangle )}$

この言語は、タプル計算と同じ演算子、つまり論理接続子 ∧ (and)、∨ (or)、¬ (not) を使用します。存在量指定子(∃) と全称量指定子(∀) を使用して変数をバインドできます。

その計算表現力はリレーショナル代数のそれと同等である。^[2]

企業関係において、(A, B, C) は (ランク、名前、ID) を意味します。

そして、(D, E, F)はDepartment関係における(名前、DeptName、ID)を意味するものとする。

宇宙船USSエンタープライズの艦長全員： $${\displaystyle \left\{\ {\left\langle A,B,C\right\rangle }\mid {\left\langle A,B,C\right\rangle \in \mathrm {エンタープライズ} \ \land \ A=\mathrm {'キャプテン'} }\ \right\}}$$

この例では、A、B、C は結果セットとテーブル Enterprise 内のセットの両方を表します。

恒星地図作成中のエンタープライズ号の乗組員の名前: $${\displaystyle {\begin{aligned}\{{\left\langle B\right\rangle }&\mid {\exists A,C\ \left\langle A,B,C\right\rangle \in \mathrm {Enterprise} }\\&\land \ {\exists D,E,F\ \left\langle D,E,F\right\rangle \in \mathrm {Departments} }\\&\land \ F=C\\&\land \ E=\mathrm {'Stellar\ Cartography'} \}\\\end{aligned}}}$$

この例では、名前のみを検索しており、名前は B です。条件 F = C は、エンタープライズの乗組員と恒星地図作成部門のメンバーの共通部分を説明する要件です。

前の例の別の表現は次のようになります。 $${\displaystyle {\begin{aligned}\{{\left\langle B\right\rangle }&\mid {\exists A,C\ \left\langle A,B,C\right\rangle \in \mathrm {Enterprise} }\\&\land \ {\exists D\ \left\langle D,\mathrm {'Stellar\ Cartography'} ,C\right\rangle \in \mathrm {Departments} }\}\\\end{aligned}}}$$

この例では、要求された F ドメインの値が式に直接配置され、C ドメイン変数は既にクルーの​​ ID を保持しているため、部門の存在のクエリで再利用されます。

どちらもSQLで記述すると次のようになります。

EnterpriseからB を選択し、 Department ON F = CおよびE = 'Stellar Cartography'を結合します。 
 
 
     
    

• 関係計算

• DES – ドメインリレーショナル計算やその他の形式言語を扱うための教育ツール
• WinRDBI – ドメインリレーショナル計算やその他の形式言語を扱うための教育ツール