Encyclopedia of Database Systems

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

Temporal Integrity Constraints

Living reference work entry
First Online:
Received:
Accepted:
DOI: https://doi.org/10.1007/978-1-4899-7993-3_400-2
How to cite

Synonyms

Dynamic integrity constraints

Definition

Temporal integrity constraints are integrity constraints formulated over temporal databases. They can express dynamic properties by referring to data valid at different time points. This is to be contrasted with databases that do not store past or future information: if integrity constraints can only refer to data valid at the current time, they can only express static properties. Languages for expressing temporal integrity constraints extend first-order logic with explicit timestamps or with temporal connectives. An important question is how to check and enforce such temporal integrity constraints efficiently.

Historical Background

The use of first-order temporal logic for expressing temporal integrity constraints dates back to the early 1980s (see, e.g., [2]). Since the late 1980s, progress has been made in the problem of checking temporal integrity [3, 9, 11] without having to store the entire database history. This entry deals with...

Keywords

Temporal Logic Static Constraint Integrity Constraint Database State Database History 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.

Recommended Reading

  1. 1.
    Bidoit N, de Amo S. A first step towards implementing dynamic algebraic dependences. Theor Comput Sci. 1998;190(2):115–49.MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    de Castilho JMV, Casanova MA, Furtado AL. A temporal framework for database specifications. In: Proceedings of 8th International Conference on Very Data Bases; 1982. p. 280–91.Google Scholar
  3. 3.
    Chomicki J. Efficient checking of temporal integrity constraints using bounded history encoding. ACM Trans Database Syst. 1995;20(2):149–86.CrossRefGoogle Scholar
  4. 4.
    Chomicki J, Niwinski D. On the feasibility of checking temporal integrity constraints. J Comput Syst Sci. 1995;51(3):523–35.MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Chomicki J, Toman D. Implementing temporal integrity constraints using an active DBMS. IEEE Trans Knowl Data Eng. 1995;7(4):566–82.CrossRefGoogle Scholar
  6. 6.
    Chomicki J, Toman D. Temporal logic in information systems. In: Chomicki J, Saake G, editors. Logics for databases and information systems. Dordecht: Kluwer; 1998. p. 31–70.CrossRefGoogle Scholar
  7. 7.
    Chomicki J, Toman D. Temporal databases. In: Fisher M, Gabbay DM, Vila L, editors. Handbook of temporal reasoning in artificial intelligence. Amsterdam: Elsevier Science; 2005.Google Scholar
  8. 8.
    Li W, Snodgrass RT, Deng S, Gattu VK, Kasthurirangan A. Efficient sequenced integrity constraint checking. In: Proceedings of 17th International Conference on Data Engineering; 2001. p. 131–40.Google Scholar
  9. 9.
    Lipeck UW, Saake G. Monitoring dynamic integrity constraints based on temporal logic. Inf Syst. 1987;12(3):255–69.CrossRefMATHGoogle Scholar
  10. 10.
    Plexousakis D. Integrity constraint and rule maintenance in temporal deductive knowledge bases. In: Proceedings of 19th International Conference on Very Large Data Bases; 1993. p. 146–57.Google Scholar
  11. 11.
    Sistla AP, Wolfson O. Temporal conditions and integrity constraints in active database systems. In: Proceedings of ACM SIGMOD International Conference on Management of Data; 1995. p. 269–80.Google Scholar
  12. 12.
    Sistla AP, Wolfson O. Temporal triggers in active databases. IEEE Trans Knowl Data Eng. 1995;7(3):471–86.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media LLC 2016

Authors and Affiliations

  1. 1.University of MonsMonsBelgium