Immutably Answering Why-Not Questions for Equivalent Conjunctive Queries.
Nicole BidoitMelanie HerschelKaterina TzompanakiPublished in: TAPP (2014)
Keyphrases
- conjunctive queries
- query answering
- data exchange
- data complexity
- integrity constraints
- query evaluation
- np complete
- query rewriting
- answering queries
- query language
- query containment
- probabilistic databases
- decision procedures
- incomplete information
- data integration
- boolean expressions
- special case
- queries using views
- dl lite
- datalog programs
- unions of conjunctive queries
- bounded treewidth
- databases
- satisfiability problem
- data model
- relational databases
- data analysis
- metadata
- inconsistent databases
- database
- conjunctive query containment