Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions.

Paul Ammann, Sushil Jajodia, Indrakshi Ray

Browse the full VLDB paper archive.