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,347 | Containment of Graph Queries Modulo Schema | 2024 | PODS | 5.5458571e-05 |
| 9,366 | Transforming Property Graphs | 2024 | VLDB | 5.1868213e-05 |
| 11,380 | GalaxyWeaver: Autonomous Table-to-Graph Conversion and Schema Optimization with Large Language Models | 2025 | VLDB | 4.9793485e-05 |
| 11,428 | Versatile Property Graph Transformations | 2025 | VLDB | 4.9793485e-05 |
| 11,620 | DTGraph: Declarative Transformations of Property Graphs | 2024 | VLDB | 4.9793485e-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 |
|---|---|---|---|---|
| 904 | F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme | 1989 | SIGMOD | 0.00013171457 |
| 1,003 | ILOG: Declarative Creation and Manipulation of Object Identifiers | 1990 | VLDB | 0.00012597028 |
| 4,145 | XML Type Checking with Macro Tree Transducers | 2005 | PODS | 6.7807946e-05 |
| 4,646 | On the Equivalence of Database Restructurings Involving Object Identifiers | 1991 | PODS | 6.4877004e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 7,140 | Semantic Acyclicity on Graph Databases | 2013 | PODS |
| 2 | 719 | Querying Graph Databases | 2013 | PODS |
| 3 | 12,865 | Type Inference and Type Checking for Queries on Execution Traces | 2008 | VLDB |
| 4 | 9,664 | Local Transformations and Conjunctive-Query Equivalence | 2012 | PODS |
| 5 | 9,366 | Transforming Property Graphs | 2024 | VLDB |
| 6 | 4,367 | Locally Consistent Transformations and Query Answering in Data Exchange | 2004 | PODS |
| 7 | 11,834 | Data Path Queries over Embedded Graph Databases | 2022 | PODS |
| 8 | 7,359 | Schema Mappings for Data Graphs | 2017 | PODS |
| 9 | 12,456 | Does Query Evaluation Tractability Help Query Containment? | 2014 | PODS |
| 10 | 7,347 | Containment of Graph Queries Modulo Schema | 2024 | PODS |