Details
| Original language | English |
|---|---|
| Title of host publication | Proceedings of IEEE 9th International Conference on Data Engineering |
| Pages | 22-29 |
| Number of pages | 8 |
| Publication status | Published - 1993 |
| Event | 1993 IEEE 9th International Conference on Data Engineering - Vienna, Austria Duration: 19 Apr 1993 → 23 Apr 1993 |
Abstract
Modern approaches to integrity monitoring suggest to generate triggers from constraints as part of database design and to utilize constraint simplification techniques for trigger optimization. In this paper, we show how to derive triggers from dynamic integrity constraints which describe properties of state transitions or state sequences and which can be specified by formulae 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. If object situations are stored, integrity maintaining 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 under database operations.
ASJC Scopus subject areas
- Computer Science(all)
- Software
- Computer Science(all)
- Signal Processing
- Computer Science(all)
- Information Systems
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Proceedings of IEEE 9th International Conference on Data Engineering. 1993. p. 22-29.
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
}
TY - GEN
T1 - Deriving Integrity Maintaining Triggers from Transition Graphs
AU - Gertz, Michael
AU - Lipeck, Udo W.
PY - 1993
Y1 - 1993
N2 - Modern approaches to integrity monitoring suggest to generate triggers from constraints as part of database design and to utilize constraint simplification techniques for trigger optimization. In this paper, we show how to derive triggers from dynamic integrity constraints which describe properties of state transitions or state sequences and which can be specified by formulae 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. If object situations are stored, integrity maintaining 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 under database operations.
AB - Modern approaches to integrity monitoring suggest to generate triggers from constraints as part of database design and to utilize constraint simplification techniques for trigger optimization. In this paper, we show how to derive triggers from dynamic integrity constraints which describe properties of state transitions or state sequences and which can be specified by formulae 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. If object situations are stored, integrity maintaining 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 under database operations.
UR - http://www.scopus.com/inward/record.url?scp=0027167213&partnerID=8YFLogxK
U2 - 10.1109/ICDE.1993.344081
DO - 10.1109/ICDE.1993.344081
M3 - Conference contribution
AN - SCOPUS:0027167213
SN - 0818635703
SP - 22
EP - 29
BT - Proceedings of IEEE 9th International Conference on Data Engineering
T2 - 1993 IEEE 9th International Conference on Data Engineering
Y2 - 19 April 1993 through 23 April 1993
ER -