Optimizing existential queries in stratifiable deductive databases.
Andreas BehrendPublished in: SAC (2005)
Keyphrases
- deductive databases
- fixpoint
- query evaluation
- semantic query optimization
- recursive queries
- query language
- integrity constraints
- constraint checking
- query processing
- disjunctive deductive databases
- model theoretic
- datalog programs
- logic programming
- integrity checking
- answering queries
- conjunctive queries
- data management
- logic programs
- fixpoint semantics
- data complexity
- query answering
- view definitions
- closed world assumption
- range queries
- regular expressions
- xpath queries
- object oriented
- hidden markov models
- data model
- database