Implementing temporal integrity constraints using an active DBMS

This publication has 9 references indexed in Scilit:

• History-less checking of dynamic integrity constraints
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Deriving integrity maintaining triggers from transition graphs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Temporal triggers in active databases
  IEEE Transactions on Knowledge and Data Engineering, 1995
• Maintaining views incrementally
  Published by Association for Computing Machinery (ACM) ,1993
• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992
• Real-time integrity constraints
  Published by Association for Computing Machinery (ACM) ,1992
• Safety and translation of relational calculus
  ACM Transactions on Database Systems, 1991
• Efficiently updating materialized views
  ACM SIGMOD Record, 1986
• Logic and Databases: A Deductive Approach
  ACM Computing Surveys, 1984