A formal model of a large memory that supports efficient execution.

Warren A. Hunt Jr.Matt Kaufmann

Published in: FMCAD (2012)

Keyphrases

formal model
efficient execution
query optimization
query processor
query processing
parallel execution
data partitioning
database operations
query execution
memory space
memory management
database systems
response time
database management systems
cost model