Datalog allows intuitive declarative specification of logical inference tasks while enjoying efficient implementation via state-of-the-art engines such as LogicBlox and Soufflé. These engines enable high-performance implementation of complex logical tasks including graph mining, program analysis, and business analytics. However, all efficient modern Datalog solvers make use of shared memory, and present inherent challenges scalability. In this paper, we leverage recent insights in parallel relational algebra and present a methodology for constructing data-parallel deductive databases. Our approach leverages recent developments in parallelizing relational algebra to create an efficient data-parallel semantics for Datalog. Based on our methodology, we have implemented the first MPI-based data-parallel Datalog solver. Our experiments demonstrate comparable performance and improved single-node scalability versus Soufflé, a state-of-art solver.
Tue 2 MarDisplayed time zone: Eastern Time (US & Canada) change
12:30 - 13:15 | |||
12:30 15mTalk | Data-Aware Process Networks CC Research Papers | ||
12:45 15mTalk | Integrating a Functional Pattern-Based IR into MLIR CC Research Papers Martin Lücke University of Edinburgh, Michel Steuwer University of Edinburgh, Aaron Smith University of Edinburgh; Microsoft | ||
13:00 15mTalk | Compiling Data-Parallel Datalog CC Research Papers Thomas Gilray University of Alabama at Birmingham, Sidharth Kumar University of Alabama at Birmingham, Kristopher Micinski Syracuse University |