Consistent Query Answering for Primary Keys and Conjunctive Queries with Negated Atoms.
Paraschos KoutrisJef WijsenPublished in: PODS (2018)
Keyphrases
- consistent query answering
- conjunctive queries
- query containment
- integrity constraints
- query answering
- inconsistent databases
- primary key
- query evaluation
- datalog programs
- np complete
- data complexity
- query language
- data exchange
- decision procedures
- query rewriting
- special case
- unions of conjunctive queries
- regular path queries
- probabilistic databases
- logic programs
- deductive databases
- answer sets
- regular expressions
- database
- functional dependencies
- first order logic
- data integration
- database systems