元組關係演算

元組演算是埃德加 · 科德導入的演算 ， 是關係模型的一部分 ， 發展目的是提供宣告式的數據庫查詢語言 。 數據庫查詢語言和後來的SQL中的一些靈感是由元組演算而來 。 SQL和原來的關係模型和演算已有許多不同 ， 後來成爲實際上的數據庫查詢語言標準 ， 幾乎所有的關係數據庫管理系統中都會用到SQL或是其變體 。 後來Lacroix和Pirotte提出了接近於一階邏輯的域演算 ， 並證明了這兩種演算和關係代數在表達能力上是等價的 。 若關係數據庫的查詢語言可以表達一種以上上述的查詢方式 ， 則可稱爲具有 「 關係完備性 」 。 域關係演算與元組關係演算最大的區別是域關係演算中的變量表示數據庫的表屬性 ， 而元組關係演算的變量表示元組 ， 即數據庫的一行 。