SpringerLink
Log in

Temporal Logic in Database Query Languages

  • Living reference work entry
  • First Online:
Encyclopedia of Database Systems

  • 61 Accesses

Definition

The term “temporal logic” is used in the area of formal logic, to describe systems for representing and reasoning about propositions and predicates whose truth depends on time. These systems are developed around a set of temporal connectives, such as sometime in the future or until, that provide implicit references to time instants. First-order temporal logic is a variant of temporal logic that allows first-order predicate (relational) symbols, variables, and quantifiers, in addition to temporal connectives. This logic can be used as a natural temporal query language for point-stamped temporal databases. A query (a temporal logic formula) is evaluated with respect to an evaluation point (time instant). Each such point determines a specific database snapshot that can be viewed as a relational database. Thus, the evaluation of temporal logic queries resembles the evaluation of first-order (relational calculus) queries equipped with an additional capability to “move” the...

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

Recommended Reading

  1. Abiteboul S, Herr L, Van den Bussche J. Temporal versus first-order logic to query temporal databases. In: Proceedings of the 15th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems; 1996. p. 49–57.

    Google Scholar 

  2. Baudinet M, Chomicki J, Wolper P. Temporal deductive databases, Chapter 13. In: Tansel A, Clifford J, Gadia S, Jajodia S, Segev A, Snodgrass RT, editors. Temporal databases: theory, design, and implementation. Reading: Benjamin/Cummings; 1993. p. 294–320.

    Google Scholar 

  3. de Castilho JMV, Casanova MA, Furtado AL. A temporal framework for database specifications. In: Proceedings of the 8th International Conference on Very Data Bases; 1982. p. 280–91.

    Google Scholar 

  4. Gabbay D, Hodkinson I, Reynolds M. Temporal logic: mathematical foundations and computational aspects. New York: Oxford University Press; 1994.

    Book  MATH  Google Scholar 

  5. Goranko V, Montanari A, Sciavicco G. A road map of interval temporal logics and duration calculi. J Appl Non-Classical Logics. 2004;14(1–2):9–54.

    Article  MATH  Google Scholar 

  6. Kamp J. Tense logic and the theory of linear order. PhD thesis, University of California, Los Angeles. 1968.

    Google Scholar 

  7. Koymans R. Specifying real-time properties with metric temporal logic. Real-Time Systems. 1990;2(4):255–99.

    Article  Google Scholar 

  8. Manna Z, Pnueli A. The temporal logic of reactive and concurrent systems. Berlin: Springer; 1992.

    Book  MATH  Google Scholar 

  9. Sernadas A. Temporal aspects of logical procedure definition. Inf Syst. 1980;5:167–87.

    Article  MATH  Google Scholar 

  10. Toman D. On incompleteness of multi-dimensional first-order temporal logics. In: Proceedings of the 10th International Symposium on Temporal Representation and Reasoning/4th International Conference Temporal Logic; 2003. p. 99–106.

    Google Scholar 

  11. Toman D, Niwinski D. First-order queries over temporal databases inexpressible in temporal logic. In: Advances in Database Technology, Proceedings of the 5th International Conference on Extending Database Technology; 1996. p. 307–24.

    Google Scholar 

  12. Tuzhilin A, Clifford J. A temporal relational algebra as a basis for temporal relational completeness. In: Proceedings of the 16th International Conference on Very Large Data Bases; 1990. p. 13–23.

    Google Scholar 

  13. van Benthem J. The logic of time. 2nd ed. D. Reidel; 1991.

    Google Scholar 

  14. Vardi MY. A temporal fixpoint calculus. In: Proceedings of the 15th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages; 1988. p. 250–9.

    Google Scholar 

  15. Wolper P. Temporal logic can be more expressive. Inf Contr. 1983;56:72–99.

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. State University of New York at Buffalo, Buffalo, NY, USA

    Jan Chomicki

  2. University of Waterloo, Waterloo, ON, Canada

    David Toman

Authors
  1. Jan Chomicki
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. David Toman
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Jan Chomicki or David Toman .

Editor information

Editors and Affiliations

  1. Georgia Institute of Technology College of Computing, Atlanta, Georgia, USA

    Ling Liu

  2. University of Waterloo School of Computer Science, Waterloo, Ontario, Canada

    M. Tamer Özsu

Section Editor information

  1. University of Arizona, Tucson, AZ, USA

    Richard T. Snodgrass

  2. Aalborg University, Selma Lagerlöfs Vej 300, DK-9220, Aalborg Øst, Denmark

    Christian S. Jensen Ph.D.

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer Science+Business Media New York

About this entry

Cite this entry

Chomicki, J., Toman, D. (2016). Temporal Logic in Database Query Languages. In: Liu, L., Özsu, M. (eds) Encyclopedia of Database Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4899-7993-3_402-2

Download citation

  • DOI: https://doi.org/10.1007/978-1-4899-7993-3_402-2

  • Received:

  • Accepted:

  • Published:

  • Publisher Name: Springer, New York, NY

  • Online ISBN: 978-1-4899-7993-3

  • eBook Packages: Springer Reference Computer SciencesReference Module Computer Science and Engineering

Publish with us

Policies and ethics

Search

Navigation