Theoretical foundations of handling large substitution sets in temporal integrity monitoring

DOI10.1007/BF01893887zbMath0701.68022MaRDI QIDQ914364

Klaus Hülsmann, Gunter Saake

Publication date: 1991

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

historical informationtemporal integritytransition graphs

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (1)

On temporal logic S4Dbr

Cites Work

• Unnamed Item
• Unnamed Item
• Algebraic and operational semantics of specifications allowing exceptions and errors
• Specification and verification of database dynamics
• Monitoring dynamic integrity constraints based on temporal logic
• Synthesis of Communicating Processes from Temporal Logic Specifications
• Proving Consistency of Database Transactions Written in Extended Pascal
• SEQUEL 2: A Unified Approach to Data Definition, Manipulation, and Control

This page was built for publication: Theoretical foundations of handling large substitution sets in temporal integrity monitoring