Consistent Answers of Aggregation Queries using SAT Solvers.
Akhil A. DixitPhokion G. KolaitisPublished in: CoRR (2021)
Keyphrases
- sat solvers
- aggregation queries
- consistent answers
- sensor networks
- aggregation functions
- database queries
- orders of magnitude
- query processing
- constraint databases
- constraint satisfaction
- search space
- materialized views
- indexing techniques
- relational database systems
- heterogeneous data sources
- on line analytical processing
- aggregate queries
- data partitioning
- multi dimensional
- data warehouse
- database