Login / Signup

Verifiable Properties of Database Transactions.

Michael BenediktTimothy GriffinLeonid Libkin
Published in: PODS (1996)
Keyphrases
  • database transactions
  • integrity constraints
  • transaction processing
  • fine grained
  • distributed databases
  • transaction model