Používateľ pridal položku do košíka — backend potrebuje rezervovať tri kusy v sklade, ale iba ak je skutočne dostatok zásob. Ak robíš «prečítaj zásobu → skontroluj → zapíš» ako samostatné príkazy, dve paralelné transakcie môžu vidieť to isté číslo a obe zarezervujú posledný kus. Jeden podmienený update to rieši atomicky: skús zvýšiť reserved o tri pri produkte s id 1, ale iba vtedy, keď qty - reserved je aspoň 3. Ak sa nakoniec neaktualizuje žiadny riadok — vráť používateľovi «nie je na sklade».