Principles of database buffer management | Synapse