Login / Signup

Automatic Verification of Database Transaction Safety.

Tim SheardDavid W. Stemple
Published in: ACM Trans. Database Syst. (1989)
Keyphrases
  • database
  • databases
  • query language
  • database systems
  • data sets
  • data model
  • information retrieval
  • data streams
  • database applications
  • database management
  • acid properties