Deductive optimization of relational data storage.

John K. Feser Sam Madden Nan Tang Armando Solar-Lezama

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

data storage
data management
database management systems
storage and retrieval
storage media
relational database systems
database language
data model
relational databases
sensitive data
storage devices
aggregated data
column oriented
data access
high dimensional
data intensive
hard disk
data structure