Abstract: A navigation device receives a differential map data from a map delivery server via a communication line. The map delivery server checks whether there is a new intersection on a navigation route searched by the navigation device after updating a map data. The navigation device acquires a differential map data containing the intersection from the map delivery server. Then, an update map data selection section determines whether the intersection can be updated in time. An update order determination section updates the differential map data which can be updated in time in ascending order of time required to reach the intersection.

Abstract: A navigation device includes: a storage unit that stores map data divided into a plurality of files for a predetermined map range; an acquisition unit that acquires map updating data for updating the map data; an extraction unit that extracts at least one file from among the map data files; and an updating unit that updates the map data by storing new map data files based upon the map updating data in the storage unit, after having deleted the map data files from the storage unit with the exception of the file extracted by the extraction unit.

Abstract: A navigation device receives a differential map data from a map delivery server via a communication line. The map delivery server checks whether there is a new intersection on a navigation route searched by the navigation device after updating a map data. The navigation device acquires a differential map data containing the intersection from the map delivery server. Then, an update map data selection section determines whether the intersection can be updated in time. An update order determination section updates the differential map data which can be updated in time in ascending order of time required to reach the intersection.

Abstract: The data processing system controls, from the database management system on a host computer, the storage device subsystem which stores log data supplied from the database management system; allocates on a disk cache in the storage device subsystem in advance a log-dedicated buffer area of a size equal to that of the log data output between checkpoints; writes log data into the buffer area; and, in the event of a host computer failure, reads out the log data from the disk cache without making access to a disk device. Since the log information required for the recovery of the data processing device is cached on the storage device side, the time it takes to read the necessary log information can be shortened, which in turn reduces the system recovery time.

Abstract: Bookmark information indicative of a time corresponding to a given time series data piece for a predetermined time, state transition information indicative of a state of the time series data piece for the predetermined time, and the time series data piece are loaded in a database. The state transition information has one of a value indicative of an online state, a value indicative of a loading state, and a value indicative of a state in which data in the data area is empty. The time series data pieces for the predetermined times are loaded in a plurality of data areas of the database in sequence of times. In accordance with a data deletion request, state transition information corresponding to a data piece of information corresponding to a data piece of interest is set to a value indicating that the data piece of interest is empty.

Abstract: The data processing system controls, from the database management system on a host computer, the storage device subsystem which stores log data supplied from the database management system; allocates on a disk cache in the storage device subsystem in advance a log-dedicated buffer area of a size equal to that of the log data output between checkpoints; writes log data into the buffer area; and, in the event of a host computer failure, reads out the log data from the disk cache without making access to a disk device. Since the log information required for the recovery of the data processing device is cached on the storage device side, the time it takes to read the necessary log information can be shortened, which in turn reduces the system recovery time.

Abstract: Bookmark information having bookmark information indicative of a time corresponding to a given time series data piece for a predetermined time and state transition information indicative of a state of the time series data piece for the predetermined time is loaded, along with the time series data piece, in a database. The state transition information has one of a value indicative of an online state in which the data area is permitted to be retrieved, a value indicative of a loading state in which loading of data in the data area has not yet been completed and the data area is not permitted to be retrieved and a value indicative of a state in which data in the data area is empty. The time series data pieces for the predetermined times are loaded in a plurality of data areas of the database in sequence of times. Even during deletion or addition of data, all data retrieval requests need not be suppressed.

Abstract: Bookmark information having bookmark information indicative of a time corresponding to a given time series data piece for a predetermined time and state transition information indicative of a state of the time series data piece for the predetermined time is loaded, along with the time series data piece, in a database. The state transition information has one of a value indicative of an online state in which the data area is permitted to be retrieved, a value indicative of a loading state in which loading of data in the data area has not yet been completed and the data area is not permitted to be retrieved and a value indicative of a state in which data in the data area is empty. The time series data pieces for the predetermined times are loaded in a plurality of data areas of the database in sequence of times. Even during deletion or addition of data, all data retrieval requests need not be suppressed.