3b Tema desame del 23 febbraio 2016 Soluzione

Pagina 1

Basi di Dati 1 Prof.ssa Elisa Quintarelli, Prof.ssa Letizia Tanca Esame del 23/02/2016 Tempo: 2h 40m Matricola o Codice Persona: Cognome e Nome: (IN STAMPATELLO MAIUSCOLO) Firma: Si consideri il seguente schema di base di dati, che descrive le vendite di bevande effettuate da una catena di punti vendita costituiti da soli distributori automatici. BEVANDA (Codice, nome, prezzo, qtaCL) VENDITA (CodPuntoVendita, NumMacchina, CodBevanda, Data, Ora, qtaZucchero, usoChiavetta) DISTRIBUTORE (CodicePuntoVendita, NumeroMacchina, capienzaCL, dataUltimoRifornimento, oraUltimoRifornimento) Dove le varie bevande possono essere “caffè espresso”, “caffè lungo”, “cioccolata” , “tè al limone”, etc e qtaCL esprime, in centilitri, la quantità di bevanda. L’attributo qtaZucchero specifica, su una scala da 0 a 5 la quantità di zucchero scelta dal cliente durante l’acquisto ; l’attributo usoChiavetta assume valore TRUE oppure FALSE a seconda che l’acquisto sia stato effettuato utilizzando la chiavetta o meno. Infine, NumeroMacchina identifica progressivamente i diversi distribut ori di uno stesso punto vendita mentre capienzaCL esprime, in centilitri, la capienza totale di bevande del distributore. 1. Linguaggi Formali (6 punti) Esprimere in algebra relazionale (ottimizzata), calcolo relazionale e Datalog la seguente interrogazione: Trovare i distributori che non hanno effettuato nessuna vendita successiva al loro ultimo rifornimento. Algebra relazionale Calcolo relazionale {t| ƎtDϵDISTRIBUTORE ( t[CodicePuntoVendita, NumeroMacchina]=tD[CodicePuntoVendita, NumeroMacchina] ᴧ¬ (ƎtVϵVENDITA ( tV[CodPuntoVendita, NumMacchina]=tD[CodicePuntoVendita, NumeroMacchina] ᴧ (tV[Data]>tD[dataUltimoRifornimento] ⋁ (tV[Data]=tD[dataUltimoRifornimento] ᴧ tV[Ora]>tD[oraUltimoRifornimento]))) } Datalog…