Monitoring dynamic integrity constraints based on temporal logic
From MaRDI portal
Publication:1095682
DOI10.1016/0306-4379(87)90004-4zbMath0632.68090MaRDI QIDQ1095682
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
temporal logic; dynamic constraints; dynamic integrity; database integrity; database constraints; finite transition graphs; static integrity
68Q65: Abstract data types; algebraic specification
68P20: Information storage and retrieval of data
Related Items
Theoretical foundations of handling large substitution sets in temporal integrity monitoring, Transformation of dynamic integrity constraints into transaction specifications, 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, On temporal logic S4Dbr, Monitoring Metric First-Order Temporal Properties