A More General Theory of Static Approximations for Conjunctive Queries.
Pablo BarcelóMiguel RomeroThomas ZeumePublished in: ICDT (2018)
Keyphrases
- conjunctive queries
- general theory
- query answering
- query evaluation
- integrity constraints
- np complete
- data complexity
- query language
- data exchange
- special case
- morphological operators
- query rewriting
- query containment
- probabilistic databases
- decision procedures
- containment of conjunctive queries
- stable models
- boolean expressions
- dl lite
- schema mappings
- data integration
- xml data
- data model
- query processing
- artificial intelligence