Interrogazioni di tipo insiemistico. Select. Interrogazioni di tipo insiemistico. Interrogazioni nidificate

Transcript

1 Select La sintassi di select cui siamo arrivati dopo le estensioni viste è quindi: SelectSQL ::= select ListaAttributiOEspressioni from ListaTabelle [ where CondizioniSemplici ] [ group by ListaAttributiDiRaggruppamento] [ having CondizioniAggregate] [ order by ListaAttributiDiOrdinamento] Interrogazioni di tipo insiemistico SQL fornisce anche gli operatori di tipo insiemistico union, intersect, except (minus) con la seguente sintassi: SelectSQL {< union intersect except >[all]} SelectSQL intersect e except potrebbero anche essere derivati attraverso opportune query gli operatori insiemistici eseguono per default una eliminazione dei duplicati; all specifica di non farla gli schemi su cui si opera non devono essere identici ma avere uguale numero di attributi, con domini compatibili. La corrispondenza è per posizione. Interrogazioni di tipo insiemistico Estrarre nomi e cognomi degli impiegati union select Cognome Estrarre i cognomi degli impiegati che sono anche nomi intersect select Cognome E possibile anche realizzare clausole where in cui il confronto non avviene fra predicati semplici o fra valori, ma fra valori e insiemi di valori, appartenenti allo stesso dominio, che sono risultato di un altra interrogazione. SQL offre 2 possibilità di estendere gli operatori di confronto al caso del confronto valore/insieme (risultato query): all specifica che il risultato del confronto è vero se è vero per tutte le righe del risultato dell interrogazione. any specifica che il risultato del confronto è vero se è vero per una qualunque riga del risultato dell interrogazione. 1

2 I where Dipart = any (select D.Nome from Dipartimento D where Città= Firenze ) Il risultato comprende: tutte le righe di IMPIEGATO per cui il valore Dipart è uguale ad almeno uno dei valori di Nome in DIPARTIMENTO, limitatamente alle tuple per cui Città= Firenze, cioè l elenco degli impiegati che lavorano in dipartimenti con sede a Firenze. Lo stesso risultato si poteva ottenere con un join, ma così, specialmente per interrogazioni complesse, è più leggibile. I where Dipart = any ( select D.Nome from Dipartimento D where Città = Firenze ) I, Dipartimento D where Dipart = D.Nome and Città = Firenze Nome e reddito del padre di Franco, Reddito from Persone, Paternita where Nome = Padre and Figlio = 'Franco', Reddito from Persone where Nome =(select Padre from Paternita where Figlio = 'Franco') L uso delle interrogazioni nidificate può anche eliminare la necessità degli alias. Es. select I1.Nome I1, Impiegato I2 where I1.Nome = I2.Nome and I1.Dipart = Produz and I2.Dipart <> Produz equivale a where Nome = any (select I.Nome I where I.Dipart= Produz ) and Dipart <> Produz 2

3 Non tutte le interrogazioni nidificate corrispondono però ad un join from Dipartimento where Nome <> all ( select Dipart where Cognome= Rossi ) La condizione è verificata per le righe che NON contengono un certo valore, quindi non è esprimibile mediante un join, che richiede una corrispondenza fra valori. Però è equivalente a : P Nome (DIPARTIMENTO) - P Dipart (s Cognome= Rossi (IMPIEGATO))) e quindi le due query potevano essere unite da except La persona (o le persone) con il reddito massimo from persone where reddito = ( select max(reddito) from persone ) NB: =any e <>all si possono anche scrivere in e not in select Dipart, Stipendio where Stipendio = ( select max(stipendio) ) equivale a select Dipart, Stipendio where Stipendio >= all ( select Stipendio (n.b. il massimo di un insieme è il valore, appartenente a quell insieme, che è maggiore o uguale a tutti gli altri) Attenzione: un operatore aggregato non può essere applicato ad un altro operatore aggregato. Ad es., non posso utilizzare max se voglio calcolare il massimo fra i risultati di un operatore aggregato applicato ai sottoinsiemi definiti con la clausola group by. In questo caso è obbligatorio usare un confronto fra valori di due sottoinsiemi (spesso uguali) select Dipart, sum(stipendio) as MaxSt group by Dipart having MaxSt >=all ( select sum(stipendio) group by Dipart ) 3

4 Interpretazione delle query nidificate Per analizzare il risultato di una interrogazione nidificata si può supporre di valutare prima il risultato dell interrogazione nidificata e poi quella della interrogazione che la contiene. Questo migliora anche l efficienza, in quanto l interrogazione nidificata viene eseguita una sola volta. Talvolta però esiste una dipendenza tramite variabile (passaggio di binding) fra l interrogazione nidificata e quella che la contiene. In questo caso bisogna usare la definizione procedurale di query, che calcola il prodotto cartesiano fra le tabelle e poi verifica la condizione where separatamente per ogni riga. Quindi per ogni riga della query esterna (da cui dipende anche la query interna) si valuta prima la query nidificata per poi calcolare il predicato a livello di riga sulla query esterna. Le variabili SQL sono utilizzabili solo nella query in cui sono definite o nell ambito di una query nidificata al suo interno. Se due query sono allo stesso livello non possono condividere variabili. exists è un operatore logico applicabile a query nidificate. Restituisce vero se la query dà un risultato non nullo, falso se è nullo. E utilizzabile in modo significativo solo se esiste un passaggio di binding fra interrogazione esterna e interrogazione nidificata. exists Le persone che hanno almeno un figlio from Persone P where exists ( from Paternita where Padre = P.Nome) or exists ( from Maternita where Madre = P.Nome) from Persona P where exists ( from Persona P1 where P1.Nome = P.Nome and P1.Cognome = P.Cognome and P1.Cfiscale <> P.CFiscale) In questo caso non è possibile eseguire prima la query nidificata, in quanto è indeterminata se non si risolve il riferimento. Quindi per ogni riga dell interrogazione esterna dovrà essere valutata l interrogazione nidificata. 4

5 Costruttore di tuple Quando si deve valutare una condizione che coinvolge un insieme di attributi, la lista degli attributi coinvolti viene inserita all interno di una parentesi tonda. Es. from Persona P where (Nome, Cognome) in (, Cognome from Persona Q where P.CFiscale <> Q.CFiscale) 5