A More General Theory of Static Approximations for Conjunctive Queries.
Pablo BarcelóMiguel RomeroThomas ZeumePublished in: Theory Comput. Syst. (2020)
Keyphrases
- conjunctive queries
- general theory
- query answering
- query evaluation
- integrity constraints
- data complexity
- query language
- np complete
- special case
- data exchange
- query rewriting
- morphological operators
- probabilistic databases
- decision procedures
- query containment
- boolean expressions
- deductive databases
- stable models
- query processing
- regular path queries
- databases
- xml data
- data management
- belief functions
- functional dependencies
- knowledge representation
- computational complexity
- knowledge base
- database
- conjunctive query containment