Encyclopedia of Database Systems

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

Temporal Relational Calculus

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

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

Recommended Reading

  1. 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.CrossRefGoogle 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