The invention efficiently determines consistency of a database by a system
including a reading section that sequentially reads from the respective
segment data included in the database pointers to other segment data, an
address recording section that records storage addresses of segment data
from which the pointers have been read by the reading section, and a
pointer recording section that records the pointers read by the reading
section. Then, when segment data is updated in an area in which the
pointer reading has been completed, a storage address recorded in the
address recording section is modified and a pointer recorded in the
pointer recording section is modified. Then, it is determined that the
database is consistent on condition that the respective storage addresses
recorded in the address recording section coincide with the respective
pointers recorded in the pointer recording section.