TY  - RPRT
TI  - Deductive Optimization of Relational Data Storage
AU  - John K. Feser
AU  - Samuel Madden
AU  - Nan Tang
AU  - Armando Solar-Lezama
PY  - 2020
UR  - https://arxiv.org/abs/1903.03229
ID  - 1903.03229
ER  -