Search: Abadi, D, Cloud Database, replication, edu