Abstract:Graph query languages such as Cypher are widely adopted to match and retrieve data in a graph representation, due to their ability to retrieve and transform information. Even though the most natural way to match and transform information is through rewriting rules, those are scarcely or partially adopted in graph query languages. Their inability to do so has a major impact on the subsequent way the information is structured, as it might then appear more natural to provide major constraints over the data representation to fix the way the information should be represented. On the other hand, recent works are starting to move towards the opposite direction, as the provision of a truly general semistructured model (GSM) allows to both represent all the available data formats (Network-Based, Relational, and Semistructured) as well as support a holistic query language expressing all major queries in such languages. In this paper, we show that the usage of GSM enables the definition of a general rewriting mechanism which can be expressed in current graph query languages only at the cost of adhering the query to the specificity of the underlying data representation. We formalise the proposed query language in terms declarative graph rewriting mechanisms described as a set of production rules L→R while both providing restriction to the characterisation of L, and extending it to support structural graph nesting operations, useful to aggregate similar information around an entry-point of interest. We further achieve our declarative requirements by determining the order in which the data should be rewritten and multiple rules should be applied while ensuring the application of such updates on the GSM database is persisted in subsequent rewriting calls. We discuss how GSM, by fully supporting index-based data representation, allows for a better physical model implementation leveraging the benefits of columnar database storage. Preliminary benchmarks show the scalability of this proposed implementation in comparison with state-of-the-art implementations.

Strategic programming on graph rewriting systems

PORGY: Strategy-Driven Interactive Transformation of Graphs

Higher-order port-graph rewriting

Row-Polymorphic Types for Strategic Rewriting

Rewriting Graphically with Symmetric Traced Monoidal Categories

Faithful (meta-)encodings of programmable strategies into term rewriting systems

A High Level Compiling Implementation of PARLOG Based on Extended Graph Rewriting.

Strategies in PRholog

Reversible Language Extensions and their Application in Debugging

Matching and Rewriting Rules in Object-Oriented Databases

Tables of Nuclear Cross Sections and Reaction Rates: an Addendum to the Paper "Astrophysical Reaction Rates from Statistical Model Calculations"

Metalevel transformation of strategies

Automating Reformulation of Essence Specifications via Graph Rewriting

A logical framework with a graph meta-language

Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite

Traced Types for Safe Strategic Rewriting

Confluence of algebraic rewriting systems

Practical Modelling with Bigraphs

A categorical foundation for structured reversible flowchart languages: Soundness and adequacy

Generic Strategies for Chemical Space Exploration

Localization for One Dimensional, Continuum, Bernoulli-Anderson Models