HoTTSQL: proving query rewrites with univalent SQL semantics.
Shumo ChuKonstantin WeitzAlvin CheungDan SuciuPublished in: PLDI (2017)
Keyphrases
- database queries
- database
- relational queries
- original query
- aggregate functions
- sql queries
- query optimizer
- query processing
- recursive queries
- user queries
- transformation rules
- query expansion
- query evaluation
- query rewriting
- databases
- query language
- response time
- query answers
- query result
- data structure
- language constructs
- relational databases
- aggregate queries
- query engine
- relational algebra
- query optimization
- data types
- information retrieval
- database objects
- sparql queries
- execution plan
- database systems
- xml queries
- search engine
- query execution
- data sources
- relational database systems
- relational tables
- user defined functions
- sql statements
- information retrieval systems
- query containment
- data model
- query suggestion
- relevance feedback
- programming language
- database applications
- database management systems