title: applying formal methods to semantic-based decomposition of transactions. authors: paul ammann , indrakshi ray , sushil jajodia. venue: acm trans . database syst .. year: 1997
title: applying formal methods to semantic-based decomposition of transactions. authors: paul ammann , sushil jajodia , indrakshi ray. venue: acm transactions on database systems ( tods ). year: 1997