Search: Abadi, D, Cloud Database, synchronization, n/a