May 20 2008, 14.00 hrs

Maarten Fokkinga

Abstract:

Indexing is an important notion for efficient data management. It prescribes the use of a particular additional data structure for direct or improved access to the locations where requested values have been stored.

Indexing itself makes no assumptions about the structure of the actual storage of values or indices (but a realization does). All this is elegantly formalized in the Z notation.

Our formalization of the crux of indexing is entirely at the logical level; physical aspects like caching, the place on disk where values are stored, and the choice whether to keep the index in memory, are completely absent.

	Home > ... > Past colloquia > May 20 2008, 14.00 hrs
<< EWI Home Staff Research Teaching Publications Intranet Colloquia DB Vacancies News Search	May 20 2008, 14.00 hrs Maarten Fokkinga Abstract: Indexing is an important notion for efficient data management. It prescribes the use of a particular additional data structure for direct or improved access to the locations where requested values have been stored. Indexing itself makes no assumptions about the structure of the actual storage of values or indices (but a realization does). All this is elegantly formalized in the Z notation. Our formalization of the crux of indexing is entirely at the logical level; physical aspects like caching, the place on disk where values are stored, and the choice whether to keep the index in memory, are completely absent.