AND-Parallel Execution of Logic Programs on a Shared-Memory Multiprocessor.
Yow-Jian LinVipin KumarPublished in: J. Log. Program. (1991)
Keyphrases
- logic programs
- parallel execution
- shared memory multiprocessor
- shared memory
- parallel computing
- logic programming
- message passing
- parallel algorithm
- parallel programming
- answer sets
- fixpoint
- answer set programming
- stable models
- data partitioning
- cost model
- parallel processing
- normal logic programs
- partial deduction
- efficient implementation
- deductive databases
- databases
- fault tolerant
- fixed point
- belief propagation
- fine grained
- database management systems
- relational databases