And/Or Parallel Execution of Logic Programs: Exploiting Dependent And-Parallelism.
Yuhua ZhengHonglei TuLi XiePublished in: ACM SIGPLAN Notices (1993)
Keyphrases
- parallel execution
- logic programs
- logic programming
- parallel processing
- data partitioning
- answer sets
- fixpoint
- stable models
- answer set programming
- computational properties
- cost model
- shared memory
- parallel computing
- partial deduction
- inductive logic programming
- query execution
- normal logic programs
- prolog programs
- stable model semantics
- databases
- query processing
- loop formulas
- query optimization
- multi dimensional
- parallel programming
- relational databases
- strong equivalence
- bayesian networks