Optimizing and Caching SMT Queries in SymDIVINE - (Competition Contribution).
Jan MrázekMartin JonásVladimír StillHenrich LaukoJiri BarnatPublished in: TACAS (2) (2017)
Keyphrases
- query processing
- semantic caching
- caching strategies
- query language
- query evaluation
- response time
- user queries
- web search engines
- database queries
- query result
- efficient processing
- databases
- data sources
- database
- query logs
- prefetching
- statistical machine translation
- search engine
- query optimization
- web search
- data access
- search queries
- natural language processing
- complex queries
- query formulation
- probabilistic model
- replica selection