Cvičení 7

Témata

• Funkční závislosti

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
• normálni tvar funkční závislosti

Průběh cvičení

Prošli jsme pojmy z přednášky a ukázali si je na příkladech. Vyřešili jsme vybrané z úkolů v materiálech z přednášky. Zbytek hodiny jste zkoušeli implementovat postup ověření funkční závislsti pomocí triggerů a funkcí v PostgreSQL.

Úkoly

1. Implementujte ověření funkční závislosti při přidávání nebo úpravě řádků v PostgreSQL.
   • Nejprve projděte dokumentaci k funkcím a triggerům v PostgreSQL (1)(2)(3)(4)
   • Poté projděte a promyslete ukázku z přednášky.
   • Nakonec implementujte ověření nějaké vyžadované funknční závislsoti na vlastní relační proměnné.