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,899 | Containment of Graph Queries Modulo Schema | 2024 | PODS | 4.8878659e-05 |
| 9,038 | Transforming Property Graphs | 2024 | VLDB | 4.3997447e-05 |
| 10,791 | GalaxyWeaver: Autonomous Table-to-Graph Conversion and Schema Optimization with Large Language Models | 2025 | VLDB | 4.1905499e-05 |
| 10,849 | Versatile Property Graph Transformations | 2025 | VLDB | 4.1905499e-05 |
| 11,098 | DTGraph: Declarative Transformations of Property Graphs | 2024 | VLDB | 4.1905499e-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.00018413233 |
| 1,020 | ILOG: Declarative Creation and Manipulation of Object Identifiers | 1990 | VLDB | 0.00014614067 |
| 3,814 | XML Type Checking with Macro Tree Transducers | 2005 | PODS | 6.7315557e-05 |
| 4,729 | On the Equivalence of Database Restructurings Involving Object Identifiers | 1991 | PODS | 5.9614713e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,945 | Semantic Acyclicity on Graph Databases | 2013 | PODS | 4.8874695e-05 |
| 1,040 | Querying Graph Databases | 2013 | PODS | 0.00014483577 |
| 12,390 | Type Inference and Type Checking for Queries on Execution Traces | 2008 | VLDB | 4.1905499e-05 |
| 9,339 | Local Transformations and Conjunctive-Query Equivalence | 2012 | PODS | 4.351469e-05 |
| 9,038 | Transforming Property Graphs | 2024 | VLDB | 4.3997447e-05 |
| 4,707 | Locally Consistent Transformations and Query Answering in Data Exchange | 2004 | PODS | 5.9773898e-05 |
| 11,328 | Data Path Queries over Embedded Graph Databases | 2022 | PODS | 4.1905499e-05 |
| 7,435 | Schema Mappings for Data Graphs | 2017 | PODS | 4.7265981e-05 |
| 11,975 | Does Query Evaluation Tractability Help Query Containment? | 2014 | PODS | 4.1905499e-05 |
| 6,899 | Containment of Graph Queries Modulo Schema | 2024 | PODS | 4.8878659e-05 |