10 luglio 2023 - esercizio 2

[CuriousCI]

[Warcophyr]

[Alby7503]

Come hai scelto nell’ultimo insieme di aggiungere BFGA piuttosto che BFGC o BFGD?

[atyion]

Basta che scegli una qualsiasi chiave.

[atyion]

[niccolo-fato]

[Frisbon]

Dettaglio importante nell'algoritmo di decomposizione

Codice prestato da @CuriousCI:

def decomposition(R, F: minimal cover):
    S = ∅
    ρ = ∅

    for A ∈ R | ∄ X → Y ∈ F : A ∈ XY:
        S = S ∪ {A}

    if S != ∅:
        R = R - S
        ρ = ρ ∪ {S}

    if ∃ X → Y ∈ F | XY = R:
        ρ = ρ ∪ {R}
    else:
        for X → A ∈ F:
            ρ = ρ ∪ {XA}

• Nel primo for, S diventa prima {F} e poi {F,G} perché ∅ ∪ {F} ∪ {G} non é {FG}!

Difatti, ho fatto un errore nella decomposizione finale aggiungendo FG, al posto di F,G (separati)

PS: @niccolo-fato ti taggo per farti notare che hai avuto la stessa confusione

[niccolo-fato]

Sì Si, lo so. Questa cosa l'ho scoperta praticamente 10 minuti prima di fare l'esame scritto(infatti non lo faccio in nessuno esercizio). La forma corretta della decomposizione dovrebbe essere la seguente: