Journal of Logic and Computation, Volume 10, Issue 6, pp. 847-876: Abstract.
A logical reconstruction of temporal databases
Departamento de Ciência da Computação, Instituto de Matemática e Estatística, Universidade de São Paulo, Sao Paulo, Brazil, E-mail: firstname.lastname@example.org
Traditional approaches to temporal databases are either not formal or deal only with static features, considering mainly a single state of the database. The temporal nature of data in temporal databases, however, is intrinsically dynamic, for it deals with the evolution of data.
In this work, a temporal logic framework is proposed to simultaneously cope with both the static and the dynamic aspects of temporal data. The framework consists of a two-dimensional temporal model. One-dimensional temporal models deal with static aspects such as temporal querying and data representation. The second temporal dimension is introduced as a natural extension that captures the dynamics of temporal updates. The resulting two-dimensional temporal model is used to formally characterize the differences between valid time and transaction time, to characterize the notion of 'now' in a temporal database, and to give a formal model for bitemporal databases.
Keywords: temporal databases, temporal logic, temporal data representation, transaction time, valid time, temporal queries, temporal updates, two-dimensional temporal logic, bitemporal databases