Monitoring dynamic integrity constraints based on temporal logic (Q1095682)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Monitoring dynamic integrity constraints based on temporal logic |
scientific article |
Statements
Monitoring dynamic integrity constraints based on temporal logic (English)
0 references
1987
0 references
Fundamental algorithms are presented to monitor database constraints expressed in temporal logic. Using an appropriate normal form, finite transition graphs are constructed from temporal formulae. Nontemporal conditions are represented as edge labels. Thus, monitoring dynamic integrity is reduced to a controlled checking of static integrity.
0 references
dynamic constraints
0 references
database integrity
0 references
database constraints
0 references
temporal logic
0 references
finite transition graphs
0 references
dynamic integrity
0 references
static integrity
0 references
