Monitoring dynamic integrity constraints based on temporal logic (Q1095682)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Monitoring dynamic integrity constraints based on temporal logic |
scientific article; zbMATH DE number 4028946
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Monitoring dynamic integrity constraints based on temporal logic |
scientific article; zbMATH DE number 4028946 |
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
