Utent żied oġġett mal-cart tiegħu — il-backend jeħtieġ jirriżerva tliet unitajiet fl-inventarju, iżda biss jekk verament hemm biżżejjed stokk. Jekk tagħmel «aqra l-istokk → iċċekkja → ikteb» bħala statements separati, żewġ tranżazzjonijiet paralleli jistgħu jaraw l-istess numru u t-tnejn jirriżervaw l-aħħar unità. Update kundizzjonali wieħed isolvi dan b'mod atomiku: ipprova żid reserved bi tlieta għall-prodott bl-id 1, iżda biss meta qty - reserved huwa mill-inqas 3. Jekk l-ebda ringiela ma tispiċċa aġġornata — irritorna «out of stock» lill-utent.