Magic-Sets for Datalog with Existential Quantifiers.
Mario AlvianoNicola LeoneMarco MannaGiorgio TerracinaPierfrancesco VeltriPublished in: Datalog (2012)
Keyphrases
- magic sets
- query answering
- datalog programs
- ontology based data access
- data exchange
- integrity constraints
- conjunctive queries
- data complexity
- data integration
- incomplete information
- dl lite
- inconsistent databases
- first order logic
- query rewriting
- natural language
- query containment
- deductive databases
- recursive queries
- response time
- databases