Relation Algebra

Alasdair Armstrong, Simon Foster, Georg Struth and Tjark Weber

25 January 2014

Abstract

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

Depends On

Used by

Topics

Related Entries

Theories