PARTE I.
SQL Ospitato
  1. Definizione e condivisione dei tipi di dati
      Area di comunicazione – Sezione dichiarativa – Connessione al database.
  2. Manipolazione dei dati
      Operazioni su singole tuple (senza uso di cursore) – Operazioni su più tuple (con uso di cursore).

PARTE II.
Basi di Dati Deduttive
  1. Logica delle forme clausali
  2. Logica e modello relazionale
  3. Tipi di clausole
  4. Sicurezza dei programmi logici.
Semantica della Basi di Dati Deduttive
  1. Approccio modellistico
      Assunzione di mondo chiuso – Informazione incompleta – Formule con negazione.
  2. Approccio dimostrativo
      Interpretazione delle basi di dati relazionali – Interpretazione delle basi di dati deduttive definite.
  3. 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.
  1. Datalog
      Sintassi – Semantica – Potere espressivo – Valutazione e ottimizzazione di query – Valutazione naive –
      Valutazione semi-naive – Valutazione con riscrittura di insiemi magici.

PARTE III.
Basi di Dati ad Oggetti
  1. Generalità
      Persistenza – Incapsulazione – Attributi e Metodi di classe – Associazioni – Ereditarietà – Polimorfismo.
  2. Sistemi ad oggetti
      GemStone – ObjectStore – O2 – ODMG.
 

TESTI.