سلامة قاعدة البيانات والمعاملات والتزامن

CREATE TABLE fee_demo (
    id integer PRIMARY KEY,
    fee_cents integer NOT NULL CHECK (fee_cents >= 0)
);
-- Independent cases: 0 -> accept; 500 -> accept; -1 -> reject; NULL -> reject.

يعبر القيدان عن التزامين مختلفين. نفّذ العبارات المرفوضة منفصلة أو استخدم نقاط حفظ؛ إذ تحتاج معاملة PostgreSQL الفاشلة إلى استعادة قبل عبارات أخرى.

الحالة الأولية | عمليتان متنافستان | الدليل النهائي المطلوب
السعة=1، التسجيل=0 | حجز A وحجز B | نجاح=1؛ صف نشط=1؛ المتبقي=0
إخفاق بعد كتابة الصف | تأكيد A | الصفوف النشطة=0؛ المتبقي=1

لا تفترض الفحوص هوية الفائز، لكنها تشترط نتيجة واحدة متسقة.