Temporal Data Integrity Validation

Databases are commonly used to store, safeguard, search, and modify data. Due to the enormous volumes of data being stored and manipulated by modern database applications, data-integrity validation has become ever more important. In this article, I examine the problem of temporal data-integrity validation and the use of Linear Time Temporal Logic (LTL) to specify temporal data-integrity rules.