Citazione:

---

Messaggio inserito da dylan_dog

[quote]Messaggio inserito da dylan_dog

raga un aiuto sapete come si risolve questo esercizio? Purtroppo non ho preso bene gli appunti e il libro non da alcuna indicazione in merito:

Da risolvere solo con regole di Armstrong:

1) {x-->y x-->w wy-->z} |= {x-->z}

2) {xy-->z y-->w} |= {xw-->z}

3) {x-->z y-->z} |= {x-->y}

Forse a molti di voi possono sembrare semplici ma forse sono io un poco cesso... Grazie!

---

Citazione:

---

Messaggio inserito da ilblondo

Citazione:

---

Messaggio inserito da dylan_dog

[quote]Messaggio inserito da dylan_dog

raga un aiuto sapete come si risolve questo esercizio? Purtroppo non ho preso bene gli appunti e il libro non da alcuna indicazione in merito:

Da risolvere solo con regole di Armstrong:

1) {x-->y x-->w wy-->z} |= {x-->z}

2) {xy-->z y-->w} |= {xw-->z}

3) {x-->z y-->z} |= {x-->y}

Forse a molti di voi possono sembrare semplici ma forse sono io un poco cesso... Grazie!

---

1) {x-->y x-->w wy-->z} |= {x-->z}
date
1 x->y
2 x->w
3 wy->z
svolgimento
4 wx->wy (arricchisco la 1 con la w)
5 x->wx (arricchisco la 2 con x (nota xx->wx == x->wx) )
6 x->wy (transitività da 4 e 5)
7 x->z ( transitività fra la 3 e la 6)

i termini uguali nella transitività gli ho segnati in rosso
ora vedo se riesco a fare le altre e due

---

Citazione:

---

Messaggio inserito da Nalim

ragazzi questo ¨¨ un esercizio che c'era sul compito
qualcuno mi da una mano a risolverlo???

¨¦ dato lo schema R (A,B,C,D,E)
f={AB ¡ú CDE, AC ¡ú BDE, B ¡ú C, C ¡ú B, C ¡ú D, B ¡ú E}

a) portare F in forma canonica minimale

COME PRIMA COSA SI DEVONO SCOMPORRE LE PARTI DESTRE FORMATE DA PI¨´ DI UN ATTRIBUTO.
E DOPO COSA FACCIO PARTO CON LA CHIUSURA DI OGNI DF???

b) determinare le possibili chiavi
c) mostrare che lo schema non ¨¨ in terza forma normale
d) portare lo schema in terza forma normale

---

Citazione:

---

Messaggio inserito da noname

Giusto perchè mi sto esercitando...

2) {xy-->z y-->w} |= {xw-->z}

Questa è immediata

xy-->z y-->w
xw-->z

3) {x-->z y-->z} |= {x-->y}

xy-->zy
xz-->zy
x-->y

E' così?

---

Citazione:

---

Messaggio inserito da Nalim

Dato l'insieme di DF F= (A->B, BC->DE, E->F) si determini se AC->F appartiene alla chiusura di F.
In caso affermativo presentare una prova tramite applicazioni delle regole di Armstrong.

Come si svolge questo esercizio???

faccio la chiusura di AC ? (A,C,B,D,E,F) giusto? ho ottenuto la chiusura AC dovrebbe essere anche chiave.
Ma ora come si applicano le regole di Armstrong???

---