Deductive Optimization of Relational Data Storage. Feser, J. K.; Madden, S.; Tang, N.; and Solar-Lezama, A. CoRR, 2019.
Paper bibtex @article{DBLP:journals/corr/abs-1903-03229,
author = {John K. Feser and
Samuel Madden and
Nan Tang and
Armando Solar{-}Lezama},
title = {Deductive Optimization of Relational Data Storage},
journal = {CoRR},
volume = {abs/1903.03229},
year = {2019},
url = {http://arxiv.org/abs/1903.03229},
archivePrefix = {arXiv},
eprint = {1903.03229},
timestamp = {Sun, 31 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-03229.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}