TY  - RPRT
TI  - HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
AU  - Shumo Chu
AU  - Konstantin Weitz
AU  - Alvin Cheung
AU  - Dan Suciu
PY  - 2016
UR  - https://arxiv.org/abs/1607.04822
ID  - 1607.04822
ER  -