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
1905
Venue
PODS
Year
2023
Pagerank
5.4216353e-05
Overall Rank
8,459 | 41.97%
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,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.

Previous Page 1 / 1 Next

Semantically Similar Papers