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: 13707
Venue: VLDB
Year: 2024
Pagerank: 4.1945683e-05
Overall Rank: 11,130 | 22.58%
DOI: 10.14778/3704965.3704970

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

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
38	Testing Implications Of Data Dependencies	1979	SIGMOD	0.00075110004
44	The Design Of Postgres	1986	SIGMOD	0.00071838587
537	Parallel Evaluation of Recursive Rule Queries	1986	PODS	0.0002068591
613	Design and Implementation of the LogicBlox System	2015	SIGMOD	0.00019181325
1,883	The iBench Integration Metadata Generator	2016	VLDB	0.00010215862
2,079	A Framework for the Parallel Processing of Datalog Queries	1990	SIGMOD	9.5979932e-05
2,221	A New Paradigm For Parallel And Distributed Rule-Processing	1990	SIGMOD	9.2614541e-05
2,720	A General Datalog-Based Framework for Tractable Query Answering over Ontologies	2009	PODS	8.2367715e-05
2,772	Quickstep: A Data Platform Based on the Scaling-Up Approach	2018	VLDB	8.1401661e-05
3,004	Benchmarking the Chase	2017	PODS	7.7314538e-05
3,200	Big Data Analytics with Datalog Queries on Spark	2016	SIGMOD	7.3912411e-05
3,377	Demonstration of the Myria Big Data Management Service	2014	SIGMOD	7.1624478e-05
4,370	Distributed Processing Of Logic Programs	1988	SIGMOD	6.2486359e-05
5,165	The Vadalog System: Datalog-based Reasoning for Knowledge Graphs	2018	VLDB	5.6529675e-05
5,382	That's All Folks! LLUNATIC Goes Open Source	2014	VLDB	5.5397633e-05
5,705	Datalog Unchained	2021	PODS	5.3621239e-05
5,925	Parallelizing Datalog Programs by Generalized Pivoting	1991	PODS	5.2717743e-05
6,276	Scaling-Up In-Memory Datalog Processing: Observations and Techniques	2019	VLDB	5.1314426e-05
7,342	Optimizing Recursive Queries with Program Synthesis	2022	SIGMOD	4.7576316e-05
8,880	Live Programming in the LogicBlox System: A MetaLogiQL Approach	2015	VLDB	4.4301403e-05
8,883	Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines	2022	SIGMOD	4.4285471e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
11,831	Logical Aspects of Massively Parallel and Distributed Systems	2016	PODS	4.1945683e-05
9,813	Datalog with First-Class Facts	2025	VLDB	4.2783272e-05
4,927	A Rule-based Language for Web Data Management	2011	PODS	5.8225392e-05
8,883	Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines	2022	SIGMOD	4.4285471e-05
2,079	A Framework for the Parallel Processing of Datalog Queries	1990	SIGMOD	9.5979932e-05
2,221	A New Paradigm For Parallel And Distributed Rule-Processing	1990	SIGMOD	9.2614541e-05
9,377	Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning	2022	VLDB	4.347117e-05
3,855	On Distributed Processibility of Datalog Queries by Decomposing Databases	1989	SIGMOD	6.6953401e-05
9,738	The Space-Efficient Core of Vadalog	2019	PODS	4.2936538e-05
5,165	The Vadalog System: Datalog-based Reasoning for Knowledge Graphs	2018	VLDB	5.6529675e-05