IMPIEGATO(Nome, Salario, DipNum) DIPARTIMENTO (DipNum, NomeManager)

Transcript

1 BASI DI DATI ATTIVE Esercizio n.1 Dato lo schema relazionale IMPIEGATO(Nome, Salario, DipNum) DIPARTIMENTO (DipNum, NomeManager) definire le seguenti regole attive in SQL:99 T1. Quando un dipartimento viene cancellato cancella tutti gli impiegati di quel dipartimento. T2. Reagisce alla cancellazione di un impiegato che è manager in un dipartimento cancellando quel dipartimento e tutti i suoi impiegati T3. Ogni qual volta il salario di un impiegato supera il salario del suo manager pone tale salario uguale al salario del manager. T4. Ogni volta che i salari vengono modificati, verifica che non vi siano dipartimenti in cui il salario medio cresce più del 3% e in tal caso annulla la modifica. T5. Ogni volta che i salari sono modificati, verifica il loro valore medio, e se maggiore di 50000, cancella tutti gli impiegati il cui salari sono stati modificati e sono maggiori di T1. Quando un dipartimento viene cancellato cancella tutti gli impiegati di quel dipartimento. 1) create trigger T1 after delete on DIPARTIMENTO when (IMPIEGATO.DipNum=Old.DipNum) delete from IMPIEGATO where DipNum=Old.DipNum T2. Reagisce alla cancellazione di un impiegato che è manager in un dipartimento cancellando quel dipartimento e tutti i suoi impiegati 2) create trigger T2 after delete on IMPIEGATO when ( old.nome in ( select NomeManager from DIPARTIMENTO ) begin delete from IMPIEGATO where Dipnum = old.dipnum; delete from DIPARTIMENTO where Dipnum = old.dipnum; end

2 T3. Ogni qual volta il salario di un impiegato supera il salario del suo manager pone tale salario uguale al salario del manager. 3) create trigger T3 after update of Salario on IMPIEGATO declare x number; begin select Salario into x from IMPIEGATO join DIPARTIMENTO on Nome=NomeManager where DIPARTIMENTO.Dipnum=new.Dipnum if new.salario > x then update IMPIEGATO set Salario=x where Nome=new.Nome end T4. Ogni volta che i salari vengono modificati, verifica che non vi siano dipartimenti in cui il salario medio cresce più del 3% e in tal caso annulla la modifica. 4) create trigger T4 after update of Salario on IMPIEGATO declare x number; declare y number; declare l number; begin select avg(salario), count(*) into x,l from IMPIEGATO where Dipnum=new.Dipnum; y=((x*l)-new.salario+old.salario)/l; if (x>(y*1.03)) then update IMPIEGATO set Salary=old.Salario where Dipnum=new.Dipnum; end T5 -Ogni volta che i salari sono modificati, verifica il loro valore medio, e se maggiore di 50000, cancella tutti gli impiegati il cui salari sono stati modificati e sono maggiori di ) create trigger T5 after update of Salario on IMPIEGATO when ((select avg(salario) from new_table) > 50000) delete from IMPIEGATO where Salario>80000 and Nome in ( Select new_table.nome from new_table as n join old_table as o on n.nome=o.nome where n.salario<>old.salario )

3 Esercizio n.2 Riferendosi alla base dati dell esercizio precedente, considerare una popolazione con 8 impiegati: Glenna, Mary, Tom, Bob, Andrew, Gary, Sandro, Clara in cui: Glenna è manager nel dipartimento 1 Mary è manager nel dipartimento 2 in cui lavorano Tom e Andrew Gary è manager del dipartimento 3 in cui lavorano Sandro e Clara Bob è manager del dipartimento 4 Descrivere una transazione SQL che cancella l impiegato Glenna e che modifica alcuni dei salari degli impiegati, quindi attivando le regole 3-5. Descrivere il comportamento dei trigger dopo queste modificazioni; descrivere lo stato del database dopo ciascuno statement e esecuzione di regola e alla fine della transazione. Stato iniziale del database IMPIEGATO Nome Salario Dipnum Glenna Mary Tom Bob Andrew Gary Sandro Clara DIPARTIMENTO DipNum NomeManager 1 Glenna 2 Mary 3 Gary 4 Bob Transazioni SQL 1-Delete from IMPIEGATO where Nome= Glenna ; 2-update IMPIEGATO set Salario=55000 where Nome= Sandro 3-update IMPIEGATO set Salario=85000 where Nome= Mary

4 La operazione 1 causa l attivazione del trigger T2, che cancellerà dalla tabella DIPARTIMENTO la tupla 1 Glenna). Il nuovo stato del database IMPIEGATO Nome Salario Dipnum Mary Tom Bob Andrew Gary Sandro Clara DIPARTIMENTO DipNum NomeManager 2 Mary 3 Gary 4 Bob La seconda operazione causa l attivazione del trigger T3 e così la tupla (Sandro,40000,3) diventa (Sandro, 50000, 3). Nuovo stato del database (la tabella DIPARTIMENTO non cambia) IMPIEGATO Nome Salario Dipnum Mary Tom Bob Andrew Gary Sandro Clara L ultima operazione causa l attivazione dei trigger T4 e T5. Il trigger T4 è attivato per primo poiché T5 è un trigget after-statement, mentre T4 è after row. La modificazione prodotta da T4 viene cancellata e lo stato finale del database non cambia.

5 Esercizio n 3 Descrivere le proprietà di terminazione, confluenza e determinismo delle osservazioni per le regole dell esercizio n.1 Per discutere le proprietà di terminazione per le regole dell esercizio n.1 dobbiamo innanzitutto esaminare il grafo delle attivazioni: T1 T2 T5 T3 T4 Il grafo è ciclico, ma tuttavia l insieme di regole garantiscono la terminazione perché T1 e T2 possono attivarsi scambievolmente una sola volta; la seconda attivazione non produce nessun effetto nel database poiché tutti gli impiegati sono già stati rimossi e pertanto non attivano altri trigger. L insieme di regole non garantiscono la confluenza poiché lo stesso evento può attivare più di un trigger (per esempio un aumento del salario per un impiegato può attivare i trigger T3,T4 e T5). Il risultato finale è differente se il trigger T5 è attivato prima o dopo degli altri Trigger ( esso cancella un impiegato mentre T3 e T4 aggiornano il salario. Naturalmente l insieme di regole non garantisce il determinismo delle osservazioni poiché esso non garantisce la confluenza.

6 Esercizio n.4 Dato lo schema relazionale: DOTTORANDO ( Nome, Disciplina, Relatore) PROFESSORE( Nome, Disciplina) CORSO( Titolo, Professore) ESAMI ( NomeStud, TitoloCorso) Descrivere i trigger che gestiscono i seguenti vincoli di integrità (business rules) 1. ogni dottorando deve lavorare nella stessa area del suo relatore. 2. ogni dottorando deve aver sostenuto almeno tre corsi nell area del suo relatore 3. ogni dottorando deve aver sostenuto l esame del corso di cui è responsabile il suo relatore 1) create trigger T1 after update of Disciplina on DOTTORANDO when Disciplina <> select Disciplina from PROFESSORE where PROFESSORE.Nome=new.Relatore then signal SQLSTATE ( Wrong Disciplina ) 2) create trigger T2 after update of Disciplina on DOTTORANDO when 3 < ( select count(*) from Exam join CORSO on TitoloCorso=Titolo join PROFESSORE on Professore=PROFESSORE.Nome join DOTTORANDO on NomeStud=DOTTORANDO.Nome join PROFESSORE as P2 on Relatore=P2.Nome where PROFESSORE.Disciplina=P2.Disciplina and DOTTORANDO.Nome=new.Nome ) then signal SQLSTATE ( Two few Courses ) 3) create trigger T3 after update of Relatore on DOTTORANDO when not exist ( select * from ESAMI join CORSO on TitoloCorso=Titolo where NomeStud=new.Nome and Professore=new.Relatore ) then signal SQLSTATE ( Exam loss )