Login / Signup
Proving Consistency of Database Transactions Written in Extended Pascal.
Georges Gardarin
Michel A. Melkanoff
Published in:
IEEE Trans. Software Eng. (1982)
Keyphrases
</>
database transactions
integrity constraints
execution model
snapshot isolation
database
distributed environment
computing environments
transaction processing
transaction model