A program optimization for automatic database result caching.

Ziv Scully Adam Chlipala

Published in: POPL (2017)

Keyphrases

database
databases
relational databases
data sets
database systems
optimization model
global optimization
data management
oracle database
fully automatic
database management systems
semi automatic
sql server
data model
query processing
mobile devices
computer programs