A Temporal Relational Algebra as a Basis for Temporal Relational Completeness

We define a temporal algebra that is applicable to anytemporal relational data model supporting discrete linearbounded time. This algebra has the five basicrelational algebra operators extended to the temporaldomain and an operator of linear recursion. Weshow that this algebra has the expressive power of asafe temporal calculus based on the predicate temporallogic with the until and since temporal operators.In [CrC189], a historical calculus was proposed as abasis for historical relational completeness. We proposethe temporal algebra defined in this paper andthe equivalent temporal calculus as an alternative basisfor temporal relational completeness.

[1]  Albert Croker,et al.  The historical relational data model (HRDM) and algebra based on lifespans , 1986, 1987 IEEE Third International Conference on Data Engineering.

[2]  Shashi K. Gadia,et al.  A homogeneous relational model and query languages for temporal databases , 1988, TODS.

[3]  Richard T. Snodgrass,et al.  The temporal query language TQuel , 1984, TODS.

[4]  Johan van Benthem,et al.  The Logic of Time , 1983 .

[5]  Arie Shoshani,et al.  Logical modeling of temporal data , 1987, SIGMOD '87.

[6]  Alexander Tuzhilin,et al.  Using relational discrete event systems and models for prediction of future behavior of databases , 1989 .

[7]  Fred Krögr.  Temporal Logic Of Programs , 1987 .

[8]  Pierre Wolper,et al.  Handling infinite temporal data , 1990, PODS.

[9]  Jeffrey D. Ullman,et al.  Principles of database and knowledge-base systems, Vol. I , 1988 .

[10]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[11]  David Scott Warren,et al.  Formal semantics for time in databases , 1982, TODS.

[12]  TanselAbdullah Uz.  Adding time dimension to relational model and extending relational algebra , 1986 .

[13]  Abdullah Uz Tansel.  Adding time dimension to relational model and extending relational algebra , 1986, Inf. Syst..

[14]  Roger G. Johnson,et al.  TRA: A Model for a Temporal Relational Algebra , 1987, Temporal Aspects in Information Systems.

[15]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[16]  Marta Peixoto.  New York University , 1844, The American journal of dental science.

[17]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[18]  J. Clifford,et al.  On Completeness of Historical Relational Data Models , 1989 .

[19]  Gad Ariav,et al.  A temporally oriented data model , 1986, TODS.

[20]  Richard T. Snodgrass,et al.  The Temporal Query Language TQuel , 1987, ACM Trans. Database Syst..

[21]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[22]  Shamkant B. Navathe,et al.  TSQL: A Language Interface for History Databases , 1987, Temporal Aspects in Information Systems.