Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines

Summary: Introduces DCDatalog, an in-memory Datalog engine for shared-memory multicore PCs, targeting recursive analytic workloads. A dynamic, light-weight coordination and on-the-fly parallel scheduling reduce shared-memory contention, yielding strong scalability and outperforming prior parallel Datalog systems on several large datasets. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: h529b52fd4520cdc7
Venue: SIGMOD
Year: 2022
Pagerank: 5.2168077e-05
Overall Rank: 9,047 | 39.36%
DOI: 10.1145/3514221.3517853

Incoming Non-self Citations Over Time

Authors

1. Jiacheng Wu (Tsinghua University)
2. Jin Wang (University of California Los Angeles)
3. Carlo Zaniolo (University of California Los Angeles)

BibTeX Citation

@inproceedings{wu_sigmod22,
        title = {{Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines}},
        author = {Wu, Jiacheng and Wang, Jin and Zaniolo, Carlo},
        series = {{SIGMOD} '22},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/3514221.3517853},
        url = {https://dl.acm.org/doi/10.1145/3514221.3517853},
        year = {2022}
}

Incoming Citations (Sorted by Pagerank)

Showing 4 of 4 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
9,991	HoneyComb: A Parallel Worst-Case Optimal Join on Multicores	2025	SIGMOD	5.0845476e-05
10,954	FlowLog: Efficient and Extensible Datalog via Incrementality	2026	VLDB	4.9605343e-05
11,195	Dynamic Pruning for Recursive Joins	2025	SIGMOD	4.9605343e-05
11,707	The Vadalog Parallel System: Distributed Reasoning with Datalog+/-	2024	VLDB	4.9605343e-05

Outgoing Citations (Sorted by Pagerank)

Showing 24 of 24 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
3	Pregel: A System for Large-Scale Graph Processing	2010	SIGMOD	0.0012089097
208	EmptyHeaded: A Relational Engine for Graph Processing	2016	SIGMOD	0.00024929198
467	Design and Implementation of the LogicBlox System	2015	SIGMOD	0.00017740891
486	From "Think Like a Vertex" to "Think Like a Graph"	2014	VLDB	0.00017462718
533	The Magic of Duplicates and Aggregates	1990	VLDB	0.00016794756
1,002	Declarative Networking: Language, Execution and Optimization	2006	SIGMOD	0.00012560011
1,552	Distributed SociaLite: A Datalog-Based Language for Large-Scale Graph Analysis	2013	VLDB	0.00010252208
2,147	Quickstep: A Data Platform Based on the Scaling-Up Approach	2018	VLDB	8.9595129e-05
2,308	A Framework for the Parallel Processing of Datalog Queries	1990	SIGMOD	8.6514834e-05
2,384	Giraph Unchained: Barrierless Asynchronous Parallel Execution in Pregel-like Graph Processing Systems	2015	VLDB	8.5288484e-05
2,644	Big Data Analytics with Datalog Queries on Spark	2016	SIGMOD	8.1655777e-05
2,953	RaSQL: Greater Power and Performance for Big Data Analytics with Recursive-aggregate-SQL on Spark	2019	SIGMOD	7.8060043e-05
3,635	Minimum and Maximum Predicates in Logic Programming	1991	PODS	7.1266264e-05
4,102	Monotonic Aggregation in Deductive Databases	1992	PODS	6.7929603e-05
4,175	Asynchronous and Fault-Tolerant Recursive Datalog Evaluation in Shared-Nothing Engines	2015	VLDB	6.7506691e-05
4,224	Distributed Processing Of Logic Programs	1988	SIGMOD	6.710075e-05
4,587	The Vadalog System: Datalog-based Reasoning for Knowledge Graphs	2018	VLDB	6.505507e-05
5,881	Scaling-Up In-Memory Datalog Processing: Observations and Techniques	2019	VLDB	5.94241e-05
5,971	Parallelizing Datalog Programs by Generalized Pivoting	1991	PODS	5.9115526e-05
6,325	Automating Incremental and Asynchronous Evaluation for Recursive Aggregate Data Processing	2020	SIGMOD	5.7957351e-05
6,751	Adaptive Asynchronous Parallelization of Graph Algorithms	2018	SIGMOD	5.6736025e-05
8,508	Optimizing Declarative Graph Queries at Large Scale	2019	SIGMOD	5.3124867e-05
8,860	Three Modern Roles for Logic in AI	2020	PODS	5.2478662e-05
12,124	RASQL: A Powerful Language and its System for Big Data Applications	2020	SIGMOD	4.9605343e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	4,912	Parallel Processing of Recursive Queries in Distributed Architectures	1989	VLDB
2	2,644	Big Data Analytics with Datalog Queries on Spark	2016	SIGMOD
3	5,701	A Parallel Processing Strategy for Evaluating Recursive Queries	1986	VLDB
4	6,325	Automating Incremental and Asynchronous Evaluation for Recursive Aggregate Data Processing	2020	SIGMOD
5	5,971	Parallelizing Datalog Programs by Generalized Pivoting	1991	PODS
6	8,376	Optimizing Nested Recursive Queries	2024	SIGMOD
7	4,175	Asynchronous and Fault-Tolerant Recursive Datalog Evaluation in Shared-Nothing Engines	2015	VLDB
8	4,443	On Distributed Processibility of Datalog Queries by Decomposing Databases	1989	SIGMOD
9	2,308	A Framework for the Parallel Processing of Datalog Queries	1990	SIGMOD
10	5,881	Scaling-Up In-Memory Datalog Processing: Observations and Techniques	2019	VLDB