Relational matching for graphical calculi of relations

In this paper we extend an earlier approach to graphical relation calculi towards relational matching, thus allowing proofs with fewer auxiliary steps and concentrating more on the essential proof ideas. For facilitating the formal argument we introduce hierarchical relational diagrams as an intermediate structure and employ more of the algebraic graph rewriting repertoire for defining relational rewriting of these hierarchical diagrams.