LAUREA QUINQUENNALE IN INFORMATICA
Programma del Corso

BASI DI DATI AVANZATE

Prof. EZIO LEFONS

A.A. 2004-05

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) e 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

Semantica delle Basi di Dati Deduttive

Approccio modellistica   Assunzione di mondo chiuso – Informazione incompleta – Formule con negazione
Approccio dimostrativo   Interpretazione delle basi di dati relazionali e delle basi di dati deduttive definite
Approccio operazionale   Meccanismi d’inferenza bottom up e top down

Sistemi di Basi di Dati Deduttive   Accoppiamento Prolog / Dbms – Estensione di Prolog – Estensione di un Dbms – Sistemi ad hoc

Datalog   Sintassi & Semantica – Espressività – Valutazione e ottimizzazione di query – Valutazioni naive, semi-naive, e con riscrittura

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, ObjectStore, O2, ODMG   Definizione e manipolazione dei dati

TESTO   E. Lefons, Basi di Dati Avanzate per la laurea quinquennale, 2005, http://www.di.uniba.it/~lefons/dispense/BDA v.o. 04-05.htm

LETTURE    P. Atzeni et al.,  Basi di Dati: architetture e linee di evoluzione, McGraw-Hill 2003, (Cap. 5)
                        
R. Elmasri, S. Navathe,  Sistemi di basi di dati: Fondamenti, Pearson - A.Wesley 2004, 4ª Ed., (Cap. 9)
                        
R. Elmasri, S. Navathe,  Sistemi di basi di dati: Complementi, Pearson - A.Wesley 2005, 4ª Ed., (Cap. 5-7)