okruhy 14/15: Relacní kalkuly, relacní algebry, deduktivní databáze. Relacní úplnost. Bezpecné výrazy, ekvivalence relacních dotazovacích jazyku. Veta o tranzitivním uzáveru relace. Sémantika SQL. Datalog, 3 sémantiky a jejich ekvivalence. Datalog s negací, stratifikace. Deduktivní databáze. Rekurze v SQL. Tablo dotazy - statická analýza a optimalizace relacních dotazovacích jazyku. Modelování preferencí, dotazování s preferencemi.

Podle Majklových zápisků: statnice/statnice/ čepičky (🎓) udávají pravděpodobnou důležitost okruhu u státnic.

Relacní kalkuly, relacní algebry. Relacní úplnost. Bezpecné výrazy, ekvivalence relacních dotazovacích jazyku. (12×🎓)

{{:Formální_základy_databázové_technologie/Relace}}

Datalog (7×🎓)

{{:Formální_základy_databázové_technologie/Datalog}}

gurari/course/cse670/html/cse670Ch15.html zdroj]

Sémantika SQL

viz to samé v jiném okruhu

Rekurze v SQL. (🎓)

viz přesunuto vedle do SQL

{{:Formální základy databázové technologie/Ostatni}}

{{Statnice_I2}}