Přednáška 9

Zdroje:

• Obsah přednášek k funkčním závislostem je postaven na více zdrojích. Kapitoly o funkčních závislostech obsahuje každá z doporučených knih. Nicméně každá z nich obsahuje i něco navíc a zároveň tam i něco chybí. U zkoušky bude vyžadován obsah jen dle přednášky. Doporučuji ale přečíst i odpovídající kapitoly v alespoň jedné z doporučených knih.
• W.W. Armstrong - Dependency Structures of Data Base Relationships [pdf]

Axiomatizace funkčních závislostí

Ukázali jsme si dva systémy odvozovací pravidel - tzv Armstrongova pravidla a systém pravidel (Ax) a (Cut). Řekli jsme si, co je to důkaz (v systému (Ax) a (Cut)), odvozené pravidlo a ukázali si příklady. Definovali jsme korektnost pravidla a dokázali ji pro (Ax) a (Cut) (a tedy i pro odvozená pravidla). Axiomatizaci jsme zakončili větami o korektnosti a úplnosti.

Nakonec jsme si povídali o dalších tématech, která souvisí s funkčními závislostmi (báze relace, klíče, normální formy). Příště nás čeká podrobnější pohled na normální formy.