Static Analysis of Graph Database Transformations

Iovka Boneva, Benoit Groz, Jan Hidders +2

We investigate graph transformations, defined using Datalog-like rules based on acyclic conjunctive two-way regular path queries (acyclic C2RPQs), and we study two fundamental stat…