Representation of the historical information necessary for temporal integrity monitoring

This publication has 10 references indexed in Scilit:

• Specification and verification of database dynamics
  Acta Informatica, 1988
• Monitoring dynamic integrity constraints based on temporal logic
  Information Systems, 1987
• Temporal Logic of Programs
  Published by Springer Nature ,1987
• A basis for deductive database systems
  The Journal of Logic Programming, 1985
• Integrity checking for multiple updates
  Published by Association for Computing Machinery (ACM) ,1985
• Towards multi-level and modular conceptual schema specifications
  Information Systems, 1984
• Synthesis of Communicating Processes from Temporal Logic Specifications
  ACM Transactions on Programming Languages and Systems, 1984
• Logic for improving integrity checking in relational data bases?
  Acta Informatica, 1982
• Temporal aspects of logical procedure definition
  Information Systems, 1980
• SEQUEL 2: A Unified Approach to Data Definition, Manipulation, and Control
  IBM Journal of Research and Development, 1976