Home  Online Resources  Table of Contents

Journal of Logic and Computation, Volume 10, Issue 6, pp. 847-876: Abstract.

A logical reconstruction of temporal databases

M Finger

Departamento de Ciência da Computação, Instituto de Matemática e Estatística, Universidade de São Paulo, Sao Paulo, Brazil, E-mail: mfinger@ime.usp.br

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

  Full-Text PDF  (310 KB)

[ Oxford University Press]   [ Oxford Journals]   [ Comments & Feedback]   Copyright© Oxford University Press, 2000.