|
Vyučující
|
-
Laštovička Jan, Mgr. Ph.D.
-
Urbanec Tomáš, Mgr.
|
|
Obsah předmětu
|
Formální model pro relační databázové systémy: domény, atributy, relační schémata a relace. Operace s relacemi; booleovské a speciální operace. Relační dotazovací jazyky: relační algebra, relační kalkul, doménový kalkul; jejich vzájemný vztah a relační úplnost. Logické dotazovací jazyky: DATALOG; predikáty, pravidla a dotazy; vztah relační algebry a DATALOGu; rekurzivní pravidla a jejich sémantika, pevné body Závislosti v datech: funkční závislosti, vztah k predikátové logice, sémantické vyplývání, Armstrongovy axiomy a inferenční úplnost. Pokročilé partie: RAP sekvence a derivační diagramy; algoritmické aspekty sémantického vyplývání; minimální báze funkčních závislostí a její výpočet. Další typy závislostí a normalizace: multifunkční závislosti, závislosti na spojení; Druhá a třetí normální forma relačních schémat. Boyce-Coddova normální forma. Bezeztrátová dekompozice relací.
|
|
Studijní aktivity a metody výuky
|
|
Přednášení, Demonstrace
|
|
Výstupy z učení
|
Studenti se seznámí s pokročilými pojmy z databázových systémů.
2. Porozumění. Porozumět základním pojmům z databázových systémů.
|
|
Předpoklady
|
nespecifikováno
|
|
Hodnoticí metody a kritéria
|
Ústní zkouška, Písemná zkouška
Aktivní účast v hodině. Plnění zadaných úkolů. Složení ústní (příp. písemné) zkoušky.
|
|
Doporučená literatura
|
-
ATZENI P., BATINI C., DE ANTONELLIS V. (1993). Relational Database Theory: A Comprehensive Introduction. Addison Wesley.
-
Braharu D. (2018). Database For Beginners: Relational Database Concepts and Model (Programming courses). Independently published.
-
Connolly T., Begg C. (2002). Database Systems. A Practical Approach to Design, Implementation and Management, 3rd edition. Addison Wesley.
-
Johnson James L. (1997). Database Models, Languages, Design. Oxford University Press.
-
Maier D. (1983). Theory of Relational Databases. Computer Science Press, Rockville.
-
Pokorný J. (1992). Databázové systémy a jejich použití v informačních systémech. Academia.
-
Simovici D. A., Tenney R. L. (1995). Relational Database Systems. Academic Press.
|