Titolo: Teoria della normalizzazione: Forma Normale di Boyce-Codd [BCNF]
Categoria: Tecniche |
|
Ultimo Aggiornamento: 01/03/05 |
La Forma Normale di Boyce-Codd (Boyce-Codd Normal Form, BCNF) è sicuramente la più forte fra le forme normali, anche per questo quindi molto difficilmente realizzabile. Infatti, in maniera più limitante rispetto alla 3NF:
Uno schema R è in BCNF se ogni volta che in R vale X -> A e A non è X, allora X è una superchiave per lo schema (cioè è una chiave o contiene una chiave).
Questa condizione è realmente molto complessa da ottenere, ma non impossibile. E’ infatti possibile scomporre uno schema relazionale in uno in BCNF, anche se non è garantito che conservi le dipendenze funzionali di partenza.
Ad esempio, lo schema Corso (C), Insegnante (T), Ora (H), Aula (R), Studente (S), e Voto (G), che indichiamo con CTHRSG, dove
C -> T ogni corso ha un insegnante
HR -> C in ogni istante un solo corso in un’aula
HT -> R un insegnante non gode del dono dell’ubiquità
CS -> G uno studente ha un solo voto per ogni corso
HS -> R anche gli studenti non godono del dono dell’ubiquità
Si può applicare un algoritmo che scompone il seguente schema in uno in BCNF, formato da HRS, CT, CSG, CHS.
Consulta da questo link l’indice delle faq sulla normalizzazione
Inviato da: PierPaolo Sichera |
|
Visite: 25377 |
Se accedi con utente e password, puoi aggiungere dei commenti.