Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu University of Washington {chushumo, weitzkon, akcheung, suciu}@cs.washington.edu
Add to Reading List
Document Date: 2017-04-19 04:15:11
Open Document
File Size: 437,62 KB
Share Result on Facebook
UPDATE
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu University of Washington {chushumo, weitzkon, akcheung, suciu}@cs.washington.edu