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: 6367
Venue: SIGMOD
Year: 2022
Pagerank: 5.3567857e-05
Overall Rank: 8,858 | 39.23%
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
10,582	FlowLog: Efficient and Extensible Datalog via Incrementality	2026	VLDB	5.093636e-05
10,690	Dynamic Pruning for Recursive Joins	2025	SIGMOD	5.093636e-05
10,765	HoneyComb: A Parallel Worst-Case Optimal Join on Multicores	2025	SIGMOD	5.093636e-05
11,336	The Vadalog Parallel System: Distributed Reasoning with Datalog+/-	2024	VLDB	5.093636e-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.0012250108
211	EmptyHeaded: A Relational Engine for Graph Processing	2016	SIGMOD	0.00024797217
487	From "Think Like a Vertex" to "Think Like a Graph"	2014	VLDB	0.00017645653
490	Design and Implementation of the LogicBlox System	2015	SIGMOD	0.000175757
527	The Magic of Duplicates and Aggregates	1990	VLDB	0.00017108864
972	Declarative Networking: Language, Execution and Optimization	2006	SIGMOD	0.00012874501
1,539	Distributed SociaLite: A Datalog-Based Language for Large-Scale Graph Analysis	2013	VLDB	0.000104329
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,325	Giraph Unchained: Barrierless Asynchronous Parallel Execution in Pregel-like Graph Processing Systems	2015	VLDB	8.7495171e-05
2,594	Big Data Analytics with Datalog Queries on Spark	2016	SIGMOD	8.3646367e-05
2,935	RaSQL: Greater Power and Performance for Big Data Analytics with Recursive-aggregate-SQL on Spark	2019	SIGMOD	7.9444531e-05
3,560	Minimum and Maximum Predicates in Logic Programming	1991	PODS	7.3094581e-05
4,002	Monotonic Aggregation in Deductive Databases	1992	PODS	6.9661579e-05
4,078	Asynchronous and Fault-Tolerant Recursive Datalog Evaluation in Shared-Nothing Engines	2015	VLDB	6.9209348e-05
4,121	Distributed Processing Of Logic Programs	1988	SIGMOD	6.8889854e-05
4,920	The Vadalog System: Datalog-based Reasoning for Knowledge Graphs	2018	VLDB	6.4449498e-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
6,203	Automating Incremental and Asynchronous Evaluation for Recursive Aggregate Data Processing	2020	SIGMOD	5.9447217e-05
6,599	Adaptive Asynchronous Parallelization of Graph Algorithms	2018	SIGMOD	5.8250554e-05
8,318	Optimizing Declarative Graph Queries at Large Scale	2019	SIGMOD	5.4548766e-05
8,672	Three Modern Roles for Logic in AI	2020	PODS	5.3875081e-05
11,772	RASQL: A Powerful Language and its System for Big Data Applications	2020	SIGMOD	5.093636e-05

Semantically Similar Papers

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