Relation algebras, matrices, and multi-valued decision diagrams
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
| Hi-index | 0.00 |
We present relation-algebraic specifications of injective embedding mappings and splittings of partial equivalence relations and show in each case that the axioms characterize these constructions up to isomorphism, i.e., in an essentially unique way. Based on the specifications, we develop a relational program for computing splitting and demonstrate some applications. The examples originate from a relation-algebraic treatment of processes, graph theory, and the decomposition of specific relations.