Deriving optimized integrity monitoring triggers from dynamic integrity constraints

DOI10.1016/S0169-023X(96)00010-9MaRDI QIDQ3122390zbMATH OpenFDO

Authors Michael Gertz, Udo W. Lipeck

Publication date 27 February 1997

Published in Data & Knowledge Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0169-023X(96)00010-9

zbMATH Keywords

Active databasesConstraint simplificationDynamic integrity constraintsIntegrity enforcementObject life cyclesTemporal formulasTriggers

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Monitoring dynamic integrity constraints based on temporal logic
• scientific article; zbMATH DE number 42840
• Transformation of dynamic integrity constraints into transaction specifications
• A general treatment of dynamic integrity constraints
• A dynamic view of active integrity constraints

Cited in

(6)

• Monitoring dynamic integrity constraints based on temporal logic
• A first step towards implementing dynamic algebraic dependences
• scientific article; zbMATH DE number 42840 (Why is no real title available?)
• scientific article; zbMATH DE number 1946607 (Why is no real title available?)
• Construction of deterministic transition graphs from dynamic integrity constraints
• Transformation of dynamic integrity constraints into transaction specifications

This page was built for publication: Deriving optimized integrity monitoring triggers from dynamic integrity constraints

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