Index scans using a finite LUR buffer: A validated i/o model (1985)

by L Mackert, G Lohman