@misc{indiciaeb55ad4ea6e3b,
  title = {Deductive Optimization of Relational Data Storage},
  author = {John K. Feser and Samuel Madden and Nan Tang and Armando Solar-Lezama},
  year = {2020},
  url = {https://arxiv.org/abs/1903.03229},
  note = {Source identifier: 1903.03229}
}