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...

ver descrição completa

Detalhes bibliográficos
Autores: Burmeister, P, Rosselló, F, Valiente Feruglio, Gabriel Alejandro|||0000-0001-9194-2703
Formato: informe técnico
Fecha de publicación:1996
País:España
Recursos: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
Acesso em linha:https://hdl.handle.net/2117/83155
Access Level:acceso abierto
Palavra-chave:Hypergraphs
Double-pushout
Graph transformation
Algebraic graph transformation
Àrees temàtiques de la UPC::Informàtica
id ES_fe2e9288a7f5d036a84dff7d9eb9f54d
oai_identifier_str oai:upcommons.upc.edu:2117/83155
network_acronym_str ES
network_name_str España
repository_id_str
spelling Double-pushout hypergraph rewriting through free completionsBurmeister, PRosselló, FValiente Feruglio, Gabriel Alejandro|||0000-0001-9194-2703HypergraphsDouble-pushoutGraph transformationAlgebraic graph transformationÀrees temàtiques de la UPC::InformàticaA 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.19961996-10-0120162016-02-19reporthttp://purl.org/coar/resource_type/c_93fcVoRhttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/reportapplication/postscripthttps://hdl.handle.net/2117/83155reponame:UPCommons. Portal del coneixement obert de la UPCinstname:Universitat Politècnica de Catalunya (UPC)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:upcommons.upc.edu:2117/831552026-05-27T15:37:01Z
dc.title.none.fl_str_mv Double-pushout hypergraph rewriting through free completions
title Double-pushout hypergraph rewriting through free completions
spellingShingle Double-pushout hypergraph rewriting through free completions
Burmeister, P
Hypergraphs
Double-pushout
Graph transformation
Algebraic graph transformation
Àrees temàtiques de la UPC::Informàtica
title_short Double-pushout hypergraph rewriting through free completions
title_full Double-pushout hypergraph rewriting through free completions
title_fullStr Double-pushout hypergraph rewriting through free completions
title_full_unstemmed Double-pushout hypergraph rewriting through free completions
title_sort Double-pushout hypergraph rewriting through free completions
dc.creator.none.fl_str_mv Burmeister, P
Rosselló, F
Valiente Feruglio, Gabriel Alejandro|||0000-0001-9194-2703
author Burmeister, P
author_facet Burmeister, P
Rosselló, F
Valiente Feruglio, Gabriel Alejandro|||0000-0001-9194-2703
author_role author
author2 Rosselló, F
Valiente Feruglio, Gabriel Alejandro|||0000-0001-9194-2703
author2_role author
author
dc.subject.none.fl_str_mv Hypergraphs
Double-pushout
Graph transformation
Algebraic graph transformation
Àrees temàtiques de la UPC::Informàtica
topic Hypergraphs
Double-pushout
Graph transformation
Algebraic graph transformation
Àrees temàtiques de la UPC::Informàtica
description 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.
publishDate 1996
dc.date.none.fl_str_mv 1996
1996-10-01
2016
2016-02-19
dc.type.none.fl_str_mv report
http://purl.org/coar/resource_type/c_93fc
VoR
http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.openaire.fl_str_mv info:eu-repo/semantics/report
format report
dc.identifier.none.fl_str_mv https://hdl.handle.net/2117/83155
url https://hdl.handle.net/2117/83155
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/postscript
dc.source.none.fl_str_mv reponame:UPCommons. Portal del coneixement obert de la UPC
instname:Universitat Politècnica de Catalunya (UPC)
instname_str Universitat Politècnica de Catalunya (UPC)
reponame_str UPCommons. Portal del coneixement obert de la UPC
collection UPCommons. Portal del coneixement obert de la UPC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869425661599285248
score 15,301629

Registos relacionados