P064 Dotazovací jazyky a relační teorie

Fakulta informatiky
jaro 2000
Rozsah
2/0. 2 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: k, z.
Vyučující
prof. RNDr. Jaroslav Pokorný, CSc. (přednášející)
Garance
doc. Ing. Jan Staudek, CSc.
Katedra počítačových systémů a komunikací – Fakulta informatiky
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
Osnova
  • Dotazovací jazyky.
  • Databázový model jako typový aparát dotazovacího jazyka, vyjadřovací síla dotazovacích jazyků, relační úplnost, možnosti rozšíření: aritmetika, agregační funkce, rekurze.
  • Doménový relační kalkul (DRK), bezpečné výrazy. Ekvivalence DRK a relační algebry.
  • Dotaz na tranzitivní uzávěr. Datalog, sémantika využívající pevný bod zobrazení, rozšíření Datalogu o negaci, stratifikace.
  • Implementační techniky zpracování dotazu. Algoritmy pro relační operace a jejich složitost.
  • Optimalizace dotazu.
  • Textové databáze, modely dokumentů, signatury.
Literatura
  • Pokorný J., Halaška I., Databázové systémy. Vydavatelství ČVUT, Praha, 1998
  • J. Pokorný, V. Snášel, D. Húsek: Dokumentografické informační systémy. Karolinum - nakladatelství UK, Praha, 1998
  • Pokorný J., Konstrukce databázových systémů. Vydavatelství ČVUT, Praha, 1999
Další komentáře
Předmět je vyučován každoročně.
Výuka probíhá blokově.
Předmět je zařazen také v obdobích léto 1998, jaro 1999, jaro 2002.