On the feasibility of checking temporal integrity constraints

We analyze the computational feasibility of checking temporal integrity constraints formulated in some sublanguages of first-order temporal logic. Our results illustrate the impact of the quantification on the complexity of this problem. The presence of a single quantifier in the scope of a temporal operator makes the problem undecidable. On the other hand, if no quantifiers are in the scope of a temporal operator and all the quantifiers are universal, temporal integrity checking can be done in exponential time.

[1]  Antonio L. Furtado,et al.  A Temporal Framework for Database Specifications , 1982, VLDB.

[2]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[3]  Michael Gertz,et al.  Deriving integrity maintaining triggers from transition graphs , 1993, Proceedings of IEEE 9th International Conference on Data Engineering.

[4]  Gunter Saake,et al.  Monitoring dynamic integrity constraints based on temporal logic , 1987, Inf. Syst..

[5]  Jan Chomicki,et al.  History-less checking of dynamic integrity constraints , 1992, [1992] Eighth International Conference on Data Engineering.

[6]  Umeshwar Dayal,et al.  The HiPAC project: combining active databases and timing constraints , 1988, SGMD.

[7]  Dov M. Gabbay,et al.  Adding a temporal dimension to a logic system , 1992, J. Log. Lang. Inf..

[8]  Narain H. Gehani,et al.  Event specification in an active object-oriented database , 1992, SIGMOD '92.

[9]  Richard J. Waldinger,et al.  A transaction logic for database specification , 1988, SIGMOD '88.

[10]  A. Prasad Sistla,et al.  The complexity of propositional linear temporal logics , 1982, STOC '82.

[11]  A. Prasad Sistla,et al.  Temporal Triggers in Active Databases , 1995, IEEE Trans. Knowl. Data Eng..

[12]  Amir Pnueli,et al.  Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends , 1986, Current Trends in Concurrency.

[13]  Carl A. Gunter,et al.  In handbook of theoretical computer science , 1990 .

[14]  A. Prasad Sistla,et al.  On characterization of safety and liveness properties in temporal logic , 1985, ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing.

[15]  Jan Chomicki,et al.  Real-time integrity constraints , 1992, PODS.