Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines.
Jiacheng WuJin WangCarlo ZanioloPublished in: SIGMOD Conference (2022)
Keyphrases
- parallel programming
- expressive power
- datalog programs
- shared memory
- query answering
- level parallelism
- graphics processing units
- parallel machines
- logic programming
- evaluation method
- evaluation model
- special case
- neural network
- real time
- integrity constraints
- parallel computing
- computer systems
- massively parallel
- learning machines
- query language
- knowledge base