Point-Based Temporal Extension of Temporal SQL

We propose a new approach to temporal extensions of SQL. Unlike the current proposals, e.g., SQL/Temporal, we use point-based references to time as the basis of our approach. The proposed language—SQL/TP—extends the syntax and semantics of SQL/92 in a very natural way: by adding a single data type to represent a linearly ordered universe of individual time instants. Such an extension allows the users to write temporal queries in customary fashion and vastly simplifies the semantics of the proposed language: we merely use the familiar SQL semantics. In this way SQL/TP also fixes many problems present in the semantics of the temporal query languages based on explicit interval-valued temporal attributes. In addition, we propose an efficient query evaluation procedure over a compact interval-based encoding of temporal relations. The algorithm is based on a sophisticated compilation technique that translates SQL/TP queries to SQL/92. In this way existing database systems can be used for managing temporal data. We substantiate this claim by proposing an experimental version of a SQL/TP compiler to serve as a front-end for DB21 [13].

[1]  Nikos A. Lorentzos The Interval-extended Relational Model and Its Applications to Valid-time Databases , 1993, Temporal Databases.

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

[3]  Christian S. Jensen,et al.  Seamless integration of time into sql , 1996 .

[4]  Jan Chomicki,et al.  Measuring infinite relations , 1995, PODS '95.

[5]  Jan Chomicki,et al.  Variable independence and aggregation closure , 1996, PODS.

[6]  Christian S. Jensen,et al.  Adding Valid Time to SQL/Temporal , 1996 .

[7]  David Toman,et al.  First-Order Queries over Temporal Databases Inexpressible in Temporal Logic , 1996, EDBT.

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

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

[10]  Christian S. Jensen,et al.  Evaluating and Enhancing the Completeness of TSQL2 , 1995 .

[11]  Gabriel KuperECRCkuper Measuring Innnite Relations , 2007 .

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

[13]  Richard T. Snodgrass,et al.  An Overview of TQuel , 1993, Temporal Databases.

[14]  Jan Chomicki,et al.  Temporal Query Languages: A Survey , 1994, ICTL.

[15]  C. J. Date A Guide to the SQL Standard , 1987 .

[16]  H. Paul Williams,et al.  Fourier-Motzkin Elimination Extension to Integer Programming Problems , 1976, J. Comb. Theory, Ser. A.

[17]  David Toman,et al.  Point vs. interval-based query languages for temporal databases (extended abstract) , 1996, PODS.

[18]  Christian S. Jensen,et al.  Evaluating the Completeness of TSQL2 , 1995, Temporal Databases.

[19]  Jan Chomicki,et al.  Querying TSQL2 Databases with Temporal Logic , 1996, EDBT.

[20]  James F. Allen Maintaining knowledge about temporal intervals , 1983, CACM.

[21]  Christian S. Jensen,et al.  Unification of temporal data models , 1993, Proceedings of IEEE 9th International Conference on Data Engineering.

[22]  Richard T. Snodgrass,et al.  Coalescing in Temporal Databases , 1996, VLDB.

[23]  Serge Abiteboul,et al.  Temporal versus first-order logic to query temporal databases , 1996, PODS.