Database: normalizzazione in BCNF (Boyce Codd Normal Form)

[noipo]

Ciao a tutti,
sto studiando database e non capisco, data una relazione con chiave e le sue dipendenze funzionali, come decomporla in BCNF. Mi fate un esempio di algoritmi di decomposizione in BCNF? Quello che c'è su Wikipedia non l'ho capito..
Inoltre, per riconoscere se una dipendenza funzionale è in 3NF (Terza Forma Normale) guardo se gli attributi a destra sono membri di chiave, se sì allora è in 3NF altrimenti no. Giusto?
Mentre per riconoscere se una dipendenza funzionale è in BCNF guardo se gli attributi di sinistra sono membri di chiave. Se sì è in BCNF altrimenti no, giusto?

Grazie mille

[noipo]

Per esempio, guardando l'esercizio 2 di questo pdf http://www.diee.unica.it/~giacinto/dida ... 21-sol.pdf non capisco perchè al punto 3. (primo pallino) la decomposizione non conserva AB-->C e AB-->D..

[hamming_burst]

guarda queste slide sono chiare e complete.

[noipo]

Grazie, ora le guardo. Grazie mille!

[noipo]

Mentre guardavo le slide che mi hai consigliato mi è venuto un altro dubbio che non trovo in quel materiale. Sapresti rispondere a questa domanda?
"La deducibilità di una dipendenza funzionale X-->Y da un insieme di dipendenze funzionali F è equivalente all'appartenenza di Y alla chiusura di X".

Grazie..

[noipo]

La seconda domanda l'ho risolta mentre per quanto riguarda BCNF no.. niente non capisco come si scompone..
E alcune slide linkate in quel post non sono più disponibili

[smartsql]

Ciao,
con ogni probabilità avrai già risolto ma potrebbe risultare utile per altri che leggono il forum: prova a dare uno sguardo a questo collegamento in cui è descritta la normalizzazione e anche Boyce e Codd http://www.semplicementedatabase.alterv ... -codd-bcnf