🗄️ Transazioni nei Database

📏 4. Consistenza (Consistency)

📋 Esempi di Vincoli che Devono Essere Rispettati

• Chiave primaria: non ci possono essere due righe con lo stesso ID
• Chiave esterna: un ordine deve riferirsi a un cliente esistente
• CHECK: il saldo non può essere negativo
• NOT NULL: alcuni campi non possono essere vuoti
• UNIQUE: certi valori devono essere univoci (email, codice fiscale)

📚 Esempio Pratico: Database di una Libreria

Consideriamo un database per la gestione di una libreria con libri e autori. Supponiamo che ci sia un vincolo di integrità referenziale che richiede che ogni libro sia associato ad almeno un autore presente nella tabella autori.

❌ Scenario 1 senza CONSISTENZA: Tentativo di Inserimento con Vincolo Violato senza consistenza

Un utente tenta di inserire un nuovo libro nel database, ma fornisce un ID autore non valido o inesistente:

INSERT INTO libri (titolo, autore_id) 
VALUES ('Il grande romanzo', '12345');

✅ Scenario 2 con CONSISTENZA: Tentativo di Inserimento con Vincolo Violato con consistenza

Un utente desidera aggiungere un nuovo libro nel database, ma fornisce un ID autore non valido o inesistente:

INSERT INTO libri (titolo, autore_id) 
VALUES ('Il grande romanzo', '12345');

🔬 Simulazione: Prelievo con Vincolo di Saldo

🔒 5. Isolamento (Isolation)

🚨 Problemi che si verificano SENZA Isolamento

Quando più transazioni accedono agli stessi dati contemporaneamente, possono verificarsi quattro tipi di anomalie:

🏨 Esempio Pratico: Prenotazione Camera d'Albergo

Consideriamo una pagina web che gestisce le prenotazioni di camere di un albergo. Due clienti, Marco e Laura, tentano di prenotare la stessa camera (Camera 101) quasi contemporaneamente alle 10:00:00.

✅ Scenario CON Isolamento (Transazioni Serializzabili)

Transazione di Marco (T1) - Inizio: 10:00:00.000

Transazione di Laura (T2) - Inizio: 10:00:00.100

📋 Tabella Riassuntiva delle Operazioni (CON Isolamento)

❌ Scenario SENZA Isolamento (Problemi di Concorrenza)

In questo scenario, il DBMS non applica blocchi o meccanismi di controllo della concorrenza:

Transazione di Marco (T1) - Inizio: 10:00:00.000

Transazione di Laura (T2) - Inizio: 10:00:00.100

📋 Tabella Riassuntiva delle Operazioni (SENZA Isolamento)

🎬 Simulazioni Interattive

📊 Livelli di Isolamento

I DBMS offrono 4 livelli di isolamento che controllano quali anomalie sono permesse:

💾 6. Durabilità (Durability)

🛡️ Come si garantisce la Durabilità?

🎬 Simulazione Interattiva

💻 7. Comandi SQL per le Transazioni

📝 Esempio Completo: Trasferimento Bancario Sicuro

-- Tabella di partenza
-- conti: id | intestatario | saldo
--         1  | Mario        | 1000
--         2  | Luca         | 500

BEGIN TRANSACTION;

    -- Operazione 1: Togli soldi da Mario
    UPDATE conti 
    SET saldo = saldo - 200 
    WHERE intestatario = 'Mario';
    
    -- Operazione 2: Aggiungi soldi a Luca
    UPDATE conti 
    SET saldo = saldo + 200 
    WHERE intestatario = 'Luca';
    
    -- Controllo: il saldo di Mario non deve essere negativo
    IF (SELECT saldo FROM conti WHERE intestatario = 'Mario') < 0
    BEGIN
        ROLLBACK;  -- ANNULLA tutto!
        PRINT 'Errore: saldo insufficiente!';
    END
    ELSE
    BEGIN
        COMMIT;    -- SALVA tutto!
        PRINT 'Trasferimento completato!';
    END

-- Risultato finale:
-- Mario: 800€, Luca: 700€

-- INIZIO TRANSAZIONE
BEGIN TRANSACTION;

    -- Step 1: Verifica cliente esistente
    SELECT id FROM clienti WHERE id = 1;
    IF NOT FOUND
    BEGIN
        ROLLBACK;
        RETURN 'Errore: cliente non trovato';
    END

    -- Step 2: Verifica disponibilità prodotto
    SELECT giacenza FROM prodotti WHERE id = 101;
    IF giacenza < 2  -- quantità richiesta
    BEGIN
        ROLLBACK;
        RETURN 'Errore: prodotto non disponibile';
    END

    -- Step 3: Crea ordine
    INSERT INTO ordini (cliente_id, prodotto_id, quantità) 
    VALUES (1, 101, 2);

    -- Step 4: Aggiorna giacenza
    UPDATE prodotti SET giacenza = giacenza - 2 
    WHERE id = 101;

    -- Step 5: Conferma
    COMMIT;
    RETURN 'Ordine completato!';

🎬 8. Scenario Completo: Acquisto su E-Commerce

Vediamo come tutte e 4 le proprietà ACID lavorano insieme in un caso reale di acquisto online:

BEGIN TRANSACTION;

COMMIT;  -- Tutto salvato su disco!

📋 9. Riepilogo e Punti Chiave

📊 Tabella Riassuntiva ACID

⚖️ Confronto: Con ACID vs Senza ACID

❓ Domande Frequenti