域關係演算

在計算機科學中，域關係演算(DRC)是Michel Lacroix和Alain Pirotte為關係數據模型發明的的作為聲明性資料庫查詢語言。

基本介紹

• 中文名：域關係演算
• 外文名：Domain relational calculus
• 含義：一元組變數的分量
• 代表：QBE語言
• 特點：關係演算中的另一種形式

簡介

在計算機科學中，域關係演算(DRC)是Michel Lacroix和Alain Pirotte為關係數據模型發明的的作為聲明性資料庫查詢語言。

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

這裡的 X_i要么是一個域變數要么是一個常量，而 p(<X1, X2, ...., Xn>) 指示一個 DRC “公式”。 查詢的結果為使得這個 DRC 為真的元組 X_i到 X_n的集合。

域關係演算可以使用量詞，同時使用與、或、非（以及蘊含算符）； 儘管如此，域關係演算的表達能力同非遞歸的Datalog程式是一樣的，也等價於關係代數。

例子

設 A, B, C 為 Rank, Name, ID 而 D, E, F 為 Name, DeptName, ID

找到星際飛船USS Enterprise的所有首領:

• {<A, B, C> | <A, B, C> ∈ Enterprise ∧ A = "Captain" }

在這個例子中，A, B, C 同時指示結果集合和在表 Enterprise 中的一個集合。

找到在 Stellar Cartography 部門工作的 Enterprise 船員的名字:

• {<B> | ∃ A, C ( <A, B, C> ∈ Enterprise ∧ ∃ D, E, F(<D, E, F> ∈ Departments ∧ F = C ∧ E = "Stellar Cartography" ))}

在這個例子中，我們只查找名字，所以 <B> 指示列名。F = C 是個要求，因為我們需要找到 Enterprise 船員並且他們在 Stellar Cartography 部門工作。

前面例子的另一個可替代表示為:

• {<B> | ∃ A, C (<A, B, C> ∈ Enterprise ∧ ∃ D (<D, "Stellar Cartography", C> ∈ Departments))}

在這個例子中，要求的 F 域的值被直接的放置在公式中，而 C 域變數重新用於部門存在性的查詢中，因為它已經持有了一個船員的 id。