Details
| Original language | English |
|---|---|
| Pages (from-to) | 163-193 |
| Number of pages | 31 |
| Journal | Data and Knowledge Engineering |
| Volume | 20 |
| Issue number | 2 |
| Publication status | Published - 1 Oct 1996 |
Abstract
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.
Keywords
- Active databases, Constraint simplification, Dynamic integrity constraints, Integrity enforcement, Object life cycles, Temporal formulas, Triggers
ASJC Scopus subject areas
- Decision Sciences(all)
- Information Systems and Management
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
In: Data and Knowledge Engineering, Vol. 20, No. 2, 01.10.1996, p. 163-193.
Research output: Contribution to journal › Article › Research › peer review
}
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 -