Abstract
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.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
