Title :
Deriving integrity maintaining triggers from transition graphs
Author :
Gertz, Michael ; Lipeck, Udo W.
Author_Institution :
Inst. fur Inf., Hannover Univ., Germany
Abstract :
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
Keywords :
data integrity; database management systems; database theory; active reactions; constraint maintaining triggers; constraint violations; dynamic constraints; integrity constraints; transition graphs; Constraint optimization; Database systems; Design optimization; Erbium; Logic; Monitoring; Prototypes; Relational databases; Runtime; Transaction databases;
Conference_Titel :
Data Engineering, 1993. Proceedings. Ninth International Conference on
Conference_Location :
Vienna
Print_ISBN :
0-8186-3570-3
DOI :
10.1109/ICDE.1993.344081