Proving Consistency of Database Transactions Written in Extended Pascal

DOI10.1109/TSE.1982.235580MaRDI QIDQ3942430zbMATH OpenOpenAlexFDO

Authors Georges Gardarin, Michel A. Melkanoff

Publication date 1982

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tse.1982.235580

zbMATH Keywords

consistencycorrectness prooffirst-order predicate calculusPascal-like host languagerelational database

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20)

Cited in

(2)

• Theoretical foundations of handling large substitution sets in temporal integrity monitoring
• Transformation of dynamic integrity constraints into transaction specifications

This page was built for publication: Proving Consistency of Database Transactions Written in Extended Pascal

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