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...
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Recommended Reading
Bidoit N, de Amo S. A first step towards implementing dynamic algebraic dependences. Theor Comput Sci. 1998;190(2):115–49.
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.
Chomicki J. Efficient checking of temporal integrity constraints using bounded history encoding. ACM Trans Database Syst. 1995;20(2):149–86.
Chomicki J, Niwinski D. On the feasibility of checking temporal integrity constraints. J Comput Syst Sci. 1995;51(3):523–35.
Chomicki J, Toman D. Implementing temporal integrity constraints using an active DBMS. IEEE Trans Knowl Data Eng. 1995;7(4):566–82.
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.
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.
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.
Lipeck UW, Saake G. Monitoring dynamic integrity constraints based on temporal logic. Inf Syst. 1987;12(3):255–69.
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.
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.
Sistla AP, Wolfson O. Temporal triggers in active databases. IEEE Trans Knowl Data Eng. 1995;7(3):471–86.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Section Editor information
Rights and permissions
Copyright information
© 2018 Springer Science+Business Media, LLC, part of Springer Nature
About this entry
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
DOI: https://doi.org/10.1007/978-1-4614-8265-9_400
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-8266-6
Online ISBN: 978-1-4614-8265-9
eBook Packages: Computer ScienceReference Module Computer Science and Engineering