DBScholar

Back to papers

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)

Paper ID
hf0a0a038191d82a9
Venue
PODS
Year
2023
Pagerank
5.2999883e-05
Overall Rank
8,625 | 42.02%
DOI
10.1145/3584372.3588654

Incoming Non-self Citations Over Time

Authors

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.

Previous Page 1 / 1 Next

Semantically Similar Papers