On the semantics of (Bi)temporal variable databases

  • James Clifford
  • Tomás Isakowitz
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 779)

Abstract

Numerous proposals for extending the relational data model to incorporate the temporal dimension of data have appeared during the past several years. These have ranged from historical data models, incorporating a valid time dimension, to rollback data models, incorporating a transaction time dimension, to bitemporal data models, incorporating both of these temporal dimensions. Many of these models have been presented in a non-traditional fashion, allowing the use of variables at the instance level. Unfortunately, the precise semantics of these database objects, e.g. tuples, with variables has not been made clear. In this paper we propose a framework for providing a formal specification of the precise semantics of this type of database, which we call a variable database. In addition, since more than one possible interpretation can be given to the specific temporal variables, such as now and ∞, which have appeared in the literature, we discuss several alternative semantics that can be given to these temporal variable databases incorporating one or more of these variables. We also present a constraint on the way such databases are allowed to evolve in time if they are to support a rollback operator.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    G. Ariav. A temporally oriented data model. ACM Transactions on Database Systems, 11(4):499–527, December 1986.Google Scholar
  2. 2.
    J. Ben-Zvi. The Time Relational Model. PhD thesis, University of California at Los Angeles, 1982.Google Scholar
  3. 3.
    J. Clifford. Indexical databases. In Proceedings of Workshop on Current Issues in Database Systems, Newark, N.J., October 1992. Rutgers University.Google Scholar
  4. 4.
    J. Clifford and A. Croker. The historical relational data model HRDM and algebra based on lifespans. In Proc. Third International Conference on Data Engineering, pages 528–537, Los Angeles, February 1987. IEEE.Google Scholar
  5. 5.
    J. Clifford, A. Croker, and A. Tuzhilin. On completeness of query languages for grouped and ungrouped historical data models. In A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. Snodgrass, editors, Temporal Databases. Benjamin-Cummings, 1993.Google Scholar
  6. 6.
    J. Clifford and A.U. Tansel. On an algebra for historical relational databases: Two views. In S. Navathe, editor, Proceedings of ACM SIGMOD Conference, pages 247–265, Austin, TX, May 1985. ACM.Google Scholar
  7. 7.
    J. Clifford and D. S. Warren. Formal semantics for time in databases. ACM Transactions on Database Systems, 6(2):214–254, June 1983.Google Scholar
  8. 8.
    M. Finger. Handling database updates in two-dimensional temporal logic. Journal of Applied Non-Classical Logics, 2(2), 1992.Google Scholar
  9. 9.
    S. Gadia. A seamless generic extension of SQL for querying temporal data. Technical report, Iowa State University, 1992.Google Scholar
  10. 10.
    S. K. Gadia. A homogeneous relational model and query languages for temporal databases. TODS, 13(4):418–448, 1988.Google Scholar
  11. 11.
    C. S. Jensen, L. Mark, and N. Roussopoulos. Incremental implementation model for relational databases with transaction time. Technical Report UMIACS-TR-8963/CS-TR-2275, University of Maryland, College Park, MD, June 1989.Google Scholar
  12. 12.
    C. S. Jensen, R. T. Snodgrass, and M. D. Soo. Extending normal forms to temporal relations. TR 92-17, Department of Computer Science, University of Arizona, Tucson, AZ, July 1992.Google Scholar
  13. 13.
    C.S. Jensen, J. Clifford, S.K. Gaida, A. Segev, and R.T. Snodgrass. A glossary of temporal database concepts. ACM SIGMOD Record, 21(3), September 1992.Google Scholar
  14. 14.
    C.S. Jensen and R. Snodgrass. Temporal specialization. In F. Golshani, editor, Proceedings of the International Conference on Data Engineering, pages 594–603, Tempe, AZ, feb 1992. IEEE.Google Scholar
  15. 15.
    C.S Jensen and R.T. Snodgrass. Proposal of a data model for the temporal structured query language. TempIS Technical Report 37, Department of Computer Science, University of Arizona, Tucson, AZ, July 1992.Google Scholar
  16. 16.
    S. Jones and P.J. Mason. Handling the time dimension in a data base. In Proc. International Conference on Data Bases, pages 65–83, Heyden, July 1980. British Computer Society.Google Scholar
  17. 17.
    D. Lomet and B. Salzberg. Rollback databases. Technical Report NU-CCS-92-3, Northeastern University, 1992.Google Scholar
  18. 18.
    R.G. Lorentzos, N.A. Johnson. TRA: A model for a temporal relational algebra. In Proceedings of the Conference on Temporal Aspects in Information Systems, pages 99–112, France, May 1987. AFCET.Google Scholar
  19. 19.
    E. McKenzie and R. Snodgrass. Supporting valid time in an historical relational algebra: Proofs and extensions. Technical Report TR-91-15, Department of Computer Science, University of Arizona, Tucson, AZ, August 1991.Google Scholar
  20. 20.
    R. Montague. Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven, 1974.Google Scholar
  21. 21.
    S. B. Navathe and R. Ahmed. A temporal relational model and a query language. Information Sciences, 49(2):147–175, 1989.Google Scholar
  22. 22.
    R. Reiter. Towards a logical reconstruction of relational database theory. In On Conceptual Modelling, pages 191–233. Springer, 1984.Google Scholar
  23. 23.
    N.L. Sarda. Algebra and query language for a historical data model. The Computer Journal, 33(1):11–18, February 1990.Google Scholar
  24. 24.
    R. Snodgrass. The temporal query language TQuel. ACM Transactions on Database Systems, 12(2):247–298, June 1987.Google Scholar
  25. 25.
    A.U. Tansel. Adding time dimension to relational model and extending relational algebra. Information Systems, 11(4):343–355, 1986.Google Scholar
  26. 26.
    G. Wiederhold, S. Jajodia, and W. Litwin. Integrating temporal data in a heterogeneous environment. In A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. Snodgrass, editors, Temporal Databases. Press, 1993.Google Scholar

Copyright information

© Springer-Verlag 1994

Authors and Affiliations

  • James Clifford
    • 1
  • Tomás Isakowitz
    • 1
  1. 1.Leonard N. Stern School of BusinessNew York UniversityNew York

Personalised recommendations