LAUREA QUINQUENNALE IN INFORMATICA (V.O.)

programma definitivo del corso

BASI DI DATI AVANZATE

Prof. Ezio Lefons
a.a. 2002-03

 


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 per la laurea quinquennale, 2003. Dispense, 3a edizione
P. Atzeni et al., Basi di Dati,
McGraw-Hill Italia 1999. 2a ed.  Cap. 3 sez. 3.3, 4 sez. 4.6, 11
R. Elmasri, S. Navathe, Fundamentals of Database Systems,
A.Wesley 2000. 12, 25