In this paper we want to further investigate the usage of matrices as a representation of relations within arbitrary heterogeneous relation algebras. First, we want to show that splittings do exist in matrix algebras assuming that the underlying algebra of the coefficients provides this operation. Second, we want to outline an implementation of matrix algebras using reduced ordered multi-valued decision diagrams. This implementation combines the efficiency of operations based on those data structures with the general matrix approach to arbitrary relation algebras. © 2012 Springer-Verlag.
CITATION STYLE
Atampore, F., & Winter, M. (2012). Relation algebras, matrices, and multi-valued decision diagrams. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7560 LNCS, pp. 248–263). https://doi.org/10.1007/978-3-642-33314-9_17
Mendeley helps you to discover research relevant for your work.