Understanding how atomic clocks and GPS enable strong consistency in Google Spanner through bounded time uncertainty.
