Deriving optimized integrity monitoring triggers from dynamic integrity constraints

verfasst von: Michael Gertz, U. W. Lipeck
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.
Organisationseinheit(en): Institut für Praktische Informatik
Typ: Artikel
Journal: Data and Knowledge Engineering
Band: 20
Seiten: 163-193
Anzahl der Seiten: 31
ISSN: 0169-023X
Publikationsdatum: 01.10.1996
Publikationsstatus: Veröffentlicht
Peer-reviewed: Ja
ASJC Scopus Sachgebiete: Informationssysteme und -management
Elektronische Version(en): https://doi.org/10.1016/S0169-023X(96)00010-9 (Zugang: Geschlossen)

BibTeX

@article{23e28599a5ac454cb7ae3f1568b1d2bf,
title = "Deriving optimized integrity monitoring triggers from dynamic integrity constraints",
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",
author = "Michael Gertz and Lipeck, {U. W.}",
year = "1996",
month = oct,
day = "1",
doi = "10.1016/S0169-023X(96)00010-9",
language = "English",
volume = "20",
pages = "163--193",
journal = "Data and Knowledge Engineering",
issn = "0169-023X",
publisher = "Elsevier",
number = "2",
}