Yoshiyuki Shinkawa Masao J. Matsumoto State-Sensitive Design of Database Transactions. 282-289 2002 ICEIS db/conf/iceis/iceis2002.html#ShinkawaM02