Using dependent types and tactics to enable semantic optimization of language-integrated queries.
Gregory MalechaRyan WisneskyPublished in: DBPL (2015)
Keyphrases
- natural language
- query processing
- query language
- semantic query
- language constructs
- query types
- semantically equivalent
- optimization algorithm
- semantic constraints
- natural language queries
- database query languages
- visual query language
- semantic representation
- language learning
- response time
- semantic representations
- high level query language
- database
- context dependent
- query evaluation
- optimization problems
- linguistic analysis
- efficient processing
- range queries
- programming language
- query plan
- xml query languages
- aggregate functions
- relational calculus
- semantic structure
- pattern languages
- query formulation
- semantic information
- web search engines
- semantic web
- high level