Archivovaná stránka (Databázové systémy 2, 2022/2023)

Základní informace

• Stránka předmětu ve STAGu.
• V akademickém roce 2022/2023 je předmět určen zejména pro dobíhající obory.
• Výuka probíhá konzultačně se samostudiem. Vždy obtýden ve středu 14:00 (zhruba 90-120 minut). Začínáme 15.2.2023. Kancelář 5.044.
• Předmět je určen pro třetí ročníky bakalářského studia, a tedy je výuka ukončena dříve (28.4.2023).
• V případě jakýchkoliv dotazů k předmětu nebo jeho obsahu mě neváhejte kontaktovat.

Zdroje

Budeme pracovat zejména s následujícími zdroji:

• Date C.J. - An Introduction to Database Systems, eighth edition, Pearson Addison Wesley, 2004 (knihovna PřF M2/1224),
• Simovici D.A., Tenney R.L. - Relational Database Systems, Academic Press, 1995 (knihovna PřF M2/115),
• Garcia-Molina H., Ullman J.D., Widom J. - Database Systems The Complete Book, Prentice Hall, 2002 (knihovna PřF M2/637),
• Maier D. - The theory of relational databases, Rockville, Md. : Computer Science Press, 1983 (knihovna PřF M2/915, dostupné i online).

Případné další zdroje budou dodány na konzultacích.

Zkouška

• Zkouška bude probíhat ústní formou s časem na přípravu. Zkoušené okruhy budou zveřejněny s předstihem.

Konzultace

1. 15.2.2023
   • Úvod, organizační záležitosti.
   • Témata a zdroje pro první okruh k samostudiu:
     • Relační model
     • Relační algebra
2. 1.3.2023
   • Prošli jsme první okruh.
   • Témata a zdroje pro druhý okruh k samostudiu:
     • Doménový relační kalkul
     • Vztah relačního kalkulua relační algebry (Coddova věta)
3. 15.3.2023
   • Prošli jsme druhý okruh.
   • Témata a zdroje pro třetí okruh k samostudiu:
     • Plánování a vykonávání dotazu v RDBMS
     • Indexy
     • Transakce
4. 29.3.2023
   • Prošli jsme třetí okruh.
   • Témata pro čtvrtý okruh:
     • Funkční závislosti,
     • Definice, sémantika, základní vlastnosti a tvrzení
     • Základy syntaxe (odvozovací pravidla, důkaz, odvozená odvozovací pravidla, korektní odvozovací pravidla, …)
5. 12.4.2023
   • Prošli jsme čtvrtý okruh.
   • Témata pro pátý (poslední) okruh:
     • Korektnost a úplnost logiky funkčních závislostí
     • Normalizace databáze dekompozicí za pomocí funkčních závislostí, projekcí a přirozeného spojení.
     • Normální formy: 1., 2., 3. a BCNF.