Specification and verification of database dynamics

DOI10.1007/BF00291052zbMath0627.68078MaRDI QIDQ1092680

Amílcar Sernadas, José Luiz Fiadeiro

Publication date: 1988

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

zbMATH Keywords

livenessconceptual modellingmany sorted first order linear tense theorystructured specification and verification of database dynamics

Mathematics Subject Classification ID

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

Related Items

Deontic database constraints, violation and recovery ⋮ A first step towards implementing dynamic algebraic dependences ⋮ Branching versus linear logics yet again ⋮ Theoretical foundations of handling large substitution sets in temporal integrity monitoring

Cites Work

• Towards multi-level and modular conceptual schema specifications
• Towards a general theory of action and time
• The INFOLOG linear tense propositional logic of events and transactions
• Monitoring dynamic integrity constraints based on temporal logic
• Temporal aspects of logical procedure definition
• Verifying concurrent processes using temporal logic
• Synthesis of Communicating Processes from Temporal Logic Specifications
• A Theory of Communicating Sequential Processes
• Proving Liveness Properties of Concurrent Programs
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item