Email Gateway (Aug 19 2022 at 13:21): Email Gateway (Aug 19 2022 at 13:21):From: Lawrence Paulson <lp15@cam.ac.uk>
Many thanks to Georg Struth and Tjark Weber for this contribution!
Title: Relation Algebra
Entry name: Relation_Algebra
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.
Larry Paulson
Last updated: Apr 18 2024 at 04:17 UTC