On Periodicity in Temporal Databases

The issue of periodicity is generally understood to be a desirable property of temporal data that should be supported by temporal database models and their query languages. Nevertheless, there has so far not been any systematic examination of how to incorporate this concept into a temporal DBMS. In this paper we describe two concepts of periodicity, which we call strong periodicity and near periodicity, and discuss how they capture formally two of the intuitive meanings of this term. We formally compare the expressive power of these two concepts, relate them to existing temporal query languages, and show how they can be incorporated into temporal relational database query languages, such as the proposed temporal extension to SQL, in a clean and straightforward manner.

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

[2]  Ramez Elmasri,et al.  TSQL2 language specification , 1994, SGMD.

[3]  Roger G. Johnson,et al.  Extending relational algebra to manipulate temporal data , 1988, Inf. Syst..

[4]  James Clifford,et al.  A Temporal Relational Algebra as a Basis for Temporal Relational Completeness , 1990, VLDB.

[5]  T. Lougenia Anderson,et al.  Modeling Time at the Conceptual Level , 1982, International Conference on Data and Knowledge Bases.

[6]  Pierre Wolper Temporal Logic Can Be More Expressive , 1983, Inf. Control..

[7]  Moshe Y. Vardi A temporal fixpoint calculus , 1988, POPL '88.

[8]  Alexander Tuzhilin,et al.  Templar: a knowledge-based language for software specifications using temporal logic , 1991, TOIS.

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

[10]  Michael Stonebraker,et al.  Implementing calendars and temporal rules in next generation databases , 1994, Proceedings of 1994 IEEE 10th International Conference on Data Engineering.

[11]  Narain H. Gehani,et al.  Event specification in an active object-oriented database , 1992, SIGMOD '92.

[12]  llsoo Ahn,et al.  Temporal Databases , 1986, Computer.

[13]  Albert Croker,et al.  On completeness of historical relational query languages , 1991, TODS.

[14]  Richard T. Snodgrass,et al.  Schema Evolution and the Relational Algebra , 1990, Inf. Syst..

[15]  Mark A. Boyer The American heritage dictionary , 1984 .

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

[17]  ChomickiJan,et al.  Finite representation of infinite query answers , 1993 .

[18]  Jan Chomicki,et al.  Finite representation of infinite query answers , 1993, TODS.

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

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

[21]  Mehmet A. Orgun,et al.  ON TEMPORAL DEDUCTIVE DATABASES , 1996, Comput. Intell..

[22]  Arie Segev,et al.  A glossary of temporal database concepts , 1992, SGMD.

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

[24]  Thomas A. Henzinger,et al.  A really temporal logic , 1994, JACM.

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

[26]  Shamkant B. Navathe,et al.  A Temporal Relational Model and a Query Language , 1989, Inf. Sci..

[27]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[28]  Christian S. Jensen,et al.  Temporal Specialization and Generalization , 1994, IEEE Trans. Knowl. Data Eng..

[29]  Richard T. Snodgrass,et al.  The TSQL2 Temporal Query Language , 1995 .

[30]  James F. Allen Towards a General Theory of Action and Time , 1984, Artif. Intell..

[31]  Wolfgang Thomas,et al.  A Combinatorial Approach to the Theory of omega-Automata , 1981, Inf. Control..