Static Analysis of Graph Database Transformations
Summary: Studies static analysis of Datalog-style graph transformations using acyclic C2RPQs: type checking, equivalence, and target-schema elicitation under graph schemas. Shows EXPTIME-complete via reduction to C2RPQ containment modulo schemas, using cycle-reversing to map to C2RPQ satisfiability over a description-logic theory. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Iovka Boneva (University of Lille)
- 2. Benoît Groz (University of Paris Saclay)
- 3. Jan Hidders (Birkbeck, University of London)
- 4. Filip Murlak (University of Warsaw)
- 5. Sławek Staworko (RelationalAI; University of Lille)
BibTeX Citation
@inproceedings{boneva_pods23,
address = {New York, NY, USA},
series = {{PODS} '23},
title = {{Static Analysis of Graph Database Transformations}},
url = {https://dl.acm.org/doi/10.1145/3584372.3588654},
doi = {10.1145/3584372.3588654},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Boneva, Iovka and Groz, Benoît and Hidders, Jan and Murlak, Filip and Staworko, Sławek},
year = {2023}
}
Incoming Citations (Sorted by Pagerank)
Showing 5 of 5 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 7,205 | Containment of Graph Queries Modulo Schema | 2024 | PODS | 5.6731473e-05 |
| 9,187 | Transforming Property Graphs | 2024 | VLDB | 5.3058708e-05 |
| 11,014 | GalaxyWeaver: Autonomous Table-to-Graph Conversion and Schema Optimization with Large Language Models | 2025 | VLDB | 5.093636e-05 |
| 11,069 | Versatile Property Graph Transformations | 2025 | VLDB | 5.093636e-05 |
| 11,301 | DTGraph: Declarative Transformations of Property Graphs | 2024 | VLDB | 5.093636e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 4 of 4 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 877 | F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme | 1989 | SIGMOD | 0.00013464822 |
| 971 | ILOG: Declarative Creation and Manipulation of Object Identifiers | 1990 | VLDB | 0.00012875736 |
| 4,051 | XML Type Checking with Macro Tree Transducers | 2005 | PODS | 6.9364294e-05 |
| 4,555 | On the Equivalence of Database Restructurings Involving Object Identifiers | 1991 | PODS | 6.6344715e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 7,028 | Semantic Acyclicity on Graph Databases | 2013 | PODS |
| 2 | 747 | Querying Graph Databases | 2013 | PODS |
| 3 | 12,575 | Type Inference and Type Checking for Queries on Execution Traces | 2008 | VLDB |
| 4 | 9,483 | Local Transformations and Conjunctive-Query Equivalence | 2012 | PODS |
| 5 | 9,187 | Transforming Property Graphs | 2024 | VLDB |
| 6 | 4,281 | Locally Consistent Transformations and Query Answering in Data Exchange | 2004 | PODS |
| 7 | 11,525 | Data Path Queries over Embedded Graph Databases | 2022 | PODS |
| 8 | 7,214 | Schema Mappings for Data Graphs | 2017 | PODS |
| 9 | 12,165 | Does Query Evaluation Tractability Help Query Containment? | 2014 | PODS |
| 10 | 7,205 | Containment of Graph Queries Modulo Schema | 2024 | PODS |