Login / Signup

Proving Consistency of Database Transactions Written in Extended Pascal.

Georges GardarinMichel 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