Monitoring dynamic integrity constraints based on temporal logic

DOI10.1016/0306-4379(87)90004-4zbMath0632.68090OpenAlexW2076853127MaRDI QIDQ1095682

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

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

Related Items (8)

Specification and verification of database dynamics ⋮ A temporal logic-based approach for the description of object behavior evolution ⋮ A first step towards implementing dynamic algebraic dependences ⋮ Construction of deterministic transition graphs from dynamic integrity constraints ⋮ Theoretical foundations of handling large substitution sets in temporal integrity monitoring ⋮ Transformation of dynamic integrity constraints into transaction specifications ⋮ On temporal logic S4Dbr ⋮ Monitoring Metric First-Order Temporal Properties

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