Vincoli di integrità generici Con i costrutti visti sinora, non è sempre possibile definire tutti i possibili vincoli di integrità. Per questo esiste listruzione check (Condizione) La condizione specificata deve essere verificata da tutte le tuple in ogni momento. E possibile con check definire tutti i vincoli predefiniti. Però è meno leggibile e non si possono applicare le politiche di reazione alle violazioni. Tuttavia è molto potente

Check, esempio create table Impiegato ( Matricola character(6), Cognome character(20), Nome character(20), Sesso character not null check (sesso in (M,F)) Stipendio integer, Superiore character(6), check(Stipendio <= (select Stipendio from Impiegato J where Superiore = J.Matricola) )

Asserzioni Le asserzioni sono vincoli che fanno parte dello schema e non sono associati ad alcun attributo o tabella. Permettono di definire tutti i vincoli utilizzabili nella definizione di una tabella, ma anche vincoli su più tabelle o vincoli che richiedono che una tabella abbia certe caratteristiche (es. una certa cardinalità). create assertion NomeAsserzione check (Condizione) Es. create assertion AlmenoUnImpiegato check (1 <= (select count(*) from Impiegato))

Asserzioni Ogni vincolo di integrità è associato ad una politica di controllo che specifica se è immediato o differito. Se è immediato è verificato immediatamente dopo una modifica. Se è differito solo al termine dellesecuzione di una serie di operazioni (transazione). Se un vincolo immediato viene violato, loperazione di modifica può essere annullata immediatamente (rollback parziale). Tutti i vincoli predefiniti sono immediati. Se invece è differito al momento in cui si verifica la violazione non è più possibile identificare loperazione che lha causata e quindi va annullata tutta la transazione (rollback). Questo garantisce la consistenza della base di dati. Per cambiare il tipo di controllo: set constraints [ NomeVincolo ] immediate set constraints [ NomeVincolo ] deferred

Viste Le viste sono tabelle virtuali ricavate da informazioni contenute in altre tabelle. Nella definizione possono essere contenute anche altre viste purché non vi siano dipendenze ricorsive o immediate (una vista non può dipendere da se stessa), né transitive. create view NomeVista [( ListaAttributi )] as SelectSQL [ with [ local | cascaded] check option ] La query SQL deve restituire un numero di attributi pari a quelli contenuti nello schema; lordine degli attributi nella target list deve rispettare quello dello schema

Viste Es. create view ImpiegatiAmmin(Matricola,Nome,Cognome,Stipendio) as select Matricola, Nome, Cognome, Stipendio from Impiegato where Dipart = Amministrazione and Stipendio > 10 Su certe viste è possibile fare modifiche che alterano le tabelle che le compongono. Ci sono problemi se la vista è definita tramite un join. SQL permette la modifica di una vista solo se una sola riga di ciascuna tabella di base corrisponde a una riga della vista. Di solito si richiede che sia definita su una sola tabella e/o che contenga almeno una chiave primaria.

Viste check option richiede che si facciano modifiche solo sulle righe della vista e che le righe continuino ad appartenere alla vista dopo le modifiche. Se una vista è definita in termini di altre viste lopzione local o cascaded specifica se il controllo debba coinvolgere solo la vista più esterna o se deve essere propagato a tutti i livelli. Il default è cascaded. Quindi se è specificata la check option ogni comando di aggiornamento per essere propagato non deve eliminare righe dalla vista.

Viste Le viste consentono anche di sostituire interrogazioni nidificate o di creare interrogazioni altrimenti impossibili da definire. Es. create view BudgetStipendi(Dip,TotaleStipendi) as select Dipart, sum(Stipendio) from Impiegato group by Dipart Trovare il dipartimento che spende di più in stipendi select Dip from BudgetStipendi whereTotStipendi=(select max(TotaleStipendi) from BudgetStipendi)

Controllo degli accessi SQL prevede la definizione di utenti, per assegnare diversi privilegi. Gli utenti possono essere gli stessi del sistema su cui è attivo il server SQL, oppure indipendenti dal sistema. Ogni componente del sistema è proteggibile, di solito si proteggono le tabelle. Il controllo degli accessi è basato sul concetto di privilegio, caratterizzato da: risorsa cui si riferisce utente che concede il privilegio utente che lo riceve azione che viene permessa possibilità di trasmettere o meno il privilegio ad altri utenti

Controllo degli accessi Il creatore di una risorsa ha tutti i privilegi, al momento della sua creazione. Esiste anche un utente speciale _system, che ha tutti i privilegi su tutte le risorse in qualsiasi momento. I privilegi sono: insert, (applicabile a tabelle o viste) inserisce un nuovo oggetto nella risorsa update (tabelle viste attributi) aggiorna il valore di un oggetto delete (tabelle e viste) rimuove un oggetto select (tabelle viste attributi) permette di leggere la risorsa references (tabelle ed attributi) permette che venga fatto riferimento ad una risorsa nellambito della definizione dello schema di una tabella. usage (domini) permette che venga usata la risorsa

Controllo degli accessi drop e alter sono riservati al creatore degli oggetti cui si applicano I comandi per concedere o revocare privilegi sono grant e revoke grant Privilegi on Risorsa to Utenti [ with grant option ] concede i Privilegi sulla Risorsa agli Utenti

Controllo degli accessi Es. grant select on Dipartimento to Stefano concede allutente Stefano il privilegio di select sulla tabella Dipartimento. Se si specifica anche with grant option lutente può propagare i diritti anche ad altri. La parola chiave all privileges specifica tutti i possibili privilegi. revoke Privilegi on Risorsa from Utenti [ restrict|cascade ] fa loperazione inversa. Con restrict si impedisce che la revoca provochi altre revoche, con cascade si concede.

SQL e linguaggi di programmazione Linterazione con lambiente SQL può avvenire in 3 modi: in modo interattivo col server attraverso interfacce o linguaggi ad hoc legati a particolari DBMS attraverso i normali linguaggi di programmazione In questultimo caso è necessario che un preprocessore si occupi di riconoscere in un sorgente il codice SQL e lo trasformi in codice del linguaggio che si sta usando.

SQL e linguaggi di programmazione Uno dei problemi che sorgono è il fatto che SQL sia orientato agli insiemi mentre i linguaggi di programmazione, ad eccezione di alcuni linguaggi ad oggetti, possono essere soltanto orientati alle tuple. Le tuple dovranno quindi essere scandite una per una per eseguire un comando SQL. Si può ovviare a questo o con linguaggi ad oggetti che supportino operazioni evolute sugli insiemi o mediante i cursori.

Cursori I cursori estendono SQL in modo tale da fornire la possibilità ad un programma di accedere alle tabelle una riga alla volta. Hanno un comportamento simile ai puntatori a file. declare NomeCursore [ scroll ] cursor for SelectSQL [ for < read only | update [ of Attributo {, Attributo }] > ] associa un cursore ad una interrogazione. scroll indica se il programma può spostarsi liberamente nellinterrogazione for [read only | update] specifica se il cursore deve essere usato in un comando di modifica o in sola lettura.

Cursori open NomeCursore attiva linterrogazione cui è collegato il cursore e permette di accedere al risultato tramite il comando fetch [ Posizione from ] NomeCursore into ListadiFetch che prende una riga dal cursore e la ripone nelle variabili della ListadiFetch. La corrispondenza fra attributi e variabili è per posizione. Quando si parla di riga corrente si intende lultima riga letta.

Cursori Posizione può assumere i valori: next (il cursore legge la riga successiva alla corrente) prior (la precedente) first (la prima) last (lultima) absolute EsprIntera (la i-esima, i è il risultato dellespressione) relative EsprIntera (la i-esima rispetto alla corrente)

Cursori Le opzioni di posizione viste possono essere usate solo se è stata specificata lopzione scroll. Altrimenti solo next. In quel caso limplementazione è più efficiente. update e delete possono usare i cursori. update NomeTabella set Attributo = {, Attributo = } where current of NomeCursore

Cursori delete from NomeTabella where current of NomeCursore close NomeCursore chiude il cursore e libera la memoria dalla copia del risultato della query cui è collegato. Se la query restituisce solo una riga si può evitare il cursore e usare select ListaAttributi into ListaVariabili

SQL dinamico In molti casi è necessario formulare interrogazioni arbitrarie, non solo parametrizzabili, ma anche dipendenti ad esempio dallo stato dellesecuzione di un programma. Le interrogazioni che si possono formulare attraverso le istruzioni viste sinora sono di tipo statico, cioè scritte una volta per tutte. SQL dinamico consente di costruire interrogazioni al momento dellesecuzione di un programma. In SQL statico, i comandi vengono compilati una volta per tutte. Questo si traduce in elevata efficienza. In SQL dinamico, per ottimizzare lefficienza di un programma e mantenerla equivalente a quella di SQL statico, sono previste due modalità di esecuzione.

SQL dinamico execute immediate IstruzioneSQL Questo comando provoca lesecuzione immediata dellistruzione e può quindi essere usato solo per comandi che non richiedono parametri in ingresso o in uscita. Es. istruzioneSQL= delete from Dipartimento where Nome = Amministrazione ; $ execute immediate :istruzioneSQL Se il comando viene eseguito più volte o se il programma deve gestire uno scambio di parametri bisogna distinguere 2 fasi: preparazione ed esecuzione.

SQL dinamico Fase di preparazione prepare NomeComando from IstruzioneSQL fa analizzare listruzione e la fa tradurre nel linguaggio procedurale del sistema. Gli eventuali parametri sono sostituiti da ? In pratica, definisce una funzione che sarà possibile chiamare dal linguaggio ad alto livello. prepare :comando from select Città from Dipartimento where Nome = ? Quando non serve più listruzione è possibile deallocare la memoria deallocate prepare NomeComando deallocate prepare :comando

SQL dinamico Fase di esecuzione execute NomeComando [ into TargetList ] [ using ListaParametri ] La target list contiene le variabili in cui deve essere inserito il risultato dellesecuzione del comando. La lista dei parametri specifica i valori che devono essere assunti dai parametri della funzione. execute :comando into :citta using :dipartimento diventa, se :dipartimento assume il valore Produzione, select Città from Dipartimento where Nome = Produzione

SQL dinamico e cursori I cursori vengono utilizzati come in SQL statico, con la sola differenza che si associa al cursore lidentificativo dellinterrogazione invece che linterrogazione stessa e che si possono usare using e into per specificare i valori dei parametri di ingresso e uscita. Es. prepare :comando from :istruzioneSQL declare Cursore cursor for :comando open Cursore using :nome1