HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics.
Shumo ChuKonstantin WeitzAlvin CheungDan SuciuPublished in: CoRR (2016)
Keyphrases
- relational queries
- database
- sql queries
- database queries
- original query
- aggregate functions
- query language
- query expansion
- query optimizer
- query rewriting
- relational databases
- query processing
- recursive queries
- language constructs
- database objects
- query result
- databases
- user queries
- query evaluation
- query engine
- sparql queries
- transformation rules
- database systems
- xml query languages
- data structure
- query answers
- aggregate queries
- query optimization
- duplicate elimination
- sql statements
- database design
- data types
- xml queries
- relational database systems
- semantic information
- web search engines
- response time
- query answering
- relational algebra
- relational tables
- relational model