Přednáška 4

Zdroje:

• Simovici D.A., Tenney R.L. - Relational Database Systems, Academic Press, 1995 (knihovna PřF M2/115).

Relační úplnost, Coddova věta

Nejprve jsme si řekli/zopakovali, jak vypadají a jak se vyhodnocují výrazy relační algebry. Jako množinu operací RA jsme použili ∪, \, ×, π, σ, ρ.

Poté jsme se věnovali sémantice relačního kalkulu. Související pojmy:

• S-ohodnocení a D-ohodnocení doménových proměnných
• pravdivost formule při daném S-ohodnocení s
• formule splňovaná S-ohodnocením s
• relace R_D(ε) a L_D(ε) určené relačním výrazem ε vzhledem k databázovému schématu S a instanci databáze D

Dále jsme si, nejprve neformálně, řekli o významu Coddovy věty a poté si formalizovali její první část - pro každý výraz relační algebry existuje ekvivalentní výraz relačního kalkulu. Tuto jsme si i dokázali. Nakonec jsme si řekli, že důsledkem je relační úplnost relačního kalkulu.

Příště nás čeká druhá část Coddovy věty a uzavření prvního bloku přednášek o relačním modelu a dotazovacích systémech. Poté začneme další blok přednášek o některých otázkách fyzické vrstvy relačních databázových systémů: plánování dotazů, indexy a transakce.