Keyphrases
- query answering
- data exchange
- closed world assumption
- data complexity
- data integration
- default logic
- answering queries
- integrity constraints
- conjunctive queries
- default reasoning
- nonmonotonic logics
- logic programs
- incomplete information
- situation calculus
- query answers
- query rewriting
- xml data exchange
- nonmonotonic reasoning
- theorem prover
- stable model semantics
- inconsistent databases
- logic programming
- data integration systems
- data sets
- schema mappings
- belief revision
- datalog programs
- multi agent
- query containment
- data mining
- tuple generating dependencies
- database