Deriving integrity maintaining triggers from transition graphs

Methods for deriving constraint maintaining triggers from dynamic integrity constraints represented by transition graphs are presented. The methods reduce integrity monitoring to checking changing static conditions according to life cycle situations. Thus, triggers have to be generated from these graphs, which depend not only on the operations that have occurred in a transaction, but also on the situations that have been reached by the objects mentioned in the constraints. The techniques presented work for dynamic constraints and their corresponding transition graphs as well as for simple static constraints. Only passive reactions (rollbacks) to constraint violations are provided by the trigger patterns, but the systematic generation of such patterns should help the database designer in identifying possible active reactions for repairing constraint violations.<<ETX>>