Deriving integrity maintaining triggers from transition graphs

This publication has 12 references indexed in Scilit:

• The implementation and evaluation of integrity maintenance rules in an object-oriented database
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Descriptive specification of database object behaviour
  Data & Knowledge Engineering, 1991
• Starburst mid-flight: as the dust clears (database project)
  IEEE Transactions on Knowledge and Data Engineering, 1990
• Construction of deterministic transition graphs from dynamic integrity constraints
  Published by Springer Nature ,1989
• Dynamische Integrität von Datenbanken
  Informatik-Fachberichte, 1989
• Monitoring dynamic integrity constraints based on temporal logic
  Information Systems, 1987
• Integrity checking for multiple updates
  Published by Association for Computing Machinery (ACM) ,1985
• Design and implementation of an extendible integrity subsystem
  Published by Association for Computing Machinery (ACM) ,1984
• Logic for improving integrity checking in relational data bases?
  Acta Informatica, 1982
• Semantic integrity in a relational data base system
  Published by Association for Computing Machinery (ACM) ,1975