Transformation of dynamic integrity constraints into transaction specifications

DOI10.1016/0304-3975(90)90014-9MaRDI QIDQ915441zbMATH OpenOpenAlexFDO

Authors 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

database integritydatabase specificationdatabase verificationtemporal logictransactions

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 42840
• Monitoring dynamic integrity constraints based on temporal logic
• A general treatment of dynamic integrity constraints
• Deriving optimized integrity monitoring triggers from dynamic integrity constraints
• A first step towards implementing dynamic algebraic dependences

Cites work

• scientific article; zbMATH DE number 3862494 (Why is no real title available?)
• scientific article; zbMATH DE number 3985193 (Why is no real title available?)
• scientific article; zbMATH DE number 3566153 (Why is no real title available?)
• Logic for improving integrity checking in relational data bases
• Monitoring dynamic integrity constraints based on temporal logic
• Proving Consistency of Database Transactions Written in Extended Pascal
• Synthesis of Communicating Processes from Temporal Logic Specifications
• Temporal aspects of logical procedure definition
• Temporal logic can be more expressive
• The INFOLOG linear tense propositional logic of events and transactions

Cited in

(8)

• Monitoring dynamic integrity constraints based on temporal logic
• A first step towards implementing dynamic algebraic dependences
• Deriving optimized integrity monitoring triggers from dynamic integrity constraints
• A transaction-based approach to relational database specification
• scientific article; zbMATH DE number 42840 (Why is no real title available?)
• Logic Based Program Synthesis and Transformation
• Construction of deterministic transition graphs from dynamic integrity constraints
• Branching versus linear logics yet again

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q915441)