Skip to main content
SpringerLink
Log in

Temporal Relational Calculus

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

  • 117 Accesses

Synonyms

Two-sorted first-order logic

Definition

Temporal Relational Calculus (TRC) is a temporal query language extending the relational calculus. In addition to data variables and quantifiers ranging over a data domain (a universe of uninterpreted constants), temporal relational calculus allows temporal variables and quantifiers ranging over an appropriate time domain [1].

Key Points

A natural temporal extension of the relational calculus allows explicit variables and quantification over a given time domain, in addition to the variables and quantifiers over a data domain of uninterpreted constants. The language is simply the two-sorted version (variables and constants are temporal or non-temporal) of first-order logic over a data domain D and a time domain T.

The syntax of the two-sorted first-order language over a database schema ρ = {R 1,…,R k } is defined by the grammar rule:

$$ \begin{array}{l}Q::=R\left({t}_i,{x}_{i_1},\dots,...

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. Chomicki J, Toman D. Temporal databases. In: Fischer M, Gabbay D, Villa L, editors. Handbook of temporal reasoning in artificial intelligence, Foundations of artificial intelligence. New York: Elsevier; 2005. p. 429–67.

    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 author

Correspondence to Jan Chomicki .

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 Relational Calculus. In: Liu, L., Özsu, M. (eds) Encyclopedia of Database Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4899-7993-3_1531-2

Download citation

  • DOI: https://doi.org/10.1007/978-1-4899-7993-3_1531-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