A database disk buffer management algorithm based on prefetching | Synapse