Graph Rewriting and Relabeling with PBPO+ (Extended Version)

by   Roy Overbeek, et al.

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.



There are no comments yet.


page 1

page 2

page 3

page 4


From Linear Term Rewriting to Graph Rewriting with Preservation of Termination

Encodings of term rewriting systems (TRSs) into graph rewriting systems ...

Compact and Efficient Representation of General Graph Databases

In this paper, we propose a compact data structure to store labeled attr...

The Labeled Direct Product Optimally Solves String Problems on Graphs

Suffix trees are an important data structure at the core of optimal solu...

Efficient Recognition of Graph Languages

Graph transformation is the rule-based modification of graphs, and is a ...

Asynchronous Graph Pattern Matching on Multiprocessor Systems

Pattern matching on large graphs is the foundation for a variety of appl...

Efficient Graph Rewriting

Graph transformation is the rule-based modification of graphs, and is a ...

Graph fractal dimension and structure of fractal networks: a combinatorial perspective

In this paper we study self-similar and fractal networks from the combin...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.