LAUREA IN INFORMATICA

BASI DI DATI AVANZATE

Prof. Ezio Lefons
a.a. 2000-01

Completezza Computazionale di SQL
   SQL Ospitato (Statico)
Definizione e condivisione dei tipi di dati Area di comunicazione –
         Sezione dichiarativa – Connessione al database
Manipolazione dei dati Operazioni su singole tuple (senza uso di cursore) –
         Operazioni su più tuple (con uso di cursore)
   SQL Dinamico
   Procedure
   Linguaggi con Interfaccia API
   Linguaggi di Quarta Generazione

Basi di Dati Deduttive Logica delle forme clausali – Logica e modello relazionale –
         Tipi di clausole – Sicurezza dei programmi logici
   Semantica delle Basi di Dati Deduttive
Approccio modellistico Assunzione di mondo chiuso –
         Informazione incompleta – Formule con negazione
Approccio dimostrativo Interpretazione delle basi di dati relazionali –
         Interpretazione delle basi di dati deduttive definite
Approccio operazionale Meccanismi d’inferenza bottom up – Meccanismi d’inferenza top down
   Sistemi di Basi di Dati Deduttive Accoppiamento di Prolog con un Dbms –
         Estensione di Prolog – Estensione di un Dbms – Sistemi ad hoc
Datalog Sintassi – Semantica – Potere espressivo – Valutazione e ottimizzazione di query –
         Valutazione naive – Valutazione semi-naive – Valutazione con riscrittura di insiemi magici

Basi di Dati ad Oggetti
   Linguaggi di Programmazione Orientati ad Oggetti
   Modelli di Dati Orientati ad Oggetti
Oggetti Identità – Struttura – Uguaglianza – Copia – Metodi – Incapsulazione
Classi Istanze eccezionali – Gerarchie di aggregazione – Estensione e Persistenza – Migrazione
Ereditarietà Polimorfismo
   Linguaggi di Interrogazione Orientati agli Oggetti
   Categorie di Basi di Dati Orientate agli Oggetti
   DBMS Orientati agli Oggetti
GemStone Definizione dei dati – Metodi – Manipolazione dei dati
ObjectStore Definizione dei dati – Metodi – Manipolazione dei dati
O2 Definizione dei dati – Metodi – Manipolazione dei dati
ODMG Definizione dei dati – Manipolazione dei dati

Testi (disponibili in Biblioteca del Dipartimento)
E. Lefons, Basi di Dati Avanzate, 2000. Dispense, 2a edizione
P. Atzeni et al., Basi di Dati, McGraw-Hill Italia 1996. Cap. 3 sez. 3.15, 4 sez. 4.6, 11
R. Elmasri, S. Navathe, Fundamentals of Database Systems, A.Wesley 1994. Cap. 7 sez. 7.7, 22, 24