Skip to main content
SpringerLink
Log in

Querying TSQL2 databases with temporal logic

  • Temporal Databases
  • Conference paper
  • First Online:
Advances in Database Technology — EDBT '96 (EDBT 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1057))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.

    Google Scholar 

  2. S. Abiteboul, L. Herr, and J. Van den Bussche. Temporal Connectives versus Explicit Timestamps in Temporal Query Languages (unpublished manuscript).

    Google Scholar 

  3. J. F. Allen. Maintaining Knowledge about Temporal Intervals. Communications of the ACM, 16(11):832–843, 1983.

    Google Scholar 

  4. 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. 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. 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. J. Chomicki. Temporal Query Languages: a Survey. Proceedings of the First International Conference on Temporal Logic, pages 506–534, 1994.

    Google Scholar 

  8. 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. 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. R. Elmasri and S. B. Navathe. Fundamentals of Database Systems. Benjamin/Cummings Publishing Company, 2nd edition, 1994.

    Google Scholar 

  11. 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. D.M. Gabbay, I. Hodkinson, and M. Reynolds. Temporal Logic: Mathematical Foundations and Computational Aspects. Oxford University Press, 1994.

    Google Scholar 

  13. 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. D. Gabbay and P. McBrien. Temporal Logic and Historical Databases. In Proceedings of the International Conference on Very Large Databases, 1991.

    Google Scholar 

  15. 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. 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. 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. 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. U.W. Lipeck and G. Saake. Monitoring Dynamic Integrity Constraints Basedon Temporal Logic. Information Systems, 12(3):255–269, 1987.

    Google Scholar 

  20. J. Melton and A. R. Simon. Understanding the New SQL: A Complete Guide. Morgan Kaufmann Publishers, Inc., San Mateo, CA, 1993.

    Google Scholar 

  21. 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. N. Sarda. Extensions to SQL for Historical Databases. IEEE Transactions on Knowledge and Data Engineering, 2(2):220–230, June 1990.

    Google Scholar 

  23. 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. R. T. Snodgrass. The Temporal Query Language TQuel. ACM Transactions on Database Systems, 12(2):247–298, June 1987.

    Google Scholar 

  25. R. T. Snodgrass, editor. The TSQL2 Temporal Query Language. Kluwer Academic Publishers, 674+xxiv pages, 1995.

    Google Scholar 

  26. 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. A. U. Tansel. Adding time dimension to relational model and extending relational algebra. Information Systems, 11(4):343–355, 1986.

    Google Scholar 

  28. D. Toman. Point-based vs. Interval-based Temporal Query Languages. TR-CS-95-15, Kansas State University, 1995.

    Google Scholar 

  29. D. Toman and D. Niwiński. First-Order Temporal Queries Inexpressible in Temporal Logic. Proc. EDBT'96 (to appear), 1996.

    Google Scholar 

  30. 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. 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. B. Wüthrich. Large Deductive Databases with Constraints. PhD thesis, Department Informatik, ETH Zürich, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Mathematics and Computer Science, Aalborg University, Fredrik Bajers Vej 7E, DK-9220, Aalborg Ost, Denmark

    Michael H. Böhlen

  2. Department of Computer Science, Monmouth University, 07764, West Long Branch, NJ

    Jan Chomicki

  3. Department of Computer Science, University of Arizona, 85721, Tucson, AZ

    Richard T. Snodgrass

  4. Department of Computer Science, University of Toronto, M5S 1A4, Toronto, Ontario, Canada

    David Toman

Authors
  1. Michael H. Böhlen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jan Chomicki
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Richard T. Snodgrass
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. David Toman
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Peter Apers Mokrane Bouzeghoub Georges Gardarin

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Böhlen, M.H., Chomicki, J., Snodgrass, R.T., Toman, D. (1996). Querying TSQL2 databases with temporal logic. In: Apers, P., Bouzeghoub, M., Gardarin, G. (eds) Advances in Database Technology — EDBT '96. EDBT 1996. Lecture Notes in Computer Science, vol 1057. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014161

Download citation

  • DOI: https://doi.org/10.1007/BFb0014161

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61057-1

  • Online ISBN: 978-3-540-49943-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation