A database management program capable of restoring a use management book
indicating allocation/non-allocation of data to individual unit storage
regions, without the need to perform physical initialization at the time
of reinitialization. When the database is initialized, all allocation
flags provided in the use management book and indicative of
allocation/non-allocation of data to the respective unit storage regions
are set to a non-allocated state, and the value of an initialization
counter indicative of the number of times the database has been
initialized is updated. Each time data is allocated to one of the unit
storage regions in the database, the allocation flag in the use
management book corresponding to the data-allocated unit storage region
is set to an allocated state, and the value of the initialization counter
is set as an allocation-timed counter value associated with the
data-allocated unit storage region.