Temporal Integrity Constraints [chapter]

Hans Hinterberger, Josep Domingo-Ferrer, Vipul Kashyap, Vijay Khatri, Richard T. Snodgrass, Paolo Terenziani, Manolis Koubarakis, Yue Zhang, James B. D. Joshi, Johann Gamper, Michael Böhlen, Christian S. Jensen (+145 others)
2009 Encyclopedia of Database Systems  
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
more » ... st-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 eighties (see for example [7] ). Since the late eighties, progress has been made in the problem of checking temporal integrity [9, 2, 11] without having to store the entire database history. This entry deals with general temporal integrity constraints. The entry Temporal Dependencies deals with temporal variants of specific constraints, in particular with temporal extensions of functional dependencies.
doi:10.1007/978-0-387-39940-9_400 fatcat:sfrzk2obmbf7lmtiz2saetuvhu