Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines
Jiacheng Wu, Jin Wang, Carlo Zaniolo
Abstract
Over the past years, there has been a resurgence of interest in Datalog due to its superior ability of expressing applications that require recursive computations. However, in addition to expressive power, supporting analytical tasks with ever-increasing volume of data requires high performance and scalability. In this paper, we present DCDatalog, an in-memory Datalog engine specifically designed for modern shared-memory multicore architectures. Our key contribution is a novel system architecture that supports a wide scope of Datalog applications with a light-weight coordination scheme during parallel evaluation. To this end, we propose a dynamic scheduling strategy that can generate the parallel execution plan on-the-fly while reducing concurrent accesses to the shared memory. Experimental results on several large datasets show that our system significantly outperforms existing parallel Datalog engines and also scales well with increasing amount of data.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext af81440f-e2d6-4735-880d-713f840cc235Cited by top-tier papers5
- Bring Your Own Data Structures to DatalogArash Sahebolamri, Langston Barrett, Scott Moore, Kristopher K. MicinskiOOPSLA 2023 · 11 citations
- The Vadalog Parallel System: Distributed Reasoning with Datalog+/-Luigi Bellomarini, Davide Benedetto, Matteo Brandetti, Emanuel Sallinger et al.VLDB 2024 · 4 citations
- Optimizing Datalog for the GPUYihao Sun, Ahmedur Rahman Shovon, Thomas Gilray, Sidharth Kumar et al.ASPLOS 2025 · 3 citations
- HoneyComb: A Parallel Worst-Case Optimal Join on MulticoresJiacheng Wu, Dan SuciuSIGMOD 2025 · 1 citation
- FlowLog: Efficient and Extensible Datalog via IncrementalityHangdong Zhao, Zhenghong Yu, Srinag Rao, Simon Frisk et al.VLDB 2026
Builds on2
- Automating Incremental and Asynchronous Evaluation for Recursive Aggregate Data ProcessingQiange Wang, Yanfeng Zhang, Hao Wang, Liang Geng et al.SIGMOD 2020 · 21 citations
- KDDLog: Performance and Scalability in Knowledge Discovery by Declarative Queries with AggregatesYoufu Li, Jin Wang, Mingda Li, Ariyam Das et al.ICDE 2021 · 2 citations
Related papers
- Optimizing Nested Recursive QueriesAmir Shaikhha, Dan Suciu, Maximilian Schleich, Hung Q. NgoSIGMOD 2024 · 5 citations
- One Size Does NOT Fit All: on the Importance of Physical Representations for Datalog EvaluationNick Johannes Peter Rassau, Felix SchuhknechtICDE 2026
- Adaptive Recursive Query OptimizationAnna Herlihy, Guillaume Martres, Anastasia Ailamaki, Martin OderskyICDE 2024 · 5 citations
- Column-Oriented Datalog on the GPUYihao Sun, Sidharth Kumar, Thomas Gilray, Kristopher K. MicinskiAAAI 2025 · 4 citations
- Distributed Evaluation of Graph Queries Using Recursive Relational AlgebraSarah Chlyah, Pierre Genevès, Nabil LayaïdaICDE 2025
