Lower bounds and impossibility results for distributed transactions
The arXiv paper "Non-Monotonic Snapshot Isolation" [1] proves several impossibility theorems demonstrating that SI (Snapshot Isolation) and GPR (Genuine Partial Replication) are incompatible. 

To this end, it first decomposes SI into four properties:


  Decomposition theorem: $SI = ACA \cap SCONS \cap MON \cap WCF$


where, 

$ACA$: avoiding cascading aborts; $SCONS = SCONSa \cap SCONSb$: strictly consistent snapshots; $MON$: snapshot monotonicity; and $WCF$: write-conflict freedom.

Then, it gives the following 


  Impossibility theorem: None of SCONSa, SCONSb, and MON  is attainable in some asynchronous failure-free GPR system with obstruction-free updates (OFU) and wait-free queries (WFQ).




[1] Non-Monotonic Snapshot Isolation by Masoud Saeida et al@arXiv'2013