Querying TSQL2 databases with temporal logic

  • Michael H. Böhlen
  • Jan Chomicki
  • Richard T. Snodgrass
  • David Toman
Temporal Databases
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1057)

Abstract

We establish an exact correspondence between temporal logic and a subset of TSQL2, a consensus temporal extension of SQL-92. The translation from temporal logic to TSQL2 developed here enables a user to write high-level queries which can be evaluated against a space-efficient representation of the database. The reverse translation, also provided, makes it possible to characterize the expressive power of TSQL2. We demonstrate that temporal logic is equal in expressive power to a syntactically defined subset of TSQL2.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AHV95]
    S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.Google Scholar
  2. [AHVdB95]
    S. Abiteboul, L. Herr, and J. Van den Bussche. Temporal Connectives versus Explicit Timestamps in Temporal Query Languages (unpublished manuscript).Google Scholar
  3. [All83]
    J. F. Allen. Maintaining Knowledge about Temporal Intervals. Communications of the ACM, 16(11):832–843, 1983.Google Scholar
  4. [BJS95]
    M. H. Böhlen, C. S. Jensen, and R. T. Snodgrass. Evaluating and Enhancing the Completeness of TSQL2. Technical Report TR 95-5, Computer Science Department, University of Arizona, June 1995.Google Scholar
  5. [CC87]
    J. Clifford and A. Croker. The Historical Relational Data Model (HRDM) and Algebra based on Lifespans. In Proceedings of the International Conference on Data Engineering, pages 528–537, Los Angeles, CA, February 1987.Google Scholar
  6. [CCT94]
    J. Clifford, A. Croker, and A. Tuzhilin. On Completeness of Historical Relational Query Languages. ACM Transactions on Database Systems, 19(1):64–116, March 1994.Google Scholar
  7. [Cho94]
    J. Chomicki. Temporal Query Languages: a Survey. Proceedings of the First International Conference on Temporal Logic, pages 506–534, 1994.Google Scholar
  8. [Cho95]
    J. Chomicki. Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding. ACM Transactions on Database Systems, (20) 2, 149–186, 1995.Google Scholar
  9. [CT95]
    J. Chomicki and D. Toman. Implementing Temporal Integrity Constraints Using an Active DBMS. IEEE Transactions on Knowledge and Data Engineering, Vol. 7, No. 4, August 1995.Google Scholar
  10. [EN94]
    R. Elmasri and S. B. Navathe. Fundamentals of Database Systems. Benjamin/Cummings Publishing Company, 2nd edition, 1994.Google Scholar
  11. [Gad88]
    S. K. Gadia. A Homogeneous Relational Model and Query Language for Temporal Databases. ACM Transactions on Database Systems, 13(4):418–448, December 1988.Google Scholar
  12. [GHR94]
    D.M. Gabbay, I. Hodkinson, and M. Reynolds. Temporal Logic: Mathematical Foundations and Computational Aspects. Oxford University Press, 1994.Google Scholar
  13. [GL93]
    M. Gertz and U.W. Lipeck. Deriving Integrity Maintaining Triggers from Transition Graphs. In Proceedings of the International Conference on Data Engineering, 1993.Google Scholar
  14. [GM91]
    D. Gabbay and P. McBrien. Temporal Logic and Historical Databases. In Proceedings of the International Conference on Very Large Databases, 1991.Google Scholar
  15. [GN93]
    S. K. Gadia and S. S. Nair. Temporal Databases: A Prelude to Parametric Data. In A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. T. Snodgrass, editors, Temporal Databases: Theory, Design, and Implementation, pages 28–66. Benjamin/Cummings Publishing Company, 1993.Google Scholar
  16. [JCE+94]
    C. S. Jensen, J. Clifford, R. Elmasri, S. K. Gadia,P. Hayes, and S. Jajodia editors. A Glossary of Temporal Database Concepts. ACM SIGMOD Record, 23(1):52-64, March 1994.Google Scholar
  17. [Klu82]
    A. Klug. Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions. Journal of the ACM, 29(3):699–717, 1982.Google Scholar
  18. [LM93]
    T. Y. C. Leung and R. R. Muntz. Stream Processing: Temporal Query Processing and Optimization. In A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. T. Snodgrass, editors, Temporal Databases: Theory, Design, and Implementation, chapter 14, pages 329–355. Benjamin/Cummings Publishing Company, 1993.Google Scholar
  19. [LS87]
    U.W. Lipeck and G. Saake. Monitoring Dynamic Integrity Constraints Basedon Temporal Logic. Information Systems, 12(3):255–269, 1987.Google Scholar
  20. [MS93]
    J. Melton and A. R. Simon. Understanding the New SQL: A Complete Guide. Morgan Kaufmann Publishers, Inc., San Mateo, CA, 1993.Google Scholar
  21. [NA93]
    S. Navathe and R. Ahmed. Temporal Extensions to the Relational Model and SQL. In A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. T. Snodgrass, editors, Temporal Databases: Theory, Design, and Implementation, pages 92–109. Benjamin/Cummings Publishing Company, 1993.Google Scholar
  22. [Sar90]
    N. Sarda. Extensions to SQL for Historical Databases. IEEE Transactions on Knowledge and Data Engineering, 2(2):220–230, June 1990.Google Scholar
  23. [Sar93]
    N. Sarda. HSQL: A Historical Query Language. In A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. T. Snodgrass, editors, Temporal Databases: Theory, Design, and Implementation. Benjamin/Cummings Publishing Company, 1993.Google Scholar
  24. [Sno87]
    R. T. Snodgrass. The Temporal Query Language TQuel. ACM Transactions on Database Systems, 12(2):247–298, June 1987.Google Scholar
  25. [Sno95]
    R. T. Snodgrass, editor. The TSQL2 Temporal Query Language. Kluwer Academic Publishers, 674+xxiv pages, 1995.Google Scholar
  26. [SW95]
    A.P. Sistla and O. Wolfson. Temporal Triggers in Active Databases. IEEE Transactions on Knowledge and Data Engineering, 7(3):471–486, June, 1995.Google Scholar
  27. [Tan86]
    A. U. Tansel. Adding time dimension to relational model and extending relational algebra. Information Systems, 11(4):343–355, 1986.Google Scholar
  28. [Tom95]
    D. Toman. Point-based vs. Interval-based Temporal Query Languages. TR-CS-95-15, Kansas State University, 1995.Google Scholar
  29. [TN96]
    D. Toman and D. Niwiński. First-Order Temporal Queries Inexpressible in Temporal Logic. Proc. EDBT'96 (to appear), 1996.Google Scholar
  30. [TC90]
    A. Tuzhilin and J. Clifford. A Temporal Relational Algebra as a Basis for Temporal Relational Completeness. In Proceedings of the International Conference on Very Large Databases, 1990.Google Scholar
  31. [VGT91]
    A. Van Gelder and R.W. Topor. Safety and Translation of Relational Calculus Queries. ACM Transactions on Database Systems, 16(2):235–278, June 1991.Google Scholar
  32. [Wüt91]
    B. Wüthrich. Large Deductive Databases with Constraints. PhD thesis, Department Informatik, ETH Zürich, 1991.Google Scholar

Copyright information

© Springer-Verlag 1996

Authors and Affiliations

  • Michael H. Böhlen
    • 1
  • Jan Chomicki
    • 2
  • Richard T. Snodgrass
    • 3
  • David Toman
    • 4
  1. 1.Dept. of Mathematics and Computer ScienceAalborg UniversityAalborg OstDenmark
  2. 2.Department of Computer ScienceMonmouth UniversityWest Long Branch
  3. 3.Department of Computer ScienceUniversity of ArizonaTucson
  4. 4.Department of Computer ScienceUniversity of TorontoTorontoCanada

Personalised recommendations