04 07 13S

Pagina 1

2/11/14 1 Basi di dati: appello 04/07/13 Si consideri il seguente schema relativo alla gestione di uno zoo: ANIMALE (Codice, Nome, Classe, Famiglia, Peso, Età) PARENTELA (AnimaleGenitore, AnimaleFiglio) GABBIA (Codice, Dimensione, Tipo, Zona) COMPOSIZIONE (CodAnimale, CodGabbia, DataInizio, NumGiorni) Dove l’attributo Classe assume valori “Mammiferi”, “Rettili”, “Uccelli” etc. mentre l’attributo Famiglia assume valori “Elenfatidi”, “Felini”, etc. Linguaggi Formali Esprimere in algebra (ottimizzata) e calcolo relazionale: Trovare gli animali che sono stati in una sola gabbia di almeno 25 mq. COMPOSIZIONE ΠCodAnimale, CodGabbia GABBIA ΠCodice ΠCodAnimale σDimensione > 25 σCodGabbia <> C COMPOSIZIONE ΠCodAnimale, CodGabbia GABBIA ΠCodice σDimensione > 25 CodGabbia=Codice CodGabbia=Codice ρ Cß CpdGabbia COMPOSIZIONE ΠCodAnimale, CodGabbia GABBIA ΠCodice σDimensione > 25 CodGabbia=Codice ΠCodAnimale - 2/11/14 2 Linguaggi Formali – Calcolo Relazionale {t| ∃ t1 ∈ COMPOSIZIONE, ∃ t2∈ GABBIA, (t[CodAnimale]=t1[CodAnimale] ∧ t1[CodGabbia]=t2[Codice]∧ t2[Dimensione]>25 ∧ (t3, t4 ∈ COMPOSIZIONE, ∃ t5, t6 ∈ GABBIA (t3[CodGabbia]=t5[Codice]∧ t4[CodGabbia]=t6[Codice] ∧ t5[Dimensione] >25 ∧ t6[Dimensione] >25 ∧ t3[CodAnimale] = t4[CodAnimale] ∧ t3[CodGabbia] <> t4[CodGabbia]) Linguaggi Formali - DataLog Esprimere in Datalog la seguente query: Trovare tutti gli antenati dell’elefantino Jumbo appena nato. Antenati(Codice):- PARENTELA (Codice, CodJumbo ) ANIMALE (CodJumbo,,”Jumbo”, _ , _ , _ , _) Antenati(Codice):- ANTENATI (C) PARENTELA (Codice, C) ?-Antenati (x) 2/11/14 3 SQL: interrogazioni • Trovare i nomi dei felini più giovani di 5 anni che hanno almeno 3 figli e non sono mai stati nella stessa gabbia per più di 10 giorni consecutivi SELECT Nome FROM ANIMALE JOIN PARENTELA ON…