Přednáška 8

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.

Funkční závislosti II

Pokračovali jsme ve studiu funkčních závislostí. Řekli jsme si o teoriích, modelech, kanonických modelech a sémantickém vyplývání a vše si ukázali na příkladech. Uvedli a dokázali jsme si některá zajímavá tvrzení. Přednášku jsme zakončili dvěma algoritmy - pro získání uzávěru množiny atributů vzhledem k dané teorii a pro sémantický uzávěr dané teorie.

Příště nás čeká axiomatizace (Armstrongovy axiomy; systém (Ax) a (Cut)), korektnost a úplnost logiky funkčních závislostí. Rovněž si řekneme o dalších zajímavých tématech spojených s funkčními závislostmi, kterým se v tomto semestru už nestihneme věnovat.