ACID Encountering the CAP Theorem: Two Bank Case Studies
Shark: SQL and rich analytics at scale