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: h0b8698c559a6ece0
Venue: VLDB
Year: 2024
Pagerank: 4.9793485e-05
Overall Rank: 11,654 | 21.65%
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.00049142315
41	Testing Implications Of Data Dependencies	1979	SIGMOD	0.00045899672
466	Design and Implementation of the LogicBlox System	2015	SIGMOD	0.00017773029
633	Parallel Evaluation of Recursive Rule Queries	1986	PODS	0.00015380574
1,681	The iBench Integration Metadata Generator	2016	VLDB	9.8851118e-05
2,137	Quickstep: A Data Platform Based on the Scaling-Up Approach	2018	VLDB	8.9777553e-05
2,293	A Framework for the Parallel Processing of Datalog Queries	1990	SIGMOD	8.6840245e-05
2,537	A General Datalog-Based Framework for Tractable Query Answering over Ontologies	2009	PODS	8.328546e-05
2,635	Big Data Analytics with Datalog Queries on Spark	2016	SIGMOD	8.1965216e-05
2,674	Benchmarking the Chase	2017	PODS	8.1480823e-05
2,796	Demonstration of the Myria Big Data Management Service	2014	SIGMOD	7.9971623e-05
3,136	A New Paradigm For Parallel And Distributed Rule-Processing	1990	SIGMOD	7.6080212e-05
4,205	Distributed Processing Of Logic Programs	1988	SIGMOD	6.735459e-05
4,861	That's All Folks! LLUNATIC Goes Open Source	2014	VLDB	6.3787474e-05
5,035	The Vadalog System: Datalog-based Reasoning for Knowledge Graphs	2018	VLDB	6.3038469e-05
5,067	Datalog Unchained	2021	PODS	6.2898972e-05
5,867	Scaling-Up In-Memory Datalog Processing: Observations and Techniques	2019	VLDB	5.9649467e-05
5,962	Parallelizing Datalog Programs by Generalized Pivoting	1991	PODS	5.9331349e-05
7,139	Optimizing Recursive Queries with Program Synthesis	2022	SIGMOD	5.6006128e-05
9,018	Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines	2022	SIGMOD	5.2365938e-05
9,048	Live Programming in the LogicBlox System: A MetaLogiQL Approach	2015	VLDB	5.2308307e-05

Semantically Similar Papers

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