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