A Probabilistic Analysis of Snapshot Isolation with Partial Replication | IEEE Conference Publication | IEEE Xplore