احم القيود عند مالك البيانات

A reads remaining = 1
B reads remaining = 1
A inserts active reservation
B inserts active reservation
Result: two reservations competed for one seat

هذا أثر تحليلي، لا SQL تنفيذي ولا نتيجة محرك مقاسة. يوضح أن نجاح القراءتين لا يثبت أمان التحديث المشترك.

UPDATE workshop_capacity
SET remaining = remaining - 1
WHERE workshop_id = :workshop_id AND remaining > 0;

يتطلب نجاح التخصيص فحص الصفوف المتأثرة وإكمال معاملة الحجز المرتبطة. تعتمد صياغة المعاملات وضمانات التزامن على القاعدة وبرنامج التشغيل؛ لذا فهذا الجزء غير قابل للتشغيل.