Basi di Dati 1 (class)

Modello Relazionale

• Introduzione alle Basi di Dati 🔴
• Introduzione Algebra Relazionale 🟡 (finire vincoli di integrità)
• Operatori (Algebra Relazionale) 🟢
• Join-Naturale e Theta-Join (Algebra Relazionale) 🟢
• Quantificatori Esistenziale ed Universale 🟡
• Progettazione basi di dati - Problemi e Vincoli 🟢

Algebra Relazionale

• Basi di dati - Definizioni Comuni 🟢
• Dipendenze Funzionali 🟢
• Calcolare chiusura di un insiemi di dipendenze funzionali 🟡 (finire dimostrazione $F^A=F^{+}$)
• Terza Forma Normale (3NF) 🟡 (finire dimostrazione)
• Forma Normale di Boyce-Codd (BCNF) 🟢
• Chiusura di un Insieme di Attributi 🟡 (fai dim e aggiungi esempi)
• Identificare le Chiavi di uno Schema

Teoria della Normalizzazione

• Introduzione - Decomposizione di uno Schema Relazionale
• Lemma 2 - Basi di Dati 1
• Decomposizione di uno schema relazionale
• Decomposizione che Preserva le Dipendenze Funzionali
• Decomposizione con Join senza Perdita (Verifica)
• Copertura Minimale
• Calcolo di una Decomposizione

Organizzazione Fisica

• Introduzione 🟢
• File Heap 🟢
• File Hash 🟢
• File con Indice 🟢
• File B-Tree 🟡 rivedi ultima parte su altezza del albero

Concorrenza

• Controlo della Concorrenza

• Basi di Dati - Preparazione Orale
• Basi di Dati - Domande Orale