Warranties for faster strong consistency
The serializability of concurrent database updates