Arithmetic for Parallel Linear Recursive Query Evaluation in Deductive Databases.
Jerome RobinsonShutian LinPublished in: PARLE (1993)
Keyphrases
- deductive databases
- query evaluation
- datalog programs
- query language
- query processing
- disjunctive deductive databases
- conjunctive queries
- fixpoint
- data management
- integrity checking
- data complexity
- xml data
- semantic query optimization
- transitive closure
- model theoretic
- signature file
- efficient query evaluation
- machine learning
- database
- recursive queries
- closed world assumption
- databases
- probabilistic databases
- integrity constraints
- xpath queries
- regular expressions
- database management systems
- knowledge representation
- special case