Předmět Databázové systémy 2 (KMI / DATA2)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KMI / DATA2 - Databázové systémy 2, Přírodovědecká fakulta, Univerzita Palackého v Olomouci (UP).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Obsah
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é bodyZá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í.
Získané způsobilosti
2. Porozumění.Porozumět základním pojmům z databázových systémů.
Literatura
Pokorný J. Databázové systémy a jejich použití v informačních systémech. Academia, 1992. ISBN 80-200-0177-8.Simovici D. A., Tenney R. L. Relational Database Systems. Academic Press, 1995. ISBN 0126443750.ATZENI P., BATINI C., DE ANTONELLIS V. Relational Database Theory: A Comprehensive Introduction. Addison Wesley, 1993. ISBN 978-0805302493.Codd E. F. The Relational Model For Database Management: Vesion 2. Addison-Wesley, Reading, Mass., 1990. ISBN 0-201-14192-2.Maier D. Theory of Relational Databases. Computer Science Press, Rockville, 1983. ISBN 0914894420.
Požadavky
Aktivní účast v hodině. Plnění zadaných úkolů. Složení ústní (příp. písemné) zkoušky.
Garant
doc. RNDr. Vilém Vychodil, Ph.D.
Vyučující
doc. RNDr. Vilém Vychodil, Ph.D.Mgr. Lucie JežkováBc. Jan Tříska