This paper introduces a recursive temporal algebra for querying time-varying data. The algebra, called!, is based on a temporal relational data model in which a temporal database is modeled as a collection of time-varying relations. Each time-varying relation is a collection of ordinary relations indexed by moments in time. In!, recursive queries (such as the transitive closure of a given relation) can be formulated through equations. It is shown that other forms of recursion, such as linear recursion, can also be expressed using iteration through time. The meaning of recursive equations is formulated using a standard approach based on fixed-point semantics. Temporal completeness of! with bounded time is established, with respect to two other temporal algebras based on temporal semantics which also offer linear recursive operators.
|
1654
|
Foundations of Logic Programming
– Lloyd
- 1984
|
|
544
|
A Relational Model of Data for Large Shared Data Banks
– Codd
- 1970
|
|
383
|
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
– Stoy
- 1977
|
|
345
|
The Theory of Relational Databases
– Maier
- 1983
|
|
304
|
The temporal query language TQuel
– Snodgrass
- 1984
|
|
260
|
Logic Programming and Databases
– Ceri, Gottlob, et al.
- 1990
|
|
193
|
The universality of data retrieval languages
– Aho, Ullman
- 1979
|
|
132
|
Mathematical Theory of Computation
– MANNA
- 1974
|
|
130
|
Temporal and real-time databases: a survey
– Ozsoyoglu, Snodgrass
- 1995
|
|
124
|
A homogeneous relational model and query languages for temporal databases
– GADIA
- 1988
|
|
73
|
Axioms for tense logic I
– Burgess
- 1982
|
|
66
|
Temporal Deductive Databases
– Baudinet, Chomicki, et al.
- 1993
|
|
62
|
et al. A Consensus Glossary of Temporal Database Concepts
– Jensen
- 1998
|
|
61
|
Dealing with granularity of time in temporal databases
– Wiederhold, Jajodia, et al.
- 1991
|
|
56
|
On an algebra for historical relational databases: Two views
– ord, Tansel
- 1985
|
|
53
|
On completeness of historical relational query languages
– CLIFFORD, CROKER, et al.
- 1993
|
|
44
|
Temporal Logic and Historical Databases
– Gabbay, McBrien
- 1991
|
|
43
|
A Temporal Relational Algebra as a Basis for Temporal Relational Completeness
– Tuzhilin, Clifford
- 1990
|
|
42
|
An Update of the Temporal Database Bibliography
– Kline
- 1993
|
|
34
|
Algebra and query language for a historical data model
– Sarda
- 1990
|
|
33
|
Evaluation of Relational Algebras Incorporating the Time Dimension in Databases
– Snodgrass
- 1991
|
|
27
|
The Logic of Time Representation
– Ladkin
- 1987
|
|
12
|
Algebraic optimization of recursive queries
– Houtsma, Apers
- 1992
|
|
12
|
On Temporal Deductive Databases
– Orgun
- 1996
|
|
8
|
A historical query language
– Tansel
- 1991
|
|
7
|
On the Completeness of Temporal Database Query Languages
– Bohlen, Marti
- 1994
|
|
7
|
A non-standard temporal deductive database system
– Gagn'e, Plaice
- 1996
|
|
6
|
On the power of algebras with recursion
– Beeri, Milo
- 1993
|
|
6
|
Benchmark Queries for Temporal Databases
– Kalua, Robertson
- 1993
|
|
5
|
SQL*: A Recursive SQL
– Koymen, Cai
- 1993
|
|
4
|
RQL: A recursive query language
– Ahad, Yao
- 1993
|
|
3
|
Incorporating an implicit time dimension into the relational model and algebra
– Orgun
- 1994
|
|
3
|
A relational algebra as a query language for Temporal Datalog
– Orgun, Wadge
- 1992
|
|
3
|
Tansel et al., editors. Temporal Databases: Theory, Design, and Implementation
– U
- 1993
|
|
2
|
A temporal paraconsistent relational algebra for incomplete and inconsistent information
– Bagai, Orgun
- 1995
|
|
2
|
Linearizing some recursive logic programs
– Guessarian, Pin
- 1995
|
|
2
|
A note on fixpoint techniques in data base recursive logic programs
– Guessarian
- 1988
|
|
