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ů: http://ttnz.cz/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}}

Soubor:Cse670235x.png]

Sémantika SQL

viz <Databázové_modely_a_jazyky#SQL_a_jeho_standardy>

Rekurze v SQL. (🎓)

viz <Databázové_modely_a_jazyky#Rekurze%20v%20SQL.>

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

{{Statnice_I2}}