The Vadalog Parallel System: Distributed Reasoning with Datalog+/-
Summary: Vadalog Parallel: first distributed Datalog+/- reasoner implementing a distributed algorithm for Warded Datalog+/-, tackling existential quantification and recursion across processors. Introduces homomorphic decomposability to ensure duplicate-free, terminating distributed reasoning and demonstrates performance via experiments. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
Incoming Citations (Sorted by Pagerank)
Showing 0 of 0 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 21 of 21 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
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 11,839 | Logical Aspects of Massively Parallel and Distributed Systems | 2016 | PODS | 4.1905499e-05 |
| 9,812 | Datalog with First-Class Facts | 2025 | VLDB | 4.2742278e-05 |
| 4,931 | A Rule-based Language for Web Data Management | 2011 | PODS | 5.8171097e-05 |
| 8,884 | Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines | 2022 | SIGMOD | 4.4243024e-05 |
| 2,087 | A Framework for the Parallel Processing of Datalog Queries | 1990 | SIGMOD | 9.5715836e-05 |
| 2,227 | A New Paradigm For Parallel And Distributed Rule-Processing | 1990 | SIGMOD | 9.2521507e-05 |
| 9,385 | Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning | 2022 | VLDB | 4.342951e-05 |
| 3,860 | On Distributed Processibility of Datalog Queries by Decomposing Databases | 1989 | SIGMOD | 6.6864693e-05 |
| 9,737 | The Space-Efficient Core of Vadalog | 2019 | PODS | 4.2895392e-05 |
| 5,166 | The Vadalog System: Datalog-based Reasoning for Knowledge Graphs | 2018 | VLDB | 5.6475375e-05 |