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