SMT-like Queries in Maple.

Stephen A. Forrest

Published in: SC-Square@FLOC (2018)

Keyphrases

query processing
query language
range queries
complex queries
response time
efficient processing
web search engines
query evaluation
database
user queries
database queries
data sources
query formulation
statistical databases
aggregate queries
cost model
search queries
index structure
multi dimensional
databases