Monitoring dynamic integrity constraints based on temporal logic

DOI10.1016/0306-4379(87)90004-4MaRDI QIDQ1095682zbMATH OpenOpenAlexFDO

Authors Udo W. Lipeck, Gunter Saake

Publication date 1987

Published in Information Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0306-4379(87)90004-4

zbMATH Keywords

temporal logicdynamic constraintsdynamic integritydatabase integritydatabase constraintsfinite transition graphsstatic integrity

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Abstract data types; algebraic specification (68Q65)

Recommendations

• Theoretical foundations of handling large substitution sets in temporal integrity monitoring
• scientific article; zbMATH DE number 42840
• Monitoring temporal preconditions in a behaviour oriented object model
• Deriving optimized integrity monitoring triggers from dynamic integrity constraints
• Transformation of dynamic integrity constraints into transaction specifications

Cited in

(12)

• A first step towards implementing dynamic algebraic dependences
• Specification and verification of database dynamics
• Monitoring of temporal first-order properties with aggregations
• scientific article; zbMATH DE number 42840 (Why is no real title available?)
• On temporal logic S4Dbr
• On the feasibility of checking temporal integrity constraints
• Monitoring metric first-order temporal properties
• Construction of deterministic transition graphs from dynamic integrity constraints
• A general treatment of dynamic integrity constraints
• Theoretical foundations of handling large substitution sets in temporal integrity monitoring
• Transformation of dynamic integrity constraints into transaction specifications
• A temporal logic-based approach for the description of object behavior evolution

This page was built for publication: Monitoring dynamic integrity constraints based on temporal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1095682)