{ t t 0. DATILIBRO ( t [Titiolo] = t D. [Titiolo] t D. [AnnoP] >= 1980 [AnnoP] < 1990 ) } { t t D. DATILIBRO [Titiolo] ( t D. [AnnoP] < 1980 t D

Transcript

1 4 I titoli di tutti i libri pubblicati negli anni 80 { t DATILIBRO ( t [Titiolo] = [Titiolo] [AnnoP] >= 1980 [AnnoP] < 1990 Anni80(Tit :- DATILIBRO ( _, Tit, AnP, _, _, _, AnP>=1980, AnP<1990? Anni80 (X 1 7 Nome, cognome e codice degli utenti che non hanno MAI preso in prestito libri di informatica { t t 0 UTENTE t [Nome] = t 0 t [Cognome] = t 0 [Cognome] t [Codice] = t 0 [Codice] ( t 1 DATILIBRO, t 2 LIBRO, t 3 PRESTITO t 1 [ISBN] = t 2 t 2 [Collocazione] = t 3 [Collocazione] t 3 [CodiceUtente] = t 0 [Codice] t 1 [Genere] = Informatica 4 5 I titoli di tutti i libri NON pubblicati negli anni 80 { t DATILIBRO ( t [Titiolo] = [Titiolo] ( [AnnoP] < 1980 [AnnoP] >= 1990 NonAnni80(T :- DATILIBRO ( _, T, _, _, _, _, Anni80(T? NonAnni80 (X 2 7 Nome, cognome e codice degli utenti che non hanno MAI preso in prestito libri di informatica PresoInfo(Cod :- DAT ( Isbn, _, _, _, _, Gen, LIB ( Coll, Isbn, _, _, PRE ( Coll, CodU, _, _, Gen = Info MaiPresoInfo(N, C, Cod :- UTE ( Cod, C, N, _, _, PresoInfo (Cod? - MaiPresoInfo (Nome, Cognome, Codice 5 6 Titoli dei libri di informatica presi nel giugno 02 8 Trovare i titoli dei libri presi a prestito nel mese di giugno 02 oppure acquisiti nel mese di giugno 02 R(Tit :- DAT ( Isbn, Tit, _, _, _, Gen, LIB ( Coll, Isbn, _, PRE ( Coll, _, DataP, _, Gen= Info, DataP>=1/6/02, DataP<=30/6/02? - R(Titolo 3 R(Tit :- DAT(Isbn, Tit, _, _, _, _, LIB(Coll, Isbn, _, PRE ( Coll, Cod, DataPre, _, DataPre >= 1/6/02, DataPre <= 30/6/02 R(Tit :- DAT(Isbn, Tit, _, _, _, _, LIB(Coll, Isbn, DataA, DataA >= 1/6/02, DataA <= 30/6/02? :- R(Titolo 6

2 9 Titolo dell ultimo libro preso in prestito da ciascun utente 11 Utenti che hanno preso libri di tutti i generi GenereInBiblio(Gen :- DATILIBRO ( _, _, _, _, _, Gen GenereLetto(Ut, Ge :- PRESTITO ( Coll, Ut, _, _, COPIA ( Coll, Isbn, _, DATILIBRO ( Isbn, _, _, _, _, Ge P(coll, cod, data :- PRE ( coll, cod, data, _, PRE ( _, cod, data1, _, data < data1 T(Cog, Nom, Tit :- DAT(Isbn, Tit, _, _, _, _, LIB(Coll, Isbn, _, PRE(Coll, cu, Data, P(Coll, cu, Data, UTE(cu, Cog, Nom? - T( cognome, nome, ultimo-titolo 7 GenMaiLetto(Ut, Ge :- UTENTE ( Ut, _, _, _, _, GenereInBiblio ( Ge, GenereLetto ( Ut, Ge LettiTuttiGen(CodUt :- UTENTE ( CodUt, _, _, _, _, GenMaiLetto ( Ut, Ge? - LettiTuttiGeneri( X Titoli dei libri che non sono stati mai presi in prestito { t DATILIBRO ( t [Titiolo] = [Titiolo] ( t L LIBRO, t P PRESTITO ( t L [Coll] = t P [Coll] Preso(Isbn :- PRESTITO ( Coll, _, _, _, LIBRO ( Coll, Isbn, _ MaiPreso(Titolo :- DAT (Isbn, Titolo, _, _, _, _, Preso(isbn? - MaiPreso( T 8 Una query problematica 14 Libri che sono attualmente in prestito La base dati è tale per cui questa query non ha soluzione certa. Selezionare su NULL in DataResa sarebbe solo una congettura. Un valore NULL, infatti, può avere molte origini e molte spiegazioni (indisponibilità, inapplicabilità, Occorre quindi riprogettare lo schema, per rendere indipendenti le rappresentazioni del prelievo e della restituzione. N.B/P.S.: Le query 12 e 13 non esistono, la numerazione delle successive non è coerente con la preview: ciò è dovuto a una ristrutturazione del materiale in corso d opera ma c è tutto : Utenti che hanno preso libri di tutti i generi { t t U UTENTE ( t [CodiceUt] = t U [CodiceUt] ( M DATILIBRO ( t L LIBRO, t P PRESTITO, DATILIBRO ( t L [Coll] = t P [Coll] t P [CodiceUt] = t U [CodiceUt] M [Genere] = [Genere] 9 Gerarchia aziendale: IMPIEGATO (Nome, Età, Stipendio DIPENDENZA (Manager, Dipendente 15 Trovare gli impiegati dipendenti di Mario DIP(Nome :- DIPENDENZA("Mario", Nome, IMPIEGATO(Nome, _, _? - DIP(Nome? - DIPENDENZA("Mario", Nome È più semplice, ma non controlla che il dipendente sia anche registrato come IMPIEGATO ( integrità referenziale? 12

3 15 Trovare gli impiegati dipendenti di Mario { t t IM IMPIEGATO, DIPENDENZA ( t [Nome] = t IM [Dipendente] = t IM [Manager] = Mario Π Nome ( (σ Mngr = Mario DIPEND Dipend = Nome IMPIEG { t DIPENDENZA ( t [Nome] = [Dipendente] [Manager] = Mario Π Nome σ Manager = Mario DIPENDENZA Le coppie di impiegati che collaborano alle dipendenze di Mario (ipotesi: chi ha lo stesso superiore collabora { t 1,2 DIPENDENZA ( t[n1] = 1 [Dipendente] t[n2] = 2 [Dipendente] 1 [Manager] = Mario 2 [Manager] = Mario 1 [Dipendente] <> 2 [Dipendente] Π D1,D2 ( ( σ Manager= Mario ( ρ D1 Nome DIP D1<>D2 ( σ Manager= Mario ( ρ D2 Nome DIP come fare senza ridenominazione? Dire se Paolo è il manager di Mario (sì/no La risposta sì/no corrisponde al fatto che il risultato sia o non sia diverso dall insieme vuoto 18 Trovare gli impiegati che non hanno un manager, cioè non sono in relazione di dipendenza da nessuno Π Nome ( IMPIEG (IMPIEG < Nome=Dipend DIPEND? - DIPENDENZA ("Paolo", "Mario" σ Manager = Paolo Dipendente= Mario DIPENDENZA { t DIPENDENZA ( t [Sup, Inf] = [Manager, Dipendente] [Manager] = Paolo [Dipendente] = Mario 14 { t t IM IMPIEGATO ( t[nome] = t IM ( DIPENDENZA ( [Dipendente] = t IM [Nome] NoManager(Nome :- IMPIEGATO(Nome, _, _, DIPENDENZA ( _, Nome? - NoManager(Nome Le coppie di impiegati che collaborano alle dipendenze di Mario (ipotesi: chi ha lo stesso superiore collabora Sono quelli della query 15, ma si chiedono le coppie: COLLABORA(X,Y :- DIPENDENZA ( Mario, X, IMPIEGATO (X, _, _, DIPENDENZA ( Mario, Y, IMPIEGATO (Y, _, _, X <> Y Senza imporre esplicitamente X<>Y avremmo che ognuno è collaboratore di se stesso. Si noti anche che così otteniamo sia la coppia (a, b che la coppia (b, a. IMPIEGATO è opzionale qui esattamente come in 15 perciò è in grigio; per brevità, è omesso dalle soluzioni in algebra e TRC Impiegati di 30 anni oppure che guadagnano Risultato(Nome :- IMPIEGATO(Nome, 30, _ Risultato(Nome :- IMPIEGATO(Nome, _, 30000? - Risultato(Y Π Nome (σ Età=30 Stipendio=30000 IMPIEGATO { t t i IMPIEGATO ( t [Nome] = t i ( t i [Età] = 30 t i [Stipendio] =

4 20 Impiegati di meno di 30 anni che guadagnano almeno IMP (Nome :- IMPIEGATO (Nome, Età, Stipendio, Età < 30, Stipendio >= 30000? - IMP (Nome Π Nome (σ Età<30 Stipendio>=30000 IMPIEGATO { t t i IMPIEGATO ( t [Nome] = t i t i [Età] < 30 t i [Stipendio] >= Trovare tutte le relazioni di dipendenza, dirette e indirette DIP_Gen (Super, Sub :- DIPENDENZA (Super, Sub DIP_Gen (Sup, Imp :- DIP_Gen (Sup, X, DIPENDENZA (X, Imp? DIP_Gen (Capo, Dipendente La prima regola effettua una semplice ridenominazione della relazione di dipendenza, che corrisponde al caso base della ricorsione. La seconda regola propaga la dipendenza attraverso la proprietà transitiva (possibile solo in datalog Manager con almeno un (loro dipendente che guadagna più di loro PoorMGR (Mnger :- DIPENDENZA (Mnger, Dipnd, IMPIEGATO (Mnger, _, StipMgr, IMPIEGATO (Dipnd, _, StipDip, StipMgr < StipDip? - PoorMGR (X Dovendo confrontare due stipendi, occorrono due distinti letterali per rappresentare i due impiegati. Si noti che non è necessario imporre esplicitamente, come in 17, che si tratta di impiegati diversi, poiché già la diversità degli stipendi garantisce che il match avvenga con due fatti distinti. 20 Negazione in Datalog: regole corrette La negazione deve essere safe Tutte le variabili di un letterale negato devono comparire in un letterale positivo del corpo della regola S(X :- R(X, Q(Y non va bene (Y La negazione deve essere stratificata Non ci devono essere cicli di dipendenza in negazione nella definizione dei letterali grafo delle dipendenze P(X :- R(X P(X :- R(X, P(X non va bene, anche se X compare in R positivo P R Manager con un loro dipendente che guadagna di più { t DIPENDENZA, ip IMPIEGATO, t Man IMPIEGATO ( t[nome] = [Manager] [Dipendente] = ip [Manager] = t Man ip [Stipendio] > t Man [Stipendio] Π Manager ( (Π Nome,Dipendente,Stip (IMP Nome=Manager DIP Nome=Manager Dipendente=Nome Stip<Stip (Π Nome,Manager,Stip (IMP Nome=Dipendente DIP La soluzione seguente per mostrare come a volte la ρ aiuta Π Nmgr ( ( (ρ Nimp Nome IMP Stip>Stip (ρ Nmgr Nome IMP Nmgr=Manager Ndip=Dipendente DIP 21 Safeness della negazione 23 Dire se le seguenti regole sono corrette e, nel caso in cui non lo siano, spiegare perché: GIOVANE (Nome :- IMPIEGATO (Nome, Età, _, Età > 40 Non è safe, perché la variabile Nome, che compare in un letterale negato, viene usata nella testa e non compare in un letterale positivo del corpo. Inoltre, neanche la variabile Età compare in un letterale positivo del corpo. 24

5 Giovane_MGR (Nome :- IMPIEGATO (Nome, Età, _, DIPENDENZA (_, Nome, Età <= 40 La regola è safe: Nome compare in un letterale negato, ma anche nel letterale positivo IMPIEGATO 25 Nomi degli studenti che hanno almeno un 30 Π Nome (STUDENTE (σ Voto=30 ESAME Π Nome DIPENDE (X, Y :- DIPENDENZA (X, Y, NON_DIPENDE (X, Y NON_DIPENDE (X, Y :- DIPENDE (X, Y, IMPIEGATO (X, _, _, IMPIEGATO (Y, _, _ D ND Le regole sono safe di per sé, ma dipendono l una dall'altra in modo ciclico: non sono stratificabili. 25 Bravo(N :- STUDENTE(M, N, _, _, ESAME(M, _, _, 30? - Bravo(X Π Matr Nome STU { t t S STUDENTE, t 2 ( t [Nome] = t S Π t S [Matr] = t E [Matr] t E [Voto] = 30 σ Π Matr σ Voto=30 ESA 28 Esami universitari STUDENTE (Matr, Nome, Città, C-Dip ESAME (Matr,Cod-Corso, Data, Voto CORSO (Cod-Corso, Titolo, Docente 24 Nomi degli studenti del corso di diploma in informatica di Milano Π Nome (σ Città= Milano C-Dip= Inf STUDENTE RIS(Nome :- STUDENTE ( _, Nome, Milano, Inf? - RIS(X Corsi di informatica in cui almeno uno studente non appartenente al corso di dip. in logistica ha preso 30 Π Cod-Corso ((σ C-Dip!= log STUDENTE (σ Voto = 30 ESAME (σ Titolo = Informatica CORSO CorsoInfNonLog30(Cod-Corso :- CORSO ( Cod-Corso, Informatica, _, ESAME ( Cod-Corso, Mat, _, 30, STUDENTE ( Mat, _, _, C-Dip, C-Dip <> logistica? CorsoInfNonLog30(Codice Nomi degli studenti del corso di diploma in informatica di Milano { t t S STUDENTE ( t [Nome] = t S t S [Città] = Milano t S [C-Dip] = Inf Π σ t è libera, e la usiamo per costruire il risultato t 1 invece è oggetto di quantificazione Corsi di informatica in cui almeno uno studente non appartenente al corso di dip. in logistica ha preso 30 { t t S STUDENTE, t C CORSO, t E ( t [Cod-Corso] = t C [Cod-Corso] t E [Cod-Corso] = t C [Cod-Corso] t E [Matr] = t S [Matr] t S [C-Dip] <> logistica t C [Titolo] = Informatica t E [Voto] = 30 30

6 27 Chi sono i docenti dei corsi di matematica in cui nessuno studente ha preso 30? All insieme di tutti i corsi di matematica si sottraggono tutti i corsi di matematica in cui almeno uno studente ha preso 30, per poi proiettare sul nome del docente del corso Π Docente ( (σ Titolo = Matematica CORSO ((σ Titolo = Matematica CORSO < (σ Voto=30 ESAME CorsoCon30(CC :- ESAME( _, CC, _, 30 MatematicoSevero(Doc :- CORSO(CodCor, Matematica, Doc, CorsoCon30(CodCor? - MatematicoSevero(X Trovare i corsi in cui nessuno studente ha preso 18 e in cui nessuno studente ha preso 30 { t t C CORSO ( t [Cod-Corso] = t C [Cod-Corso] ( t E ( t E [Cod-Corso] = t C [Cod-Corso] ( t E [Voto] = 30 t E [Voto] = Chi sono i docenti dei corsi di matematica in cui nessuno studente ha preso 30? 28 Trovare i corsi in cui nessuno studente ha preso 18 e in cui nessuno studente ha preso 30 { t t C CORSO ( t [Docente] = t C [Docente] t C [Titolo] = matematica ( t E ( t E [Cod-Corso] = t C [Cod-Corso] t E [Voto] = 30 CorsoConVotiEstremi(CC :- ESAME( _, CC, _, 30 CorsoConVotiEstremi(CC :- ESAME( _, CC, _, 18 CorsoSenzaEstremi(CodCor :- CORSO(CodCor, _, _, CorsoConVotiEstremi(CodCor? - CorsoSenzaEstremi(Codice Trovare i corsi in cui nessuno studente ha preso 18 e in cui nessuno studente ha preso Nomi degli studenti che hanno preso almeno un 30 e non hanno mai preso meno di 24 Si può trovare l'intersezione dell'insieme dei corsi in cui nessuno studente ha preso 18 con l'insieme dei corsi in cui nessuno studente ha preso 30: Π Titolo ( ( CORSO (CORSO < (σ Voto=18 ESAME ( CORSO (CORSO < (σ Voto=30 ESAME Oppure si può ragionare sul predicato di selezione, facendo attenzione ad usare un OR (forse è meno intuitivo: Π Titolo (CORSO (CORSO < (σ Voto=18 V Voto=30 ESAME 33 { t t 1 STUDENTE, t 2 ( t [Nome] = t 1 t 1 [Matr] = t 2 [Matr] t 2 [Voto] = 30 ( t 3 ( t 1 [Matr] = t 3 [Matr] t 3 [Voto] < 24 Studenti che hanno almeno un 30 Studenti con uno o più voti inferiori a 24 N.B.: Due volte ESAME, una volta STUDENTE 36

7 29 Nomi degli studenti che hanno preso almeno un 30 e non hanno mai preso meno di 24 Attenzione ad usare, in algebra, la proiezione solo dopo la differenza, per evitare che qualche studente meritevole resti escluso dal risultato a causa di un eventuale omonimo che abbia preso un voto basso. Π Nome 30 Trovare cognome e nome di tutti gli autori italiani Π Cognome, Nome (σ Nazionalità= Italiana AUTORE { t t A AUTORE ( t [Cognome, Nome] = t A [Cognome, Nome] t A [Nazionalità] = italiana Π Matr Nome Π Matr Π Matr Nome Π Matr AutoreItaliano (N, C :- AUTORE (N, C, _, italiana STUDENTE σ Voto = 30 ESAME STUDENTE σ Voto < 24 ESAME 37? AutoreItaliano (Nome, Cognome Nomi degli studenti che hanno preso almeno un 30 e non hanno mai preso meno di 24 ConVotoBasso ( Matr :- ESAME ( _, Matr, _, Voto, Voto < 24 ConGloria&SenzaMacchia(Nome :- STUDENTE ( mat, Nome, _, _, ESAME ( _, mat, _, 30, ConVotoBasso ( mat? ConGloria&SenzaMacchia(Nome 31 Trovare tutte le segnature dei libri di Asimov pubblicati in lingua spagnola Π Segn (COPIA < (σ Ling= spagnola LIB < (σ Cogn= Asimov AUT AsimovSpagnolo (Segn :- COPIA(Segn, isbn, _, _, AUTORELIBRO ( _, Asimov, isbn, LIBRO(isbn, _, _, spagnola,? AsimovSpagnolo (Segnatura Variante della biblioteca AUTORE( Nome, Cognome, Data-N, Nazionalità AUTORELIBRO(Nome, Cognome, ISBN LIBRO(ISBN, Titolo, Genere, Lingua COPIA(Segnatura, ISBN, Scaffale, DataAcq In questa variante sono presenti i dati di tutti gli autori. Essendo la corrispondenza tra autori e libri una corrispondenza molti a molti, la relazione AutoreLibro funge da ponte. Si noti anche come la corrispondenza tra Autore e AutoreLibro avviene per identità di coppie di valori all interno della singola tupla (l eventuale integrità referenziale si applica cioè alla coppia, non ai valori singolarmente 31 Trovare tutte le segnature dei libri di Asimov pubblicati in lingua spagnola { t t A AUTORELIBRO, t L LIBRO, t C COPIA ( t [Segnatura] = t C [Segnatura] t C t L [ISBN] = t A t A [Cognome] = Asimov t L [Lingua] = spagnola 39 42

8 32 Collaborazioni internazionali: libri con autori di nazionalità diversa { t t L LIBRO, t AL1, t AL2 AUTORELIBRO, t A1, t A2 AUTORE ( t [ISBN, Titolo] = t L [ISBN, Titolo] t AL1 t AL2 t A1 [Nom,Cogn] = t AL1 [Nom,Cogn] t A2 [Nom,Cogn] = t AL2 [Nom,Cogn] t A1 [Nazionalità] <> t A2 [Nazionalità] Libri con autori tutti della stessa nazionalità { t t L LIBRO ( t [ISBN, Titolo] = t L [ISBN, Titolo] ( t AL1, t AL2 AUTORELIBRO, t A1, t A2 AUTORE ( t AL1 t AL2 t A1 [Nom,Cogn] = t AL1 [Nom,Cogn] t A2 [Nom,Cogn] = t AL2 [Nom,Cogn] t A1 [Nazionalità] <> t A2 [Nazionalità] Collaborazioni internazionali: libri con autori di nazionalità diversa CollaborazioneInternazionale(Tit, Isbn :- LIBRO ( Isbn, Tit, _, _, AUTORELIBRO (nom1, cog1, Isbn, AUTORELIBRO (nom2, cog2, Isbn, AUTORE (nom1, cog1, _, naz1, AUTORE (nom2, cog2, _, naz2, naz1 <> naz2? CollaborazioneInternazionale(Titolo, ISBN 33 Libri con autori tutti della stessa nazionalità CollaborazioneNazionale(Tit, Isbn :- LIBRO ( Isbn, Tit, _, _, CollaborazioneInternazionale(Tit, Isbn dove CollaborazioneInternazionale è definita in 32 Π Titolo, Isbn ( LIBRO ( LIBRO < COLINT dove COLINT è definita in Collaborazioni internazionali: libri con autori di nazionalità diversa COLINT := Π Isbn ( (AUTORELIBRO AUTORE < Isbn=Isbn Naz<>Naz (AUTORELIBRO AUTORE per avere anche il titolo: Π Titolo, Isbn ( LIBRO COLINT Libri scritti in una lingua diversa dalla nazionalità di tutti gli autori (nell ipotesi semplicistica che ci sia identità dei due domini lingua e nazionalità: ok italiano, tedesco, francese, inglese, russo, ungherese, non belga, creolo, bantu { t t L LIBRO ( t [ISBN, Titolo] = t L [ISBN, Titolo] ( t AL AUTORELIBRO, t A AUTORE ( t AL t A [Nome,Cognome] = t A [Nome,Cognome] t L [Lingua] = t A [Nazionalità] 48

9 34 Libri scritti in una lingua diversa dalla nazionalità di tutti gli autori LinguaNazCorrispondeAlmenoUno ( Isbn :- LIBRO ( Isbn, titolo, _, lingua, AUTORELIBRO ( nom, cogn, Isbn, AUTORE ( nom, cogn, _, nazionalità, lingua = nazionalità LinguaDiversaTuttiAutori ( Isbn, Tit :- LIBRO ( Isbn, Tit, _, _, LinguaNazCorrispondeAlmenoUno ( Isbn? LinguaDiversaTuttiAutori ( Isbn, Titolo 35 Voli per più di 200 passeggeri che vanno da Milano a Roma di martedì oppure di giovedì { t, t A AEREO ( t [IdVolo] = [idvolo] [TipoAereo]=t A [TipoAereo] [CittaPart] = Milano [CittaArr] = Roma ( [GiorSett]= martedì [GiorSett]= giovedì t A [NumPasseggeri] > Trasporti aerei AEROPORTO ( Città, Nazione, NumPiste VOLO ( IdVolo, GiornoSett, CittaPart, OraPart, CittaArr, OraArr, TipoAereo AEREO ( TipoAereo, NumPasseggeri, QtaMerci Cosa si nota osservando lo schema? Il progettista ha assunto per semplicità che vi sia un solo aeroporto in ogni città, che l orario si ripeta settimanalmente [conseguenza dello schema di VOLO], e che un volo sia effettuato sempre dallo stesso tipo di aereo, indipendentemente dal numero di biglietti venduti (è possibile che si tratti di velivoli diversi, purché dello stesso modello. La quantità di merci è un attributo del modello di aereo, quindi misura la capacità della stiva, non le merci realmente trasportate Trovare i voli per Roma per soli passeggeri (i.e. fatti con aerei che non possono trasportare merci { t t [IdVolo] = [IdVolo] [CittaArr] = Roma ( t A AEREO [TipoAereo] = t A [TipoAereo] t A [QtaMerci] > 0 VoloAncheMerci (IdV :- VOLO(IdV, _, _, _, _, _, T, AEREO(T, _, Qtà, Qtà > 0 RomaSoloPass (IdV :- VOLO(IdV, _, _, _, Roma, _, _, VoloAncheMerci (IdV? - RomaSoloPass (IdVolo Voli per più di 200 passeggeri che vanno da Milano a Roma di martedì oppure di giovedì VoloMarteGiove (id :- VOLO (id, martedì, _, _, _, _, _ VoloMarteGiove (id :- VOLO (id, giovedì, _, _, _, _, _ MilanoRoma200MG (IdVolo :- VOLO (IdVolo, _, Milano, _, Roma, _, tipo, AEREO (tipo, numpass, _, VoloMarteGiove (IdVolo, numpass > 200? MilanoRoma200MG (IdVolo Dato lo schema ristretto VOLO(Partenza, Arrivo 37 Determinare tutti i possibili collegamenti tra aeroporti per cui si debbano prendere al massimo due voli diretti COLLEG (P, A :- VOLO (P, A COLLEG (P, A :- VOLO (P, X, VOLO (X, A? - COLLEG( Partenza, Arrivo Π IdVolo ((σ CitPar= Milano VOLO (σ NumP>200 AEREO (GS= mar GS= gio CitAr= Roma 51 VOLO Π Partenza, Arrivo ( (ρ Coinc Arrivo VOLO (ρ Coinc Partenza VOLO 54

10 37 Determinare tutti i possibili collegamenti tra aeroporti per cui si debbano prendere al massimo due voli diretti { t ( ( t [Partenza, Arrivo] = [Partenza, Arrivo] ( 1, 2 ( t [Partenza] = 1 [Partenza] t [Arrivo] = 2 [Arrivo] 1 [Arrivo] = 2 [Partenza] 55 Volendo invece determinare tutti i possibili collegamenti, è necessaria la ricorsione, e solo col Datalog è possibile COLLEG (P, A :- VOLO (P, A COLLEG (P, A :- COLLEG (P, X, VOLO (X, A? - COLLEG( Partenza, Arrivo L esecuzione termina sempre, anche in presenza di cicli nella base dei fatti, come mostra l esempio seguente, dove con 3 esecuzioni si raggiunge il punto fisso (non vi sono fatti nuovi da aggiungere. Una esplorazione ricorsiva del grafo dovrebbe esplicitamente evitare di ciclare marcando i nodi quella proposta è una elegante e concisa specifica intensionale delle proprietà di raggiungibilità di una rete. Si noti che il numero di esecuzioni è pari alla lunghezza del più lungo tra i cammini minini possibili tra tutte le coppie di nodi Determinare tutti i possibili collegamenti tra aeroporti per cui si debbano prendere al massimo tre voli diretti { t ( ( t [Partenza, Arrivo] = [Partenza, Arrivo] ( 1, 2 ( t [Partenza] = 1 [Partenza] t [Arrivo] = 2 [Arrivo] 1 [Arrivo] = 2 [Partenza] ( 1, 2, 3 ( t [Partenza] = 1 [Partenza] t [Arrivo] = 3 [Arrivo] 1 [Arrivo] = 2 [Partenza] 2 [Arrivo] = 3 [Partenza] 56 Parigi Villanova SECONDA ESECUZIONE 6 B P (1,2 7 B R (1,3 8 M B (2,4 9 P M (4,1 10 V P (5,2 11 V R (5,3 Milano Berlino Roma PRIMA ESECUZIONE 1 M P 2 M R 3 B M 4 P B 5 V M TERZA ESECUZIONE 12 B B (1,8 13 M M (2,9 14 P P (4,6 15 P R (4,7 16 V B (5, Determinare tutti i possibili collegamenti tra aeroporti per cui si debbano prendere al massimo tre voli diretti VOLO Π Partenza, Arrivo ( Π Partenza, Arrivo ( (ρ Coinc Arrivo VOLO (ρ Coinc Partenza VOLO (ρ CoincX Arrivo VOLO (ρ CoincX Partenza, CoincY Arrivo VOLO (ρ CoincY Partenza VOLO COLLEG (P, A :- VOLO (P, A COLLEG (P, A :- VOLO (P, x, VOLO (x, A COLLEG (P, A :- VOLO (P, x, VOLO (x, y, VOLO (y, A? - COLLEG( Partenza, Arrivo 57 Esercizio aperto, per riempire il buco nell ultimo foglio e prepararci all inverno milanese. E l es. B2 del tde bd.pfd (non facilissimo Comune(Codice, Nome,Regione Soglia(Regione,SogliaPM10,SogliaCO,SogliaNOx,SogliHC AllarmePM10sopra50(Comune, Data CentraleRilevamento(Codice, Indirizzo, CodComune Osservazione(Centrale, Data, Ora, PM10, CO, NOx, HC Esprimere in algebra relazionale ottimizzata, calcolo relazione e Datalog la query che estrae le centrali di rilevamento che non hanno prodotto osservazioni in qualche giorno del 2001 (si assuma che esista, per qualche centrale, almeno una osservazione per ogni giorno del