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.2341149e-05
Overall Rank: 9,026 | 39.34%
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,958	HoneyComb: A Parallel Worst-Case Optimal Join on Multicores	2025	SIGMOD	5.1014161e-05
10,893	FlowLog: Efficient and Extensible Datalog via Incrementality	2026	VLDB	4.9769913e-05
11,135	Dynamic Pruning for Recursive Joins	2025	SIGMOD	4.9769913e-05
11,660	The Vadalog Parallel System: Distributed Reasoning with Datalog+/-	2024	VLDB	4.9769913e-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.0012087459
208	EmptyHeaded: A Relational Engine for Graph Processing	2016	SIGMOD	0.00024899872
466	Design and Implementation of the LogicBlox System	2015	SIGMOD	0.00017765702
497	From "Think Like a Vertex" to "Think Like a Graph"	2014	VLDB	0.00017315387
531	The Magic of Duplicates and Aggregates	1990	VLDB	0.00016845756
1,000	Declarative Networking: Language, Execution and Optimization	2006	SIGMOD	0.00012601156
1,550	Distributed SociaLite: A Datalog-Based Language for Large-Scale Graph Analysis	2013	VLDB	0.00010285521
2,139	Quickstep: A Data Platform Based on the Scaling-Up Approach	2018	VLDB	8.9735524e-05
2,297	A Framework for the Parallel Processing of Datalog Queries	1990	SIGMOD	8.6799663e-05
2,373	Giraph Unchained: Barrierless Asynchronous Parallel Execution in Pregel-like Graph Processing Systems	2015	VLDB	8.5570278e-05
2,636	Big Data Analytics with Datalog Queries on Spark	2016	SIGMOD	8.1926426e-05
2,939	RaSQL: Greater Power and Performance for Big Data Analytics with Recursive-aggregate-SQL on Spark	2019	SIGMOD	7.8318902e-05
3,624	Minimum and Maximum Predicates in Logic Programming	1991	PODS	7.1502242e-05
4,079	Monotonic Aggregation in Deductive Databases	1992	PODS	6.8154895e-05
4,153	Asynchronous and Fault-Tolerant Recursive Datalog Evaluation in Shared-Nothing Engines	2015	VLDB	6.7730626e-05
4,206	Distributed Processing Of Logic Programs	1988	SIGMOD	6.7322742e-05
5,037	The Vadalog System: Datalog-based Reasoning for Knowledge Graphs	2018	VLDB	6.3008628e-05
5,868	Scaling-Up In-Memory Datalog Processing: Observations and Techniques	2019	VLDB	5.962124e-05
5,964	Parallelizing Datalog Programs by Generalized Pivoting	1991	PODS	5.9303286e-05
6,312	Automating Incremental and Asynchronous Evaluation for Recursive Aggregate Data Processing	2020	SIGMOD	5.8149275e-05
6,730	Adaptive Asynchronous Parallelization of Graph Algorithms	2018	SIGMOD	5.6924142e-05
8,493	Optimizing Declarative Graph Queries at Large Scale	2019	SIGMOD	5.3301105e-05
8,843	Three Modern Roles for Logic in AI	2020	PODS	5.265121e-05
12,080	RASQL: A Powerful Language and its System for Big Data Applications	2020	SIGMOD	4.9769913e-05

Semantically Similar Papers

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