SYLABUS NA SKUKU UVOD

 DO DATABAZOVYCH SYSTEMOV

1                   Datove modely

1.1             Entitno relačny model

1.2             Bachmanove diagramy

1.3             Relačny model

1.4             NIAM (semanticky) model

2                   Architektura DBMS a modelovanie reality

2.1             Trojschemova architektura (ANSI sparc)

2.2             Zakladne principy mapovania reality v bazach dat

3                   Relačny model

3.1             Relačna algebra

3.2             Tabuľkova a predikatova interpretacia relačnej algebry

3.3             Negacia, domenovo nezavisle a bezpečne formuly

3.4             Relačny kalkul (domenovy a n-ticovy)

3.5             Relačne jazyky (SQL, QBE)

3.6             Programovanie v SQL

3.7             Vyjadrovacia sila algebry, kalkulu a jazykov - veta o ekvivalencii

4                   Teoria navrhovania relačnych baz dat

4.1             Funkčne zavislosti, vyplyvanie, Armstrongove axiomy

4.2             Efektivne odvodzovanie, minimalne pokrytie

4.3             Normalne formy 3NF, BCNF

4.4             Algoritmy pre upravu do normalnych foriem

4.5             Multizavislosti, axiomatizacia, odvodzovanie, 4NF

5                   Transakcie spracovanie transakcii

5.1             Seriovateľnosť, test seriovateľnosti

5.2             Zamky a zamykacie protokoly

5.3             Journal, commit a rollback

5.4             Optimisticke a pesimisticke riadenie transakcii, časove razitka

5.5             Autorizacia, metody ochrany pred neopravnenym pristupom

5.6             Ochrana dat pred pokodenim a zničenim - backup.

6                   Fyzicka organizacia

6.1             Dvojurovňovy model pamati a organizacie dat

6.2             Indexove subory

6.3             B a B^* - stromy

6.4             Haovane subory

6.5             Dynamizacia haovania (Dynamicke, roziriteľne a linearne haovanie)

6.6             Vyhľadavanie podľa viacerych kľučov

6.7             Dotazy na čiastočnu a intervalovu zhodu

6.8             Realizacia relačnych operacii

7                   Kompresia dat

7.1             Kompresia riedkych dat

7.2             Hufmannovo kodovanie

7.3             Kodovanie behov (Run length coding)

7.4             Diferenčne metody

7.5             Staticky slovnik

7.6             Dynamicky slovnik (Ziv Lempel)

7.7             Aritmeticke kodovanie

8                   Deduktivne databazy

8.1             Datalog

8.2             Datalog s funkciami - unifikacia

8.3             Vyhodnotenie rekurzivnych dotazov, minimalny pevny bod

8.4             Naivne a seminaivne vyhodnocovanie dotazov

9                   Negacia

9.1             Zakladny princip byrokracie (predpoklad uzavreteho sveta)

9.2             Stratifikovane programy

10               Sieťovy model

10.1        Navigacia zakladny princip sieťoveho modelu

10.2        Jazyk na definovanie dat (DDL)

10.3        Jazyk na manipulaciu s datami (DML)