Temporal Indexes Supporting Valid Time

This chapter studies the temporal index technique based on valid time. Firstly, it introduces the current study on temporal index. Subsequently, it introduces temporal equivalence, temporal preorder and other basic conceptions, and studies their relative properties, which provide the necessary mathematical frame for the temporal index. In addition, it introduces the algorithm for temporal linear order branch by studying the properties of time interval number. Thereby, the temporal index — TRdim is established. After that, we study the incremental updating algorithm based on the query algorithm and the index. Finally, we design and implement a simulation experiment, whose result indicates the feasibility and validity of TRdim.