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|right|thumb|374px|'''kořeny SQL''' [http://web.cse.ohio-state.edu/~gurari/course/cse670/html/cse670Ch15.html zdroj]]]
== Sémantika SQL ==
''viz [[Databázové_modely_a_jazyky#SQL_a_jeho_standardy|to samé v jiném okruhu]]''
== Rekurze v SQL. (🎓) ==
''viz [[Databázové_modely_a_jazyky#Rekurze v SQL.|přesunuto vedle do SQL]]''
{{:Formální základy databázové technologie/Ostatni}}
{{Statnice_I2}}