關係代數_(抽象代數)

這裏的關係代數不同於 Edgar F. Codd 在1970年爲關係數據庫開發的關係代數 。 在數學中 ， 關係代數是支持叫做逆反 ( converse ) 的對合一元運算的剩餘布爾代數 。 激發關係代數的例子是在集合 X 上的所有二元關係的代數 ， 帶有 R · S 被解釋爲平常的二元關係複合 。 關係代數的早期形式形成於十九世紀德 · 摩根 、 皮爾士和 Ernst Schröder 的工作 。 它今日的純等式形式是阿爾弗雷德 · 塔斯基和他的學生在 1940 年代開發的 。