Přednáška 3

Zdroje:

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

Doménový relační kalkul

Prošli jsme základy doménového relačního kalkulu. Nejprve neformálně na příkladech a poté jsme postupně doplňovali potřebné pojmy pro formaliaci obsažených myšlenek. Zmínili jsme i existneci n-ticového relačníh kalkulu a jeho odlišnosti.

Pojmy:

1. Pomocné:

   • databázové schéma (S),
   • instance databázového schématu S,
   • Attr(S), Dom(S), Dom(D)

2. Syntax doménového relačního kalkulu nad schématem S:

   • jazyk DK_S
   • DVAR_S
   • formule DK_S (atomické, složené)
   • DCFORM(S)
   • volné a vázané proměnné ve formuli Φ DK_S
   • konstanty ve formuli Φ DK_S
   • Výraz DK_S
   • DCEXP_S

Vše jsme si ukázali na průběžném příkladě. Poté jsme si na intuitivní úrovni řekli o vyhodnocování výrazů DK_S v dané instanci databáze. K tomu se vrátíme příště.