Real-time integrity constraints

ABSTRACT

We propose that Past Metric Temporal Logic (Temporal Logic with real-time operators referring to the past) be used as a language for specifying real-time integrity constraints. Building on our earlier work, we develop efficient, history-less methods of evaluating such constraints. We also argue that real-time constraints should be implemented as Condition-Action rules with temporal conditions.

REFERENCES

• AD90: Rajeev Alur , D. L. Dill, Automata for modeling real-time systems, Proceedings of the seventeenth international colloquium on Automata, languages and programming, p.322-335, July 1990, Warwick University, England
• AH90: R. Alur and T. Henzinger. Real-Time Logics: Complexity and Expressiveness. In IEEE Symposium on Logic in Computer Science, 1990.
• Cho92: Jan Chomicki, History-less Checking of Dynamic Integrity Constraints, Proceedings of the Eighth International Conference on Data Engineering, p.557-564, February 03-07, 1992
• CW90: Stefano Ceri , Jennifer Widom, Deriving production rules for constraint maintenance, Proceedings of the sixteenth international conference on Very large databases, p.566-577, September 1990, Brisbane, Australia
• Da88: U. Dayal , B. Blaustein , A. Buchmann , U. Chakravarthy , M. Hsu , R. Ledin , D. McCarthy , A. Rosenthal , S. Sarin , M. J. Carey , M. Livny , R. Jauhari, The HiPAC project: combining active databases and timing constraints, ACM SIGMOD Record, v.17 n.1, p.51-70, March, 1988 [doi>10.1145/44203.44208]
• dCCF82: José Mauro V. de Castilho , Marco A. Casanova , Antonio L. Furtado, A Temporal Framework for Database Specifications, Proceedings of the 8th International Conference on Very Large Data Bases, p.280-291, September 08-10, 1982
• HLP90: E. Harel, O. Lichtenstein, and A. Pnueli. Explicit Clock Temporal Logic. In IEEE Symposium on Logic in Computer Science, 1990.
• HS91: K. Hülsmann , G. Saake, Theoretical foundations of handling large substitution sets in temporal integrity monitoring, Acta Informatica, v.28 n.4, p.365-407, April 1991 [doi>10.1007/BF01893887]
• Koy89: R. Koymans. Specifying Message Passing and Time-Critical Systems with Temporal Logic. PhD thesis, Technische Universiteit Eindhoven, 1989.
• LS87: U. W. Lipeck , G. Saake, Monitoring dynamic integrity constraints based on temporal logic, Information Systems, v.12 n.3, p.255-269, 1987 [doi>10.1016/0306-4379(87)90004-4]
• Ser80: A. Sernadas. Temporal Aspects of Logical Procedure Definition. Informalion Systems, 5:167-187, 1980.
• SJGP90: Michael Stonebraker , Anant Jhingran , Jeffrey Goh , Spyros Potamianos, On rules, procedure, caching and views in data base systems, Proceedings of the 1990 ACM SIGMOD international conference on Management of data, p.281-290, May 23-26, 1990, Atlantic City, New Jersey, United States
• VGT91: Allen Van Gelder , Rodney W. Topor, Safety and translation of relational calculus, ACM Transactions on Database Systems (TODS), v.16 n.2, p.235-278, June 1991 [doi>10.1145/114325.103712]
• VW86: M. Vardi and P. Wolper. An Automata- Theoretic Approach to Automatic Program Verification. In IEEE Symposium on Logic in Computer Science, 1986.
• WCL91: Jennifer Widom , Roberta Cochrane , Bruce G. Lindsay, Implementing Set-Oriented Production Rules as an Extension to Starburst, Proceedings of the 17th International Conference on Very Large Data Bases, p.275-285, September 03-06, 1991

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT

Additional Classification:
  F. Theory of Computation
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES

  H. Information Systems
  H.2 DATABASE MANAGEMENT

General Terms:
Languages, Theory