Cvičení 3

Doménový relační kalkul

• Prošli jsme příklady formulí DK_S a řetězců, které formule netvoří (se zdůvodněním).
• Na některých z formulí jsme si demonstrovali určení volných a vázaných proměnných a konstant
• Ukázali jsme si příklady výrazů DK_S a příklady výrazů, které definici výrazu DK_S porušují.
• Zkusili jste si samostatně navrhnout instanci malé databáze a nějakého zajímavého dotazu v DK_S. Výsledek jsme si okomentovali na tabuli.