Paul Ammann Sushil Jajodia Indrakshi Ray Applying Formal Methods to Semantic-Based Decomposition of Transactions. 215-254 TODS22/P215.PDF 1997 22 ACM Trans. Database Syst. 2 db/journals/tods/tods22.html#AmmannJR97 http://doi.acm.org/10.1145/249978.249981 db/journals/tods/AmmannJR97.html journals/tods/AgrawalAS93 ... conf/vldb/AmmannJR95 ... books/aw/BernsteinHG87 journals/tods/BadrinathR92 journals/tods/ChrysanthisR94 conf/vldb/DuE89 books/bc/ElmasriN89 journals/tods/FarragO89 journals/tods/Garcia-Molina83 conf/sigmod/Garcia-MolinaS87 journals/tc/Herlihy87 journals/jcss/HerlihyW91 conf/icde/JajodiaM87 conf/vldb/KorthLS90 conf/sigmod/KorthS88 journals/tods/KorthS94 conf/sigmod/LevyKS91 conf/podc/LevyKS91 ... journals/tods/Lynch83 journals/cacm/OwickiG76 ... conf/icdcs/RastogiKS95 journals/tc/ShaLJ88 ... conf/sigmod/ShashaSV92 ... journals/tc/Weihl88 books/mk/elmagarmid92/WachterR92