The problem Lamport encountered in building distributed databases was that the original solution would execute actions as if they occurred in a sequence, but that sequence could be different from the actual order in which they happened—a violation of the causal consistency that Lamport's 'happens before' relation was designed to capture.
factualpending
Speaker
Leslie LamportEvidence Quote
“things would be executed as if they occurred in subsequence but that sequence could be different from the sequence in which they actually happened.”
Source
Turing Award Winner: Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport— Ryan PetermanCreated: 8/12/2026, 6:17:50 PM
My Notes
Loading notes...