CAvSAT: Answering Aggregation Queries over Inconsistent Databases via SAT Solving.
Akhil A. DixitPhokion G. KolaitisPublished in: SIGMOD Conference (2021)
Keyphrases
- sat solving
- aggregation queries
- consistent answers
- query answering
- sensor networks
- sat solvers
- aggregation functions
- constraint databases
- query processing
- integrity constraints
- database queries
- data exchange
- indexing techniques
- materialized views
- conjunctive queries
- relational database systems
- data integration
- incomplete information
- heterogeneous data sources
- on line analytical processing
- transitive closure
- aggregate queries
- data streams
- databases
- database
- similarity search
- wireless sensor networks
- relational databases
- computational complexity
- data mining