Database management system: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
→Principali sistemi esistenti: fix testo, fix vari; →Voci correlate: rimuovo ridondanze da testo |
|||
| (Una versione intermedia di un altro utente non mostrate) | |||
Riga 87:
Un utente con privilegi di amministratore dichiara al sistema come gestire gli accessi, tramite una [[tavola CRUD]].
Il DBMS dovrebbe consentire l'accesso in scrittura a una generica [[risorsa informatica]], a un solo utente alla volta. Se due utenze accedono alla stessa risorsa, apportando modifiche, si hanno due casi:
# se salvano contemporaneamente il loro lavoro, sorge un conflitto di edizione;
Riga 115:
* guasti di memoria secondaria o di un dispositivo di memorizzazione.
Un guasto di sistema può essere un system crash dovuto ad un errore software o hardware, un errore di sistema di applicativo, dovuto ad esempio ad una [[divisione per zero]], un errore generato dalle condizioni logiche durante l'esecuzione di una transazione. Questo tipo di guasto causa la perdita dei dati contenuti nel buffer ma la memoria di massa rimane comunque valida.
Un guasto di memoria secondaria è più complesso da gestire e può essere causato da eventi catastrofici che non permettono di avere una memoria ancora valida. Questo tipo di guasto causa una perdita fisica dei dati memorizzati ma non dei log che vengono salvati in una memoria stabile.
Riga 126:
* ''checkpoint'': evento di sistema che permette di fotografare lo stato del DBMS al momento dell'esecuzione delle transazioni.
Per ripristinare situazioni non congruenti derivate da crash del sistema, il DBMS ha a disposizione l'operazione di redo e l'operazione di undo da utilizzare tramite la lettura del log.
Per le transazioni che al momento di un guasto sono nello stato di committed, dato che bisogna garantire la proprietà di persistenza, sarà necessario rifare le azioni che sono state salvate nel log tramite l'istruzione redo.
| |||