Proving Consistency of Database Transactions Written in Extended Pascal

DOI10.1109/TSE.1982.235580zbMath0483.68081OpenAlexW2093863507MaRDI QIDQ3942430

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

consistencyrelational databasecorrectness prooffirst-order predicate calculusPascal-like host language

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20)

Related Items (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