Cvičení 4

Sémantika doménového relačního kalkulu

Pro zadané databázové schéma S a jeho instanci D jsme si pro dva výrazy ε doménového relačního kalkulu nad S určili, jak vypadají R_D(ε) a L_D(ε). Viděli jsme jeden příklad, kdy R_D(ε) a L_D(ε) byly stejné, a jeden, kdy byly různé. Taktéž jsme si ukázali, že R_D(ε) může být nekonečná relace.

Během vypracování příkladů jsme si povídali o částech látky, které vám doposud nebyly jasné.

Převod výrazu RA na výraz DRK

Nejprve jste si to na příkladě zkusili sami a poté jsme jej společně rozebrali. Pozastavili jsme se u přejmenování a existenčního kvantifikátoru. Další příklad zůstal jako dobrovloný úkol k procvičení.