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
- 2. Benoît Groz
- 3. Jan Hidders
- 4. Filip Murlak
- 5. Sławek Staworko
Incoming Citations (Sorted by Pagerank)
Showing 5 of 5 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,896 | Containment of Graph Queries Modulo Schema | 2024 | PODS | 4.8925595e-05 |
| 9,037 | Transforming Property Graphs | 2024 | VLDB | 4.4039656e-05 |
| 10,785 | GalaxyWeaver: Autonomous Table-to-Graph Conversion and Schema Optimization with Large Language Models | 2025 | VLDB | 4.1945683e-05 |
| 10,845 | Versatile Property Graph Transformations | 2025 | VLDB | 4.1945683e-05 |
| 11,095 | DTGraph: Declarative Transformations of Property Graphs | 2024 | VLDB | 4.1945683e-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 |
|---|---|---|---|---|
| 669 | F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme | 1989 | SIGMOD | 0.00018430212 |
| 1,018 | ILOG: Declarative Creation and Manipulation of Object Identifiers | 1990 | VLDB | 0.00014627963 |
| 3,811 | XML Type Checking with Macro Tree Transducers | 2005 | PODS | 6.7380404e-05 |
| 4,730 | On the Equivalence of Database Restructurings Involving Object Identifiers | 1991 | PODS | 5.967211e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,948 | Semantic Acyclicity on Graph Databases | 2013 | PODS | 4.8898337e-05 |
| 1,037 | Querying Graph Databases | 2013 | PODS | 0.00014502493 |
| 12,382 | Type Inference and Type Checking for Queries on Execution Traces | 2008 | VLDB | 4.1945683e-05 |
| 9,334 | Local Transformations and Conjunctive-Query Equivalence | 2012 | PODS | 4.3556432e-05 |
| 9,037 | Transforming Property Graphs | 2024 | VLDB | 4.4039656e-05 |
| 4,705 | Locally Consistent Transformations and Query Answering in Data Exchange | 2004 | PODS | 5.9830709e-05 |
| 11,326 | Data Path Queries over Embedded Graph Databases | 2022 | PODS | 4.1945683e-05 |
| 7,436 | Schema Mappings for Data Graphs | 2017 | PODS | 4.7311358e-05 |
| 11,967 | Does Query Evaluation Tractability Help Query Containment? | 2014 | PODS | 4.1945683e-05 |
| 6,896 | Containment of Graph Queries Modulo Schema | 2024 | PODS | 4.8925595e-05 |