Static integrity constraints involve only the current database state. Temporal integrity constraints involve current, past, and future database states; they can be expressed by essentially unrestricted sentences in temporal logic. Certain syntactically restricted classes of temporal constraints have been studied in their own right for considerations of feasibility or practicality; they are usually called temporal dependencies. Most temporal dependencies proposed in the literature are dynamic versions of static functional dependencies.
Static dependencies (functional, multivalued, join, and other dependencies) have been investigated in depth since the early years of the relational model. Classical problems about dependencies concern logical implication and axiomatization. The study of a particular dependency class is often motivated by its practical importance in databases. This is undeniably the case for the notion of functional dependency (FD), which...
- 3.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
- 9.Wijsen J. Design of temporal relational databases based on dynamic and temporal functional dependencies. In: Clifford J, Tuzhilin A, editors. Temporal databases. Workshops in computing. Berlin/Heidelberg/New York: Springer; 1995. p. 61–76.Google Scholar