Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation.
Michel LeclèreMarie-Laure MugnierPublished in: ICDT (2007)
Keyphrases
- conjunctive queries
- containment of conjunctive queries
- datalog programs
- query containment
- query answering
- query evaluation
- integrity constraints
- data complexity
- np complete
- deductive databases
- query language
- special case
- data exchange
- decision procedures
- probabilistic databases
- query rewriting
- logic programs
- databases
- inclusion dependencies
- regular path queries
- database
- schema mappings
- transitive closure
- knowledge base
- unions of conjunctive queries