Query Containment with Negated IDB Predicates.
Carles FarréErnest TenienteToni UrpíPublished in: ADBIS (2003)
Keyphrases
- query containment
- datalog programs
- conjunctive queries
- query answering
- complexity bounds
- transitive closure
- decision procedures
- regular path queries
- integrity constraints
- query rewriting
- query optimization
- containment of conjunctive queries
- data complexity
- query evaluation
- regular expressions
- user defined
- first order logic
- fixpoint
- horn clauses
- answering queries using views
- deductive databases
- expressive power
- tree patterns
- theorem proving
- incomplete information
- data exchange
- np complete
- np hard
- computational complexity
- databases