اختبار المعاملات

اختبار المعاملات — Transactions Quiz

هذا الاختبار يراجع أهم نقطة في SQL الإنتاجية: لا تفصل القرارات الحساسة عن التحديث. إذا كان المخزون يجب ألا يصبح سالباً، اجعل الشرط داخل UPDATE، وأضف CHECK, ونفذ داخل معاملة عندما تكون هناك خطوات مرتبطة.

مراجعة

query.sql

CREATE TABLE products (
  id INTEGER PRIMARY KEY,
  stock INTEGER NOT NULL CHECK (stock >= 0)
);

INSERT INTO products VALUES (1, 2);

BEGIN;
UPDATE products
SET stock = stock - 1
WHERE id = 1
  AND stock > 0;
COMMIT;

SELECT stock FROM products;

Output:

هذا نمط صغير، لكنه يحمل عقلية كبيرة: الشرط والتغيير معاً.

متى تكون المعاملة ضرورية حقاً؟

UPDATE المفرد هو بالفعل ذري (atomic) على مستوى الجملة — إما تنجح كل الصفوف المطابقة أو لا شيء. تغليفه في BEGIN/COMMIT لا يضيف شيئاً للأمان.

المعاملة تصبح ضرورية حين تكون هناك جملتان أو أكثر يجب أن تنجحا معاً أو تفشلا معاً:

query.sql

CREATE TABLE accounts (
  id INTEGER PRIMARY KEY,
  owner TEXT NOT NULL,
  balance_halalas INTEGER NOT NULL CHECK (balance_halalas >= 0)
);

INSERT INTO accounts VALUES (1, 'Sara', 50000), (2, 'Noura', 20000);

-- تحويل مالي: إما كلا الجملتين ينجحان أو لا شيء
BEGIN;
UPDATE accounts SET balance_halalas = balance_halalas - 10000 WHERE id = 1;
UPDATE accounts SET balance_halalas = balance_halalas + 10000 WHERE id = 2;
COMMIT;

SELECT owner, balance_halalas FROM accounts;

Output:

لو فشلت الجملة الثانية (مثل انقطاع الكهرباء) بعد نجاح الأولى — ROLLBACK التلقائي يُلغي كلتيهما. هذا هو جوهر Atomicity.

تحدي — Challenge

CREATE TABLE products (id INTEGER, stock INTEGER CHECK (stock >= 0));
INSERT INTO products VALUES (1, 2);

-- نفذ تحديثاً آمناً ثم اعرض stock

مراجعة المفاهيم

التحدي اختبر النمط. هذه الأسئلة تختبر متى يلزم ولماذا يعمل. أجب قبل أن تنظر إلى الشرح.

سؤال — Question

متى تكون المعاملة BEGIN/COMMIT ضرورية فعلاً؟

حول كل UPDATE مهما كان — عادة أمان دائمة عندما تكون هناك جملتان أو أكثر يجب أن تنجحا معاً أو تفشلا معاً — الجملة المفردة ذرية أصلاً فقط عند الحذف، لأن UPDATE قابل للتراجع دائماً فقط في قواعد البيانات الموزعة

سؤال — Question

لماذا نضع الشرط داخل التحديث UPDATE ... SET stock = stock - 1 WHERE id = 1 AND stock > 0 بدل فحص المخزون بـ SELECT ثم التحديث؟

لأن SELECT قبل UPDATE ممنوع داخل المعاملات لأن الدمج أسرع في التنفيذ فقط لأن الفحص المنفصل يفتح نافذة سباق بين القراءة والكتابة — الدمج يجعلهما عملية واحدة لا يتسلل بينها طلب آخر لأن الشرط داخل UPDATE يتجاوز قيد CHECK

فحص الرصيد بـ SELECT ثم تحديثه بجملة منفصلة يفتح نافذة سباق: طلب آخر قد يخصم بين قراءتك وكتابتك، فيوافق كلاكما على مخزون يكفي أحدكما فقط. وضع الشرط داخل UPDATE — مثل AND stock > 0 — يجعل الفحص والتغيير عملية واحدة لا يدخل بينها أحد، وقيد CHECK يقف خلفهما شبكة أمان أخيرة.

سؤال — Question

في تحويل مالي من جملتين، نجحت الأولى (الخصم) ثم فشلت الثانية. ماذا يفعل ROLLBACK؟

يمحو أثر الجملة الأولى أيضاً — الحالة تعود إلى ما قبل BEGIN كأن شيئاً لم يحدث يتراجع عن الجملة الفاشلة فقط ويُبقي الخصم يعيد محاولة الجملة الثانية تلقائياً يحذف الحسابين من الجدول

استرجع الآن الكلمات نفسها من ذاكرتك — هي حدود كل وحدة عمل ذرية.

أكمل الفراغ — Fill in the blank

ما الجملة التي تفتح معاملة وتجعل ما يليها وحدة عمل واحدة؟

BEGIN يفتح المعاملة ويجمع ما بعده في وحدة واحدة حتى يحسمها COMMIT بالتثبيت أو ROLLBACK بالإلغاء. بدونه كل جملة معاملة مستقلة تُثبَّت فور نجاحها.

أكمل الفراغ — Fill in the blank

ما الجملة التي تلغي كل تغييرات المعاملة المفتوحة وتعيد الحالة إلى ما قبل BEGIN؟

ROLLBACK يلغي كل ما جرى منذ BEGIN ويعيد القاعدة لحالتها السابقة — وهو ما يحدث تلقائياً أيضاً عند انقطاع الاتصال قبل COMMIT. الوجه الآخر للذرية: النجاح كله أو لا شيء.