Concurrent Query Processing for Logic Inference Using the Connection Graph.
Naim AbdullahJie-Yong JuangPublished in: J. Parallel Distributed Comput. (1993)
Keyphrases
- query processing
- logical inference
- inference mechanism
- abductive reasoning
- deductive reasoning
- bayesian networks
- bayesian inference
- database systems
- data management
- query execution
- query optimization
- range queries
- query evaluation
- index structure
- logic programming
- similarity search
- aggregate queries
- inference process
- xml data
- predicate logic
- automated reasoning
- modal logic
- cost model
- asynchronous circuits
- r tree
- database query processing