Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Una base di dati si dice attiva quando dispone di un sottosistema integrato ore
definire e gestire regole di produzione secondo il paradigma Evento-CondizioneAzione.
La granularit pu essere ROW LOVEL, se il trigger viene attivato, verificato ed
eseguito per ogni tupla del target coinvolta nell'evento;
STATEMENT-LEVEL, se il trigger viene eseguito una sola volta per tutte le tulle
coinvolte.
Le modalit di valutazione sono BEFORE, AFTER e DEFERRED.
La parte esecutiva costituita da uno StatementSQL racchiuso tra BEGIN e END;
Il 2PL stretto prescrive che una transazione pu rilasciare un loco solo dopo aver
effettuato correttamente il commit/abort.
IL 2PL prevede i livelli di isolamento: read uncommitted, rea committed, repeatable
read, serializable.
9) Propriet ACID
ATOMICITA': una transazione una unit indivisibile di lavoro: un errore prima del
commit provocher l'UNDO delle operazioni eseguite, un errore dopo il commit
provocher il REDO delle operazioni. La base di dati non pu essere lasciata in uno
stato indecidibile.
CONSISTENZA: Una transazione non pu violare i vincoli di integrit della base di dati.
ISOLAMENTO: ogni transazione deve essere indipendente da ogni altra. L'effetto di una
collezione concorrente di transazioni deve essere equivalente a quello di una arbitraria
esecuzione in sequenza di ciascuna transazione
DURABILITA': gli effetti di una transazione devono permanere indefinitamente nel
tempo.
- data mining: realizza algoritmi per la ricerca di relazioni "nascoste" tra i dati
- export dei dati: permette l'esportazione dei dati da una DW ad un'altra
Siano X, Y sottoinsiemi non vuoti dello schema di una relazione R. Esiste una
dipendenza funzionale X --> Y se: per ogni t1, t2 istanza di R, Px(t1) = Px(t2) -->
Py(t1) = Py(t2)
Gli assiomi di Armstrong sono:
- riflessivit: X contenuto Y implica X --> Y
- incremento: X --> Y implica XZ --> YZ
- transitivit: X --> Y, Y --> Z implica X --> Z
Altre regole:
- unione: X --> Y, X --> Z implica X --> YZ
- decomposizione: X --> YZ implica X --> Y, X --> Z