Skip to main content
SpringerLink
Log in
Book cover

Encyclopedia of Database Systems pp 3980–3986Cite as

Temporal Integrity Constraints

  • Reference work entry
  • First Online:

  • 14 Accesses

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

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   4,499.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD   6,499.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Recommended Reading

  1. Bidoit N, de Amo S. A first step towards implementing dynamic algebraic dependences. Theor Comput Sci. 1998;190(2):115–49.

    Article  MathSciNet  MATH  Google Scholar 

  2. 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.

    Google Scholar 

  3. Chomicki J. Efficient checking of temporal integrity constraints using bounded history encoding. ACM Trans Database Syst. 1995;20(2):149–86.

    Article  Google Scholar 

  4. Chomicki J, Niwinski D. On the feasibility of checking temporal integrity constraints. J Comput Syst Sci. 1995;51(3):523–35.

    Article  MathSciNet  MATH  Google Scholar 

  5. Chomicki J, Toman D. Implementing temporal integrity constraints using an active DBMS. IEEE Trans Knowl Data Eng. 1995;7(4):566–82.

    Article  Google Scholar 

  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.

    Chapter  MATH  Google Scholar 

  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. Li W, Snodgrass RT, Deng S, Gattu VK, Kasthurirangan A. Efficient sequenced integrity constraint checking. In: Proceedings of the 17th International Conference on Data Engineering; 2001. p. 131–40.

    Google Scholar 

  9. Lipeck UW, Saake G. Monitoring dynamic integrity constraints based on temporal logic. Inf Syst. 1987;12(3):255–69.

    Article  MATH  Google Scholar 

  10. Plexousakis D. Integrity constraint and rule maintenance in temporal deductive knowledge bases. In: Proceedings of the 19th International Conference on Very Large Data Bases; 1993. p. 146–57.

    Google Scholar 

  11. Sistla AP, Wolfson O. Temporal conditions and integrity constraints in active database systems. In: Proceedings of the ACM SIGMOD International Conference on Management of Data; 1995. p. 269–80.

    Article  Google Scholar 

  12. Sistla AP, Wolfson O. Temporal triggers in active databases. IEEE Trans Knowl Data Eng. 1995;7(3):471–86.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Mons, Mons, Belgium

    Jef Wijsen

Authors
  1. Jef Wijsen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jef Wijsen .

Editor information

Editors and Affiliations

  1. Georgia Institute of Technology College of Computing, Atlanta, GA, USA

    Ling Liu

  2. University of Waterloo School of Computer Science, Waterloo, ON, Canada

    M. Tamer Özsu

Section Editor information

  1. University of Arizona, Tucson, AZ, USA

    Richard T. Snodgrass

  2. Aalborg University, Aalborg Øst, Denmark

    Christian S. Jensen

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Science+Business Media, LLC, part of Springer Nature

About this entry

Check for updates. Verify currency and authenticity via CrossMark

Cite this entry

Wijsen, J. (2018). Temporal Integrity Constraints. 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_400

Download citation

Publish with us

Policies and ethics

Search

Navigation