Encyclopedia of Database Systems

2018 Edition
| Editors: Ling Liu, M. Tamer Özsu

Temporal Logic in Database Query Languages

  • Jan Chomicki
  • David Toman
Reference work entry
DOI: https://doi.org/10.1007/978-1-4614-8265-9_402

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 to check access.

Recommended Reading

  1. 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. 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. 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. 4.
    Gabbay D, Hodkinson I, Reynolds M. Temporal logic: mathematical foundations and computational aspects. New York: Oxford University Press; 1994.zbMATHCrossRefGoogle Scholar
  5. 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.zbMATHCrossRefGoogle Scholar
  6. 6.
    Kamp J. Tense logic and the theory of linear order. PhD thesis, University of California, Los Angeles. 1968.Google Scholar
  7. 7.
    Koymans R. Specifying real-time properties with metric temporal logic. Real-Time Syst. 1990;2(4):255–99.CrossRefGoogle Scholar
  8. 8.
    Manna Z, Pnueli A. The temporal logic of reactive and concurrent systems. Berlin: Springer; 1992.zbMATHCrossRefGoogle Scholar
  9. 9.
    Sernadas A. Temporal aspects of logical procedure definition. Inf Syst. 1980;5:167–87.zbMATHCrossRefGoogle Scholar
  10. 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. 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.CrossRefGoogle Scholar
  12. 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. 13.
    van Benthem J. The logic of time. 2nd ed. D. Reidel; 1991.Google Scholar
  14. 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. 15.
    Wolper P. Temporal logic can be more expressive. Inf Contr. 1983;56:72–99.MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Department of Computer Science and EngineeringState University of New York at BuffaloBuffaloUSA
  2. 2.University of WaterlooWaterlooCanada

Section editors and affiliations

  • Richard T. Snodgrass
    • 1
  • Christian S. Jensen
    • 2
  1. 1.University of ArizonaTucsonUSA
  2. 2.Aalborg UniversityAalborg ØstDenmark