The Space-Efficient Core of Vadalog
Summary: Pinpoints piece-wise linear recursion (each TGD body has ≤1 mutually-recursive atom) as Vadalog's space-efficient core, capturing common industrial patterns and enabling tractable, space-efficient reasoning when combined with wardedness. Proves piece-wise linear alone is undecidable and characterizes expressiveness trade-offs of (piece-wise linear) warded TGDs versus related Datalog fragments. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Gerald Berger
- 2. Georg Gottlob
- 3. Andreas Pieris
- 4. Emanuel Sallinger
Incoming Citations (Sorted by Pagerank)
Showing 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 5,705 | Datalog Unchained | 2021 | PODS | 5.3621239e-05 |
| 13,192 | KG-Roar: Interactive Datalog-based Reasoning on Virtual Knowledge Graphs | 2023 | VLDB | - |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 9 of 9 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 38 | Testing Implications Of Data Dependencies | 1979 | SIGMOD | 0.00075110004 |
| 144 | Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (Extended Abstract) | 1982 | PODS | 0.00041462501 |
| 788 | Efficiently Answering Reachability Queries on Very Large Directed Graphs | 2008 | SIGMOD | 0.00016650034 |
| 1,185 | Data Independent Recursion in Deductive Databases | 1986 | PODS | 0.00013445831 |
| 1,883 | The iBench Integration Metadata Generator | 2016 | VLDB | 0.00010215862 |
| 2,206 | A Decidable Class of Bounded Recursions | 1987 | PODS | 9.2910236e-05 |
| 3,004 | Benchmarking the Chase | 2017 | PODS | 7.7314538e-05 |
| 5,165 | The Vadalog System: Datalog-based Reasoning for Knowledge Graphs | 2018 | VLDB | 5.6529675e-05 |
| 9,739 | Expressive Languages for Querying the Semantic Web | 2014 | PODS | 4.2936538e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 256 | GraphLog: a Visual Formalism for Real Life Recursion | 1990 | PODS | 0.00030259041 |
| 5,628 | Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries | 1990 | VLDB | 5.4030815e-05 |
| 8,125 | The Complexity of Why-Provenance for Datalog Queries | 2024 | PODS | 4.5797807e-05 |
| 10,284 | FlowLog: Efficient and Extensible Datalog via Incrementality | 2026 | VLDB | 4.1945683e-05 |
| 2,907 | Convergence of Datalog over (Pre-) Semirings | 2022 | PODS | 7.933806e-05 |
| 9,814 | Optimizing Nested Recursive Queries | 2024 | SIGMOD | 4.2783272e-05 |
| 12,904 | Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases | 1991 | PODS | 4.1945683e-05 |
| 9,377 | Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning | 2022 | VLDB | 4.347117e-05 |
| 11,130 | The Vadalog Parallel System: Distributed Reasoning with Datalog+/- | 2024 | VLDB | 4.1945683e-05 |
| 5,165 | The Vadalog System: Datalog-based Reasoning for Knowledge Graphs | 2018 | VLDB | 5.6529675e-05 |