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.2365938e-05
Overall Rank: 9,018 | 39.37%
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,950	HoneyComb: A Parallel Worst-Case Optimal Join on Multicores	2025	SIGMOD	5.1038322e-05
10,884	FlowLog: Efficient and Extensible Datalog via Incrementality	2026	VLDB	4.9793485e-05
11,126	Dynamic Pruning for Recursive Joins	2025	SIGMOD	4.9793485e-05
11,654	The Vadalog Parallel System: Distributed Reasoning with Datalog+/-	2024	VLDB	4.9793485e-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.0012092602
208	EmptyHeaded: A Relational Engine for Graph Processing	2016	SIGMOD	0.00024884544
466	Design and Implementation of the LogicBlox System	2015	SIGMOD	0.00017773029
496	From "Think Like a Vertex" to "Think Like a Graph"	2014	VLDB	0.00017323054
531	The Magic of Duplicates and Aggregates	1990	VLDB	0.00016847212
1,000	Declarative Networking: Language, Execution and Optimization	2006	SIGMOD	0.00012607089
1,548	Distributed SociaLite: A Datalog-Based Language for Large-Scale Graph Analysis	2013	VLDB	0.00010290306
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,372	Giraph Unchained: Barrierless Asynchronous Parallel Execution in Pregel-like Graph Processing Systems	2015	VLDB	8.5610804e-05
2,635	Big Data Analytics with Datalog Queries on Spark	2016	SIGMOD	8.1965216e-05
2,938	RaSQL: Greater Power and Performance for Big Data Analytics with Recursive-aggregate-SQL on Spark	2019	SIGMOD	7.8355984e-05
3,623	Minimum and Maximum Predicates in Logic Programming	1991	PODS	7.1535991e-05
4,076	Monotonic Aggregation in Deductive Databases	1992	PODS	6.8187173e-05
4,154	Asynchronous and Fault-Tolerant Recursive Datalog Evaluation in Shared-Nothing Engines	2015	VLDB	6.776227e-05
4,205	Distributed Processing Of Logic Programs	1988	SIGMOD	6.735459e-05
5,035	The Vadalog System: Datalog-based Reasoning for Knowledge Graphs	2018	VLDB	6.3038469e-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
6,309	Automating Incremental and Asynchronous Evaluation for Recursive Aggregate Data Processing	2020	SIGMOD	5.8176815e-05
6,723	Adaptive Asynchronous Parallelization of Graph Algorithms	2018	SIGMOD	5.6951102e-05
8,485	Optimizing Declarative Graph Queries at Large Scale	2019	SIGMOD	5.3326349e-05
8,834	Three Modern Roles for Logic in AI	2020	PODS	5.2676134e-05
12,074	RASQL: A Powerful Language and its System for Big Data Applications	2020	SIGMOD	4.9793485e-05

Semantically Similar Papers

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