Cvičení 7

Témata cvičení

• funkční závislosti
• Boyce-Coddova normální forma
• dekompozice a rekompozice relace
• INSERT INTO … SELECT

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

Dekompozice a rekompozice

• dekompozice pomocí projekcí
• rekompozice pomocí přirozeného spojení
• bezeztrátová dekompozice

Ú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ří dekompozici tabulky, až na tabulky, které neobsahuji redundanci (vizte tabule).
4. Napište dotaz, který ověří, že výsledná dekompozice je bezeztrátová.
5. Zkuste udělat nějakou jinou dekompozici, která bude ztratová.
6. Projděte své návrhy databází z minulých hodin (STAG, Obchod) a normalizujte je.