Linguaggi Formali. Π nome (Π nome,c.f. (correttore c.f=c.f._correttore σ n_capitolo=5 bozza

Transcript

1 Basi di dati: appello 16/02/06 Si consideri il seguente schema di base di dati di una casa editrice: bozza (id., n _capitolo, ISBN_libro, c.f._correttore, data_invio, data_restit.) capitolo(n _capitolo, titolo, ISBN_libro, n _pagine) libro(isbn, titolo, autore, n _pagine, data_prevista) correttore(c.f., nome, n _telefono) Linguaggi Formali Esprimere in algebra, calcolo relazionale e Datalog la seguente query: Trovare il nome del correttore di bozze che ha corretto il capitolo 5 di leghe sotto i mari, ma non ha corretto opere di Salgari Π nome (Π nome,c.f. (correttore c.f=c.f._correttore σ n_capitolo=5 bozza ISBN_libro=ISBN σ titolo= libro) - Π nome,c.f. (correttore c.f=c.f._correttore bozza ISBN_libro=ISBN σ autore= Salgari libro) ) Linguaggi Formali {t t1 correttore, t2 bozza, t3 libro (t[nome]=t1[nome] t1[c.f,]=t2[c.f._correttore] t2[n_capitolo]=5 t2[isbn_libro]=t3[isbn] t3[titolo]= leghe... ( t4 bozza, t5 libro (t4[c.f._correttore] = t1[c.f.] t4[isbn_libro] = t5[isbn] t5[autore] = Salgari ))) } CorrettoreNoOK(CF) :- bozza(_,_,isbn,cf,_,_), libro(isbn,_, salgari,_,_) Correttori(Nome):- correttore(cf,nome,_), bozza(_, 5,ISBN,CF,_,_), libro(isbn, ,_,_,_), CorrettoreNoOK(CF) 1

2 SQL: interrogazioni Trovare ISBN e autori dei libri che non hanno più di 5 bozze e che non siano mai stati corretti da Rossi. SELECT ISBN, autore FROM LIBRO JOIN BOZZA ON ISBN=ISBN_libro WHERE ISBN NOT IN (SELECT ISBN_libro FROM bozza join correttore ON c.f._correttore=c.f. WHERE nome= Rossi ) GROUP BY ISBN, autore HAVING COUNT(*)<=5 SQL: interrogazioni Trovare quale correttore ha corretto il maggior numero di pagine. CREATE VIEW NumPagine(CFCorrettore,N_Pagine) AS SELECT c.f._correttore, SUM(n_pagine) FROM bozza,capitolo WHERE bozza.n_capitolo=capitolo.n_capitolo AND bozza.isbn_libro=capitolo.isbn_libro GROUP BY c.f._correttore SELECT CFCorrettore, Nome FROM NumPagine JOIN CORRETTORE ON NumPagine.CFCorrettore=CORRETTORE.c.f WHERE N_Pagine>= SELECT MAX(N_Pagine) FROM NumPagine 2

3 SQL DDL create table BOZZA ( id char(6) primary key, n_capitolo smallint, ISBN_libro char(10), c.f._correttore char(16), data_invio date not null, data_restit. date, foreign key (ISBN_libro,n_capitolo) references CAPITOLO on delete cascade on update cascade) SQL DDL create table CAPITOLO ( n_capitolo smallint, titolo varchar(30) not null, ISBN_libro char(10), n_pagine int not null, primary key(n_capitolo n_capitolo,isbn_libro), foreign key ISBN_libro references LIBRO(ISBN) on delete cascade on update cascade) 3

4 SQL: espressione di vincoli sol. 1 Nella definizione della tabella BOZZA create table BOZZA ( id char(6) primary key, n_capitolo smallint, ISBN_libro char(10), c.f._correttore char(16), data_invio date not null, data_restit. date check data_restit.< SELECT data_prevista FROM LIBRO WHERE ISBN_libro=LIBRO.ISBN, foreign key (ISBN_libro,n_capitolo) references CAPITOLO on delete cascade on update cascade) SQL: espressione di vincoli sol.2 CREATE ASSERTION ControlloDate CHECK (NOT EXIST (SELECT * FROM bozza,libro WHERE bozza.isbn_libro=libro.isbn AND data_restit>data_prevista)) 4

5 SQL: espressione di vincoli sol.3 CREATE ASSERTION ControlloDate CHECK (0 = (SELECT COUNT (*) FROM bozza,libro WHERE bozza.isbn_libro=libro.isbn AND data_restit>data_prevista)) Privati contatto IVA Negozi (t,e) Cod. modello Tipo Modello Differenziazione (1,1) Numero Descrizione Variante Indirizzo Telefono Cliente CF Nome Cognome Recapito Designer In vita (1,1) Progettazione Designer (t,e) CF Nome Cognome Designer deceduti Quantià Corrente artistica Prodotti in proprio Distinta base Pezzo (t,e) Composizione ordine Quantità Cod_pezzo Nome Pezzi da acquistare effettua (1,1) Ordine Numero fattura Cod_ordine Data ordine Data evasione 5

6 Progetto logico Modello(Cod_modello, tipo, CF_designer) Variante (Cod_modello, Numero,Descrizione) Designer(CF, Nome, Cognome, Stato, Recapito*, Corrente Artistica*) Pezzo (Cod_pezzo, nome, tipologia) Distintabase(Cod_modello, Numero, Cod_pezzo, quantità) Ordine (Cod_ordine, Data ordine, Data evasione, Num_fattura, CF_cliente) ComposizioneOrdine(Cod_modello, Numero,Cod_ordine, quantità) Cliente (CF/IVA, Nome, Cognome, Indirizzo, Telefono, tipo_cliente, contatto*) Progetto Logico vincoli di integrità Variante.Cod_Modello Modello.Cod_Modello Modello.CF_designer Designer.CF Distintabase.[Cod_modello,Numero] Variante. [Cod_modello,Numero] Distintabase.Cod_pezzo Pezzo.Cod_pezzo Ordine.CF_Cliente Cliente.CF/IVA ComposizioneOrdine.[Cod_modello,Numero] Variante. [Cod_modello,Numero] ComposizioneOrdine.Cod_Ordine Ordine.Cod_Ordine 6