CAvSAT: A System for Query Answering over Inconsistent Databases.
Akhil A. DixitPublished in: SIGMOD Conference (2019)
Keyphrases
- inconsistent databases
- query answering
- data exchange
- data complexity
- conjunctive queries
- integrity constraints
- data integration
- tuple generating dependencies
- answering queries
- incomplete information
- query containment
- datalog programs
- consistent query answering
- query rewriting
- data management
- query answers
- schema mappings
- magic sets