Login / Signup

Verifiable Properties of Database Transactions.

Michael BenediktTimothy GriffinLeonid Libkin
Published in: Inf. Comput. (1998)
Keyphrases
  • database transactions
  • execution model
  • integrity constraints
  • fine grained
  • database