The analysis of strategies for paging a large associative data structure