Monitoring dynamic integrity constraints based on temporal logic
From MaRDI portal
(Redirected from Publication:1095682)
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)
