Relation Algebra

Alasdair Armstrong, Simon Foster 📧, Georg Struth 🌐 and Tjark Weber 🌐

January 25, 2014


Tarski's algebra of binary relations is formalised along the lines of the standard textbooks of Maddux and Schmidt and Ströhlein. This includes relation-algebraic concepts such as subidentities, vectors and a domain operation as well as various notions associated to functions. Relation algebras are also expanded by a reflexive transitive closure operation, and they are linked with Kleene algebras and models of binary relations and Boolean matrices.


BSD License


Session Relation_Algebra