Monitoring dynamic integrity constraints based on temporal logic
DOI10.1016/0306-4379(87)90004-4zbMATH Open0632.68090OpenAlexW2076853127MaRDI QIDQ1095682FDOQ1095682
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
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
temporal logicdynamic constraintsdynamic integritydatabase integritydatabase constraintsfinite transition graphsstatic integrity
Information storage and retrieval of data (68P20) Abstract data types; algebraic specification (68Q65)
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
- Title not available (Why is that?)
- On temporal logic S4Dbr
- Monitoring metric first-order temporal properties
- On the feasibility of checking temporal integrity constraints
- 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)
