Relation Algebra (Q7361756)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Relation_Algebra
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Relation Algebra |
AFP entry Relation_Algebra |
Statements
25 January 2014
0 references
Alasdair Armstrong
0 references
Simon Foster
0 references
Georg Struth
0 references
Tjark Weber
0 references
Relation Algebra (English)
0 references
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.
0 references
