On the Feasibility of Checking Temporal Integrity Constraints (1995)

Cached

Download Links

by Jan Chomicki , Damian Niwinski
Citations:38 - 6 self

Documents Related by Co-Citation

55 Monitoring Dynamic Integrity Constraints Based on Temporal Logic – U W Lipeck, G Saake - 1987
1526 V.: Foundations of Databases – S Abiteboul, R Hull, Vianu - 1995
1497 The Temporal Logic of Reactive and Concurrent Systems – Z Manna, A Pnueli - 1992
39 Implementing Temporal Integrity Constraints Using an Active DBMS – David Toman, Jan Chomicki - 1994
73 Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding – Jan Chomicki - 1995
108 Temporal Query Languages: a Survey – Jan Chomicki - 1995
11 Monitoring Dynamic Integrity Constraints on Finite State Sequences and Existence Intervals – Udo W. Lipeck, Heren Zhou - 1991
41 History-less Checking of Dynamic Integrity Constraints – J Chomicki - 1992
82 A temporal fixpoint calculus – M Y Vardi - 1988
29 Transformation of Dynamic Integrity Constraints into Transaction Specifications’, Theor – U W Lipeck - 1990
62 Temporal Deductive Databases – Marianne Baudinet, Jan Chomicki, Pierre Wolper - 1992
1107 Temporal and modal logic – E. Allen Emerson - 1995
134 Application of temporal logic to the specification and verification of reactive systems: a survey of current trends – A Pnueli - 1986
231 On the temporal analysis of fairness – D M Gabbay, A Pnueli, S Shelah, J Stavi - 1980
45 A.: On completeness of historical relational query languages – J Clifford, A Croker, Tuzhilin - 1994
33 Deriving Integrity Maintaining Triggers from Transition Graphs – Michael Gertz, Udo W. Lipeck - 1993
1204 The temporal logic of programs – A Pnueli - 1977
18 Real-Time Integrity Constraints – Jan Chomicki - 1992
14 Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring – K Hulsmann, G Saake - 1991