Monthly Archives: September 2016
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
SQL is the lingua franca for retrieving structured data. Existing semantics for SQL, however, either do not model crucial features of the language (e.g., relational algebra lacks bag semantics, correlated subqueries, and aggregation), or make it hard to formally reason … Continue reading
Posted in Applications
6 Comments
Homotopy Type Theory 