Theoretical foundations of handling large substitution sets in temporal integrity monitoring

This publication has 15 references indexed in Scilit:

• Representation of the historical information necessary for temporal integrity monitoring
  Published by Springer Nature ,2005
• Using finite-linear temporal logic for specifying database dynamics
  Published by Springer Nature ,2005
• Specifying dynamic and deontic integrity constraints
  Data & Knowledge Engineering, 1989
• Specification and verification of database dynamics
  Acta Informatica, 1988
• Monitoring dynamic integrity constraints based on temporal logic
  Information Systems, 1987
• Dynamic functional dependencies and database aging
  Journal of the ACM, 1987
• Integrity checking for multiple updates
  Published by Association for Computing Machinery (ACM) ,1985
• Synthesis of Communicating Processes from Temporal Logic Specifications
  ACM Transactions on Programming Languages and Systems, 1984
• SEQUEL 2: A Unified Approach to Data Definition, Manipulation, and Control
  IBM Journal of Research and Development, 1976
• Functional specifications of a subsystem for data base integrity
  Published by Association for Computing Machinery (ACM) ,1975