The Deductive Synthesis of Database Transactions

  title={The Deductive Synthesis of Database Transactions},
  author={Xiaolei Qian},
  journal={ACM Trans. Database Syst.},
Database programming requ]res knowledge of’ database semantics both to mamtam database mtegrlty and to explore more optimization opportumties. Automated programming of database transactions is desirable and feasible. In general, transactions use simple constructs and algorithms; specifications of database semantics are available; and transactions perform small Incremental updates to database contents. Automated programming m such a restricted but well understood and important domam 1s promising… CONTINUE READING