SYLABUS NA SKÚŠKU

Z DATABÁZOVÝCH SYSTÉMOV

1 Deduktívne databázy

1.1 Datalog

1.2 Datalog s funkciami - unifikácia

1.3 Vyhodnotenie rekurzívnych dotazov, minimálny pevný bod

1.4 Naivné a seminaivné vyhodnocovanie dotazov

1.5 Porovnanie seminaivného vyhodnocovania SLD-rezolúcie

1.6 Stromy pravidiel a cieľov (Rule/Goal trees). Väzby (Binding patterns).

1.7 Optimalizácia deduktívnych dotazov, magické množiny

2 Negácia

2.1 Základný princíp byrokracie (predpoklad uzavretého sveta)

2.2 Stratifikované programy

3 Optimalizácia dotazov

3.1 Strom relačného výrazu a pretláčanie selekcií a projekcií k listom

3.2 Využitie algebraických zákonov relačnej algebry

3.3 Optimalizácia konjunktívnych dotazov dekompozíciou hypergrafu

3.4 Optimalizácia distribuovaných dotazov pomocou polospojení

3.5 Optimalizácia prirodzených spojení za predpokladu univerzálnej inštancie

4 Optimalizácia konjunktívnych dotazov.

4.1 Inklúzia (containment) a ekvivalencia konjunktívnych dotazov.

4.2 Konjunktívne dotazy s aritmetickými predikátmi.

4.3 Optimalizácia za predpokladu slabej ekvivalencie.

4.4 Dotazy so zjednoteniami a rekurziou.

5 Optimalizácia na úrovni fyzických dát

5.1 Model optimalizácie v dvojúrovňovej pamäti

5.2 Výpočet základných operácií (zjednotenie, projekcia)

5.3 Cena kartézkeho súčinu

5.4 Spôsoby výpočtu selekcií

5.5 Spôsoby výpočtu spojení (joinov)

6 Problémy realizácie

6.1 Metódy synchronizácie transakcií (pesimistické a optimistické)

6.2 Zámky, aplikačne špecifické zámky

6.3 Časové razítka (prevencia, kaskádovitého rollbacku)

6.4 Metóda kopií a dodatočnej analýzy seriovateľnosti