Double-pushout hypergraph rewriting through free completions
A relationship between double-pushout rewriting of total and partial hypergraphs is established by means of free completions. Given a double-pushout transformation rule P of total hypergraphs, a corresponding double-pushout transformation rule P' of partial subhypergraphs can be found a priori...
| Autores: | , , |
|---|---|
| Tipo de recurso: | informe técnico |
| Fecha de publicación: | 1996 |
| País: | España |
| Institución: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglés |
| OAI Identifier: | oai:upcommons.upc.edu:2117/83155 |
| Acceso en línea: | https://hdl.handle.net/2117/83155 |
| Access Level: | acceso abierto |
| Palabra clave: | Hypergraphs Double-pushout Graph transformation Algebraic graph transformation Àrees temàtiques de la UPC::Informàtica |
| Sumario: | A relationship between double-pushout rewriting of total and partial hypergraphs is established by means of free completions. Given a double-pushout transformation rule P of total hypergraphs, a corresponding double-pushout transformation rule P' of partial subhypergraphs can be found a priori such that double-pushout derivations by the application of P are free completions of double-pushout derivations by the application of P'. It allows a more efficient double-pushout rewriting of total hypergraphs by rewriting suitable partial hypergraphs and freely completing the resulting partial hypergraphs. The main results in this paper are actually established in the more general setting of hierarchical unary algebras. |
|---|