Cvičení 7

Témata cvičení

• funkční závislosti
• Boyce-Coddova normální forma
• rozklady relace
• INSERT INTO … SELECT
• Virtuální tabulky/pohledy

Prošli jsme

Funkční závislosti

• definice
• platnost funkční závislosti v relaci
• platnost funkční závislosti v relační proměnné
• triviální a netriviální funkční závislosti
• ověření platnosti funkční závislosti v relaci

Boyce-Coddova normální forma (BCNF)

• definice
• význam a příklady, kdy porušení BCNF může přinést vážné problémy

Rozklad a rekonstrukce tabulky

• rozklad pomocí projekcí
• rekonstrukce pomocí přirozeného spojení
• bezeztrátová rozklady

Úkoly

1. Napište dotazy, které ověří platnost všech funkčních závislostí, které jsme odvodili na tabuli.
2. Napište dotaz, který ověří neplatnost některé jiné (neplatné) funkční závislosti.
3. Napište dotazy, které postupně vytvoří rozklad tabulky, až na tabulky, které neobsahuji redundanci (vizte tabule).
4. Napište dotaz, který ověří, že výsledný rozklad je bezeztrátový.
5. Zkuste udělat nějakou jiný rozklad, který bude ztratový.
6. Projděte své návrhy databází z minulých hodin (STAG, Obchod) a normalizujte je.