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

Transactions Quiz

اختبار ~22 دقيقة

اختبار المعاملات — 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