title: applying formal methods to semantic-based decomposition of transactions. authors: p ammann , s jajodia , i ray. venue: acm trans . database syst .. year: 1997
title: applying formal methods to semantic-based decomposition of transactions. authors: p ammann , s jajodia , i ray. venue: acm transactions on database systems ,. year: 1997.0