Show simple item record

dc.contributor.authorAlberich, Ricardo
dc.contributor.authorFrancesc, Rosselló
dc.contributor.authorValiente Feruglio, Gabriel Alejandro
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2016-02-26T09:09:44Z
dc.date.available2016-02-26T09:09:44Z
dc.date.issued1997-02
dc.identifier.citationAlberich, R., Francesc, R., Valiente, G. "Single-pushout hypergraph rewriting through free completions". 1997.
dc.identifier.urihttp://hdl.handle.net/2117/83480
dc.description.abstractDifferent relationships between single-pushout rewriting of total and partial unary algebras are studied in this paper. In general, given a single-pushout transformation rule r of total algebras, a corresponding single-pushout transformation rule r' of partial algebras can be found such that single-pushout derivations by the application of r are epireflections of single-pushout derivations by the application of r' But, unlike the case of double-pushout derivations, in this case single-pushout transformation rules of partial algebras become "larger" than corresponding rules of total algebras. Therefore, ad hoc methods are developed to compute pushouts of partial homomorphisms through free completions which, in the case of hypergraphs, may lead to a slight improvement in efficiency of pattern-matching and to a moderate improvement in efficiency of single-pushout transformations.
dc.format.extent26 p.
dc.language.isoeng
dc.relation.ispartofseriesLSI-97-12-R
dc.subjectÀrees temàtiques de la UPC::Informàtica::Programació
dc.subject.otherAlgebraic graph transformation
dc.subject.otherSingle pushout approach
dc.subject.otherPartial algebras
dc.subject.otherHypergraphs free completions
dc.titleSingle-pushout hypergraph rewriting through free completions
dc.typeExternal research report
dc.rights.accessOpen Access
local.identifier.drac1890103
dc.description.versionPostprint (published version)
local.citation.authorAlberich, R.; Francesc, R.; Valiente, G.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record