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)

Paper ID: 13895
Venue: VLDB
Year: 2024
Pagerank: 5.093636e-05
Overall Rank: 11,336 | 22.23%
DOI: 10.14778/3704965.3704970

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

1. Luigi Bellomarini (Banca d'Italia)
2. Davide Benedetto (Prometheux; Roma Tre University)
3. Matteo Brandetti (Vienna University of Technology)
4. Emanuel Sallinger (University of Oxford; Vienna University of Technology)
5. Adriano Vlad (Prometheux; University of Oxford; Vienna University of Technology)

BibTeX Citation

@article{bellomarini_vldb24,
        title = {{The Vadalog Parallel System: Distributed Reasoning with Datalog+/-}},
        author = {Bellomarini, Luigi and Benedetto, Davide and Brandetti, Matteo and Sallinger, Emanuel and Vlad, Adriano},
        journal = {PVLDB},
        series = {{VLDB} '24},
        volume = {17},
        number = {13},
        pages = {4614--4626},
        doi = {10.14778/3704965.3704970},
        url = {https://doi.org/10.14778/3704965.3704970},
        year = {2024}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

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.

Rank	Cited Paper	Year	Venue	Pagerank
34	The Design Of Postgres	1986	SIGMOD	0.00049302774
40	Testing Implications Of Data Dependencies	1979	SIGMOD	0.00046918506
490	Design and Implementation of the LogicBlox System	2015	SIGMOD	0.000175757
616	Parallel Evaluation of Recursive Rule Queries	1986	PODS	0.00015712636
1,652	The iBench Integration Metadata Generator	2016	VLDB	0.00010109142
2,156	Quickstep: A Data Platform Based on the Scaling-Up Approach	2018	VLDB	9.0635624e-05
2,247	A Framework for the Parallel Processing of Datalog Queries	1990	SIGMOD	8.8713691e-05
2,481	A General Datalog-Based Framework for Tractable Query Answering over Ontologies	2009	PODS	8.5196153e-05
2,594	Big Data Analytics with Datalog Queries on Spark	2016	SIGMOD	8.3646367e-05
2,634	Benchmarking the Chase	2017	PODS	8.3210907e-05
2,804	Demonstration of the Myria Big Data Management Service	2014	SIGMOD	8.1075524e-05
3,076	A New Paradigm For Parallel And Distributed Rule-Processing	1990	SIGMOD	7.7817058e-05
4,121	Distributed Processing Of Logic Programs	1988	SIGMOD	6.8889854e-05
4,750	That's All Folks! LLUNATIC Goes Open Source	2014	VLDB	6.5247192e-05
4,920	The Vadalog System: Datalog-based Reasoning for Knowledge Graphs	2018	VLDB	6.4449498e-05
4,943	Datalog Unchained	2021	PODS	6.4332239e-05
5,783	Scaling-Up In-Memory Datalog Processing: Observations and Techniques	2019	VLDB	6.0899186e-05
5,850	Parallelizing Datalog Programs by Generalized Pivoting	1991	PODS	6.0664613e-05
7,035	Optimizing Recursive Queries with Program Synthesis	2022	SIGMOD	5.7216112e-05
8,858	Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines	2022	SIGMOD	5.3567857e-05
8,890	Live Programming in the LogicBlox System: A MetaLogiQL Approach	2015	VLDB	5.3508903e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	12,032	Logical Aspects of Massively Parallel and Distributed Systems	2016	PODS
2	9,959	Datalog with First-Class Facts	2025	VLDB
3	4,952	A Rule-based Language for Web Data Management	2011	PODS
4	8,858	Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines	2022	SIGMOD
5	2,247	A Framework for the Parallel Processing of Datalog Queries	1990	SIGMOD
6	3,076	A New Paradigm For Parallel And Distributed Rule-Processing	1990	SIGMOD
7	9,522	Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning	2022	VLDB
8	4,343	On Distributed Processibility of Datalog Queries by Decomposing Databases	1989	SIGMOD
9	9,863	The Space-Efficient Core of Vadalog	2019	PODS
10	4,920	The Vadalog System: Datalog-based Reasoning for Knowledge Graphs	2018	VLDB