Transformation of dynamic integrity constraints into transaction specifications
type: Item
instance of: scholarly article
title: Transformation of dynamic integrity constraints into transaction specifications
zbMATH Open document ID: 0702.68047
DOI: 10.1016/0304-3975(90)90014-9
author: Udo W. Lipeck
published in: Theoretical Computer Science
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 68P15
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 4151815
zbMATH Keywords: database integrity
zbMATH Keywords: database specification
zbMATH Keywords: database verification
zbMATH Keywords: temporal logic
zbMATH Keywords: transactions
MaRDI profile type: Publication
full work available at URL: 0304-3975(90)90014-9
OpenAlex ID: W2103609748
cites work: Q3330564
cites work: The INFOLOG linear tense propositional logic of events and transactions
cites work: Proving Consistency of Database Transactions Written in Extended Pascal
cites work: Q3749040
cites work: Monitoring dynamic integrity constraints based on temporal logic
cites work: Synthesis of Communicating Processes from Temporal Logic Specifications
cites work: Logic for improving integrity checking in relational data bases
cites work: Temporal aspects of logical procedure definition
cites work: Q4138118
cites work: Temporal logic can be more expressive
description: scientific article; zbMATH DE number 4151815