Verifying the Correctness of Analytic Query Results (Extended Abstract).
Masoud NosratiYing CaiPublished in: ICDE (2023)
Keyphrases
- extended abstract
- data structure
- query evaluation
- query processing
- database
- response time
- query expansion
- query formulation
- query execution
- complex queries
- data sources
- object retrieval
- user defined
- efficient processing
- database queries
- communication cost
- heterogeneous databases
- user queries
- relevance feedback
- search engine
- search queries
- vector space
- model checking
- retrieval process
- retrieval systems
- user interaction
- data sets