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