Logo
Benutzer: Gast  Login
Autor:
Winter, Michael 
Titel:
Relation Algebras are Matrix Algebras over a Suitable Basis 
Verlegende Stelle:
Universität der Bundeswehr München, Fakultät für Informatik 
Report-Nummer:
1998-05 
Jahr, Monat:
1998-11 
Abstract:
Given a heterogeneous relation algebra R, it is well-known that the algebra of matrices with coefficients from R is a relation algebra with (not necessarily finite) relational sums. In this paper we want to show that under slightly stronger assumptions the other implication is also true. Every relation algebra R with relational sums and subobjects is equivalent to an algebra of matrices over a suitable basis. This basis is the full subalgebra B induced by the integral objects of R. Integral obje...    »