資料庫管理系統 (DBMS) 使用稱為域關係演算 (DRC) 的非過程查詢語言。不同於關係代數，它提供了獲取資料的工具和程式，DRC 僅關注收集哪些資料，而不規定檢索技術。它提供了一種資料庫查詢的宣告性方法。語法 { | P(x1, x2, ..., xn) }此處，表示結果域變數 P(x1, x2, ..., xn) 表示等效於謂詞演算的條件。示例 1 此示例向我們展示瞭解決查詢，即如何查詢名稱... 閱讀更多