Encyclopedia of Database Systems

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

Temporal Relational Calculus

Living reference work entry
DOI: https://doi.org/10.1007/978-1-4899-7993-3_1531-2

Synonyms

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.Google Scholar

Copyright information

© Springer Science+Business Media New York 2016

Authors and Affiliations

  1. 1.State University of New York at BuffaloBuffaloUSA
  2. 2.University of WaterlooWaterlooCanada