Search: Thomson, A, 2010, Cloud Database, synchronization, cs.yale.edu