TY - JOUR

T1 - Deriving optimized integrity monitoring triggers from dynamic integrity constraints

AU - Gertz, Michael

AU - Lipeck, U. W.

PY - 1996/10/1

Y1 - 1996/10/1

N2 - Modern approaches to integrity monitoring in active databases suggest the ideas of generating triggers from constraints as part of database design and utilizing constraint simplification techniques for trigger optimization. Such proposals, however, have been restricted to static conditions only. In this paper, we show how to derive triggers from dynamic integrity constraints which describe properties of state sequences and which can be specified by formulas in temporal logic. Such constraints can equivalently be transformed into transition graphs which describe such life cycles of database objects that are admissible with respect to the constraints: Nodes correspond to situations in life cycles and edges give the (changing) conditions under which a change into another situation is allowed. If object situations are stored, integrity monitoring triggers can be generated from transition graphs for all situations and all critical database operations. Additionally, new simplification techniques can be developed by identifying characteristic preconditions in the graphs and by utilizing invariants. Maintenance of object situations can be supported by triggers as well.

AB - Modern approaches to integrity monitoring in active databases suggest the ideas of generating triggers from constraints as part of database design and utilizing constraint simplification techniques for trigger optimization. Such proposals, however, have been restricted to static conditions only. In this paper, we show how to derive triggers from dynamic integrity constraints which describe properties of state sequences and which can be specified by formulas in temporal logic. Such constraints can equivalently be transformed into transition graphs which describe such life cycles of database objects that are admissible with respect to the constraints: Nodes correspond to situations in life cycles and edges give the (changing) conditions under which a change into another situation is allowed. If object situations are stored, integrity monitoring triggers can be generated from transition graphs for all situations and all critical database operations. Additionally, new simplification techniques can be developed by identifying characteristic preconditions in the graphs and by utilizing invariants. Maintenance of object situations can be supported by triggers as well.

KW - Active databases

KW - Constraint simplification

KW - Dynamic integrity constraints

KW - Integrity enforcement

KW - Object life cycles

KW - Temporal formulas

KW - Triggers

UR - http://www.scopus.com/inward/record.url?scp=0030259613&partnerID=8YFLogxK

U2 - 10.1016/S0169-023X(96)00010-9

DO - 10.1016/S0169-023X(96)00010-9

M3 - Article

AN - SCOPUS:0030259613

VL - 20

SP - 163

EP - 193

JO - Data and Knowledge Engineering

JF - Data and Knowledge Engineering

SN - 0169-023X

IS - 2

ER -