Q*cert: A Platform for Implementing and Verifying Query Compilers.
Joshua S. AuerbachMartin HirzelLouis MandelAvraham ShinnarJérôme SiméonPublished in: SIGMOD Conference (2017)
Keyphrases
- query processing
- response time
- query formulation
- database
- hardware and software
- data sources
- real time
- complex queries
- programming language
- query expansion
- user queries
- original query
- search queries
- query terms
- model checking
- general purpose
- relevance feedback
- keywords
- information retrieval
- low cost
- vector space
- image retrieval
- cost model
- query interface
- query execution
- database systems
- computer architecture
- emergency response
- aggregate queries