Loading AI tools
来自维基百科,自由的百科全书
在計算機科學中,域關係演算(DRC)是Michel Lacroix和Alain Pirotte為關係數據模型發明的的作為聲明性資料庫查詢語言[1]。
在 DRC 中,「查詢」有如下形式:
這裡的 Xi 要麼是一個域變量要麼是一個常量,而 p(<X1, X2, ...., Xn>) 指示一個 DRC 「公式」。 查詢的結果為使得這個 DRC 為真的元組 Xi 到 Xn 的集合。
域關係演算可以使用量詞,同時使用與、或、非(以及蘊含算符); 儘管如此,域關係演算的表達能力同非遞歸的Datalog程序是一樣的[2] ,也等價於關係代數[3]。
設 A, B, C 為 Rank, Name, ID 而 D, E, F 為 Name, DeptName, ID
找到星際飛船 USS Enterprise 的所有首領:
在這個例子中,A, B, C 同時指示結果集合和在表 Enterprise 中的一個集合。
找到在 Stellar Cartography 部門工作的 Enterprise 船員的名字:
在這個例子中,我們只查找名字,所以 <B> 指示列名。F = C 是個要求,因為我們需要找到 Enterprise 船員並且他們在 Stellar Cartography 部門工作。
前面例子的另一個可替代表示為:
在這個例子中,要求的 F 域的值被直接的放置在公式中,而 C 域變量重新用於部門存在性的查詢中,因為它已經持有了一個船員的 id。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.