Graph Rewriting and Relabeling with PBPO+ (Extended Version)

10/16/2020
by   Roy Overbeek, et al.
0

We extend the powerful Pullback-Pushout (PBPO) approach for graph rewriting with strong matching. Our approach, called PBPO+, exerts more control over the embedding of the pattern in the host graph, which is important for a large class of graph rewrite systems. We show that PBPO+ is well-suited for rewriting labeled graphs and certain classes of attributed graphs. For this purpose, we employ a lattice structure on the label set and use graph morphisms that respect the partial order on the labels. We argue that our approach is both simpler and more general than related approaches in the literature. Finally, we demonstrate that PBPO+ allows for an elegant modeling of linear term rewriting systems, such as string rewriting systems. This modeling preserves termination as a global system property without having to restrict the shape of the graphs.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/02/2022

Graph Rewriting and Relabeling with PBPO+: A Unifying Theory for Quasitoposes

We extend the powerful Pullback-Pushout (PBPO) approach for graph rewrit...
research
06/25/2021

From Linear Term Rewriting to Graph Rewriting with Preservation of Termination

Encodings of term rewriting systems (TRSs) into graph rewriting systems ...
research
12/28/2018

Compact and Efficient Representation of General Graph Databases

In this paper, we propose a compact data structure to store labeled attr...
research
07/14/2023

Generalized Weighted Type Graphs for Termination of Graph Transformation Systems

We refine a technique by Bruggink et al. that uses weighted type graphs ...
research
06/13/2017

Asynchronous Graph Pattern Matching on Multiprocessor Systems

Pattern matching on large graphs is the foundation for a variety of appl...
research
09/19/2021

Property-based Entity Type Graph Matching

We are interested in dealing with the heterogeneity of Knowledge bases (...
research
04/26/2022

Exact Wirelength of Embedding 3-Ary n-Cubes into certain Cylinders and Trees

Graph embeddings play a significant role in the design and analysis of p...

Please sign up or login with your details

Forgot password? Click here to reset