Paper Info
Title
Parallel Bottom-Up Evaluation of Logic Programs: DeALS on Shared-Memory Multicore Machines.
Abstract
Delivering superior expressive power over RDBMS, while maintaining competitive performance, has represented the main goal and technical challenge for deductive database research since its inception forty years ago. Significant progress toward this ambitious goal is being achieved by the DeALS system through the parallel bottom-up evaluation of logic programs, including recursive programs with monotonic aggregates, on a shared-memory multicore machine. In DeALS, a program is represented as an AND/OR tree, where the parallel evaluation instantiates multiple copies of the same AND/OR tree that access the tables in the database concurrently. Synchronization methods such as locks are used to ensure the correctness of the evaluation. We describe a technique which finds an ecient hash partitioning strategy of the tables that minimizes the use of locks during the evaluation. Experimental results demonstrate the eectiveness of the proposed technique — DeALS achieves competitive performance on non-recursive programs compared with commercial RDBMSs and superior performance on recursive programs compared with other existing systems.
Year
Venue
Field
2015
ICLP (Technical Communications)
Synchronization,Programming language,Deductive database,Shared memory,Computer science,Correctness,Parallel computing,Hash function,Relational database management system,Multi-core processor,Recursion
DocType
Citations 
PageRank 
Conference
5
0.40
References 
Authors
14
3
Name
Order
Citations
PageRank
Mohan Yang1716.86
Alexander Shkapsky2714.86
Carlo Zaniolo343051447.58