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
    0 references
    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

    Identifiers