Large-scale Incremental Processing Using Distributed Transactions and Notifications. - Daniel Peng; Frank Dabek (OSDI, 2010)