Transformation of dynamic integrity constraints into transaction specifications
From MaRDI portal
DOI10.1016/0304-3975(90)90014-9zbMATH Open0702.68047OpenAlexW2103609748MaRDI QIDQ915441FDOQ915441
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
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
- Logic for improving integrity checking in relational data bases
- Temporal logic can be more expressive
- Title not available (Why is that?)
- Synthesis of Communicating Processes from Temporal Logic Specifications
- Title not available (Why is that?)
- The INFOLOG linear tense propositional logic of events and transactions
- Monitoring dynamic integrity constraints based on temporal logic
- Temporal aspects of logical procedure definition
- Proving Consistency of Database Transactions Written in Extended Pascal
- Title not available (Why is that?)
Cited In (6)
- Logic Based Program Synthesis and Transformation
- Title not available (Why is that?)
- Construction of deterministic transition graphs from dynamic integrity constraints
- Branching versus linear logics yet again
- A transaction-based approach to relational database specification
- Monitoring dynamic integrity constraints based on temporal logic
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)
