Laurea Quinquennale in Informatica
programma del corso

Basi di Dati Avanzate

prof. Ezio Lefons

a.a. 2003-04

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, 2004, http://www.di.uniba.it/~lefons/dispense/BDA v.o. 03-04.htm

Letture    P. Atzeni et al.,  Basi di Dati: architetture e linee di evoluzione, McGraw-Hill 2003, (Cap. 5,7)
R. Elmasri, S. Navathe,  Fundamentals of Database Systems, A.Wesley 2000 3ª Ed., (Cap. 11,12,25)