• Algoritmo di verifica della • Istanza che soddisfa una dipendenza in F

conservazione delle • Istanza legale

dipendenze • Definizione di F+
• Dimostrazone di correttezza • Definizione di FA tramite assiomi di Armstrong
dell’ algoritmo di verifica • Dimostrazione di F+ = FA
della conservazione delle • Equivalenza di insiemi di dipendenze
dipendenze Collegamento tra F+ e XF+
• Algoritmo di verifica della 3NF
conservazione dei dati
• Dimostrazione di  X  A  F+ , A  X • Definizione di XF+
correttezza dell’ algoritmo 3NF
A primo • Definizione di chiave
di verifica della oppure • Algoritmo per il calcolo di XF+
conservazione dei dati X superchiave • Dimostrazione di correttezza
dell’algoritmo per il calcolo
di XF+
• Definizione di decomposizione
• Decomposizioni che preservano le dipendenze
• Decomposizioni che preservano i dati

• Definizione di copertura minimale di un insieme F di dipendenze

• Calcolo della copertura minimale di un insieme F di dipendenze
• Algoritmo di decomposizione di uno schema R
• Dimostrazione di correttezza dell’algoritmo di decomposizione:
• Sottoschemi 3NF
• Conservazione delle dipendenze
• Aggiunta per la conservazione dei dati (join senza perdita)