5 giugno 2023 - esercizio 2

[CuriousCI]

[Warcophyr]

[Alegau03]

Hai sbagliato la tabella hai messo b1 in ABC, infatti a me viene che ha join senza perdita

[Warcophyr]

Versione corretta

[niccolo-fato]

[Frisbon]

2a) Controllo le unioni delle dipendenze e vedo se sono in $\rho$. If true, le skippo.

BDA e DAC stanno in ABCD, EDAC ha una mamma e tanti papá

• ED→AC ⇒ Calcolo $ED^+_G$ e vedo se AC ne fa parte…

Z = ED, S = {}

1st cycle, per ogni sottoschema… (Calcolo diretto)
$S= S \cup{((ED\cap \rho_i)^+_F \cap \rho_i )}$

quindi
$S= ∅ \cup{((ED\cap ABCD)^+_F \cap ABCD )} \cup{((ED\cap ADE)^+_F \cap ADE )}$

$S= {((D)^+_F \cap ABCD )} \cup{((ED)^+_F \cap ADE )}$

$S= {(D \cap ABCD )} \cup{(ACDE \cap ADE )} = D \cup ADE = ADE$

Se S in Z stop, false ⇒ Z = Z+S and cycle again…

2nd cycle…

$S= ADE \cup{((ADE\cap ABCD)^+_F \cap ABCD )} \cup{((ADE\cap ADE)^+_F \cap ADE )}$

$= ADE \cup (AD^+_F \cap ABCD) \cup ADE$

$= ADE \cup ADC \cup ADE = ACDE$

3rd cycle…

$S = ACDE \cup{((ACDE\cap ABCD)^+_F \cap ABCD )} \cup{((ACDE\cap ADE)^+_F \cap ADE )}$

= ACDE senza calcolare perché sono pigro e tiro a caso

quindi

$ED^+_G = ACDE$ della quale fa parte $AC$ ⇒ F preservativato.

---

Per sbaglio ho calcolato se viene preservato, non il lossless join, un esercizio che nobody asked

2b) BAC, AG, GC, CGB (KGB?????? no way блять)

Il prof é stronzo e ci fa calcolare tre chiusure di G… Se tutte e tre sono verificate (ossia il det.ato appartiene) allora F preservato.

• $A^+_G$

$S= ∅ \cup{((A\cap ABC)^+_F \cap ABC )} \cup{((A\cap BEG)^+_F \cap BEG )} \cup{((A\cap ADE)^+_F \cap ADE )}$

= ABC che not in A, riparto con Z = ABC

$S= ABC \cup{((ABC\cap ABC)^+_F \cap ABC )} \cup{((ABC\cap BEG)^+_F \cap BEG )} \cup{((ABC\cap ADE)^+_F \cap ADE )}$ = ABCG che not in Z riparto

… (non mi va)

$A^+_G = ABCG$
e $G$ inside, ok

• $G^+_G$

$S= ∅ \cup{((G\cap ABC)^+_F \cap ABC )} \cup{((G\cap BEG)^+_F \cap BEG )} \cup{((G\cap ADE)^+_F \cap ADE )}$ = BG, restart

$S= BG \cup{((BG\cap ABC)^+_F \cap ABC )} \cup{((BG\cap BEG)^+_F \cap BEG )} \cup{((BG\cap ADE)^+_F \cap ADE )}$ = ABCG, restart

… (non mi va)

$G^+_G = ABCG$
e $C$ inside, nice

• $CG^+_G$

$S= ∅ \cup{((CG\cap ABC)^+_F \cap ABC )} \cup{((CG\cap BEG)^+_F \cap BEG )} \cup{((CG\cap ADE)^+_F \cap ADE )}$ = BG, restart

$S= BCG \cup{((BCG\cap ABC)^+_F \cap ABC )} \cup{((BCG\cap BEG)^+_F \cap BEG )} \cup{((BCG\cap ADE)^+_F \cap ADE )}$ = ABCG, restart

… (yet ancora non mi va)

$CG^+_G = ABCG$ e $B$ inside, nice

Siccome tutte e tre verificate ⇒ F preservato