Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Recommended Reading
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.
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.
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.
Gabbay D, Hodkinson I, Reynolds M. Temporal logic: mathematical foundations and computational aspects. New York: Oxford University Press; 1994.
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.
Kamp J. Tense logic and the theory of linear order. PhD thesis, University of California, Los Angeles. 1968.
Koymans R. Specifying real-time properties with metric temporal logic. Real-Time Syst. 1990;2(4):255–99.
Manna Z, Pnueli A. The temporal logic of reactive and concurrent systems. Berlin: Springer; 1992.
Sernadas A. Temporal aspects of logical procedure definition. Inf Syst. 1980;5:167–87.
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.
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.
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.
van Benthem J. The logic of time. 2nd ed. D. Reidel; 1991.
Vardi MY. A temporal fixpoint calculus. In: Proceedings of the 15th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages; 1988. p. 250–9.
Wolper P. Temporal logic can be more expressive. Inf Contr. 1983;56:72–99.
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Section Editor information
Rights and permissions
Copyright information
© 2018 Springer Science+Business Media, LLC, part of Springer Nature
About this entry
Cite this entry
Chomicki, J., Toman, D. (2018). Temporal Logic in Database Query Languages. In: Liu, L., Özsu, M.T. (eds) Encyclopedia of Database Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-8265-9_402
Download citation
DOI: https://doi.org/10.1007/978-1-4614-8265-9_402
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-8266-6
Online ISBN: 978-1-4614-8265-9
eBook Packages: Computer ScienceReference Module Computer Science and Engineering