Collegio didattico di Ingegneria Informatica
Fondamenti di Teoria delle Basi di Dati
Approcci teorici a problemi pratici: il caso delle basi di dati
Dottorato di Ricerca in Ingegneria Informatica
Presentazione
Calendario
Materiale
Esercizi
Materiale
Diapositive preparate per il corso:
Introduzione
Il modello relazionale
Algebra relazionale
Tecniche di dimostrazione
Calcolo relazionale su domini
Potenza espressiva del calcolo
Datalog
Teoria delle dipendenze
Tableaux e chase