Materiale del corso database database relazionali tabella vista chiave algebra relazionale dei database Dipendenze: dipendenza funzionale dipendenza parziale dipendenza transitiva Chiusure di attributi: chiusura di Armstrong chiusura di un insieme di attributi algoritmo per il calcolo della chiusura di un insieme di attributi algoritmo per il calcolo delle chiavi Terza forma normale e decomposizione 3NF (terza forma normale) verifica di una buona decomposizione in 3NF algoritmo di decomposizione in 3NF copertura minimale di un insieme di dipendenze Organizzazione fisica dei database: organizzazione fisica di un database relazionale Controllo della concorrenza: controllo della concorrenza in una base di dati progettazione di un database relazionale SQL