HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/1607.04822/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTHoTTSQL: Proving Query Rewrites with Univalent SQL Semantics — HN submissionhttps://news.ycombinator.com/item?id=19457907urn:hackerpapers:submission:1607.04822:19457907Thu, 21 Mar 2019 22:16:44 GMT<p>HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics</p><p></p><p>22 points; 1 discussion reply on HN. <a href="https://hackerpaper.kaipfister.de/p/1607.04822/">Paper and source history</a>. A submission is not an endorsement.</p>cs.PLHoTTSQL: Proving Query Rewrites with Univalent SQL Semantics — mentioned by tzshttps://news.ycombinator.com/item?id=19457409urn:hackerpapers:mention:1607.04822:19457409Thu, 21 Mar 2019 21:16:25 GMT<p>Abstract: https://arxiv.org/abs/1607.04822</p><p><a href="https://hackerpaper.kaipfister.de/p/1607.04822/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PLHoTTSQL: Proving Query Rewrites with Univalent SQL Semantics — mentioned by Darmanihttps://news.ycombinator.com/item?id=19456552urn:hackerpapers:mention:1607.04822:19456552Thu, 21 Mar 2019 19:54:40 GMT<p>One application: It makes it easier to do mechanized reasoning to optimize SQL queries. https://arxiv.org/pdf/1607.04822.pdf</p><p><a href="https://hackerpaper.kaipfister.de/p/1607.04822/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PLHoTTSQL: Proving Query Rewrites with Univalent SQL Semantics — HN submissionhttps://news.ycombinator.com/item?id=14190273urn:hackerpapers:submission:1607.04822:14190273Tue, 25 Apr 2017 02:23:39 GMT<p>HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics (2016)</p><p></p><p>1 point; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/1607.04822/">Paper and source history</a>. A submission is not an endorsement.</p>cs.PLHoTTSQL: Proving Query Rewrites with Univalent SQL Semantics — HN submissionhttps://news.ycombinator.com/item?id=13858384urn:hackerpapers:submission:1607.04822:13858384Mon, 13 Mar 2017 15:05:52 GMT<p>HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics</p><p></p><p>1 point; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/1607.04822/">Paper and source history</a>. A submission is not an endorsement.</p>cs.PLHoTTSQL: Proving Query Rewrites with Univalent SQL Semantics — HN submissionhttps://news.ycombinator.com/item?id=12247696urn:hackerpapers:submission:1607.04822:12247696Mon, 08 Aug 2016 13:48:26 GMT<p>HoTTSQL – Formally proving SQL query rewrite rules correct</p><p></p><p>1 point; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/1607.04822/">Paper and source history</a>. A submission is not an endorsement.</p>cs.PL