Login / Signup

The Deductive Synthesis of Database Transactions.

Xiaolei Qian
Published in: ACM Trans. Database Syst. (1993)
Keyphrases
  • database transactions
  • functional programs
  • integrity constraints
  • execution model
  • transaction processing
  • database
  • transaction model
  • object oriented
  • fine grained
  • distributed databases