Transformation of dynamic integrity constraints into transaction specifications

DOI10.1016/0304-3975(90)90014-9zbMath0702.68047OpenAlexW2103609748MaRDI QIDQ915441

Udo W. Lipeck

Publication date: 1990

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(90)90014-9

zbMATH Keywords

temporal logictransactionsdatabase integritydatabase specificationdatabase verification

Mathematics Subject Classification ID

Database theory (68P15) Modal logic (including the logic of norms) (03B45)

Related Items (1)

Branching versus linear logics yet again

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The INFOLOG linear tense propositional logic of events and transactions
• Monitoring dynamic integrity constraints based on temporal logic
• Temporal aspects of logical procedure definition
• Logic for improving integrity checking in relational data bases
• Temporal logic can be more expressive
• Synthesis of Communicating Processes from Temporal Logic Specifications
• Proving Consistency of Database Transactions Written in Extended Pascal

This page was built for publication: Transformation of dynamic integrity constraints into transaction specifications