Matematicko-fyzikálna fakulta, Univerzita komenského

 

Osnova predmetu

Kód: Isz215

Názov:  Úvod do databázových systémov

Študijný odbor:     Informatika

Špecializácia(blok):  spoločný základ

Garantuje: 

RNDr. Ján Šturc, CSc.

Zabezpečuje: R. Birová, M. Danihel a J. Šturc

 

Semester:   Z

Doporučený v: 2.r

Rozsah výučby:      K/L

(kurz-K, prednáška-P, seminár-S, cvičenie-C,  lab.cvič.-L, iné-I)

Týždenný:     3/1              Za semester:          40/16          

ECTS

kredity  6

Prerekvizity:  Znalosť aspoň jedneho programovacieho jazyka, základný kurz logiky (logika pre informatikov), algebra I, algoritmy a dátové štruktúry

 

 

Ukončenie predmetu a spôsob hodnotenia:     priebežne                    50  %

                                                                      v skúškovom obd.                  50  %

Cieľ predmetu:

Oboznámiť poslucháčov s problémami využívania a implementácie databázových sytémov a technikami ich riešenia. Naučiť teóriu a prax relačného modelu. Naučiť prakticky používať relačný jazyk SQL a navrhovanie relačných báz dát.

Stručný sylabus:

Dátové modely, architektúra DBMS a modelovanie reality; Relačný model, relačné dotazové jazyky, SQL, teória navrhovania relačných báz dát (funkčné závislosti, klúče a normálne formy), logické a deduktívne databázy, datalóg, negácia v databázach; Transakcie a spracovanie transakcií; Dátové štruktúry pre dvojúrovňovú pamäť, kompresia dát;  Navigačné modely (sieťový model).

 

Literatúra:

J. D. Ullman: Database and Knowledge-base systems. Computer Science Press 1988

J. D. Ullman, J. Widom: A first course in database systems. Prentice Hall 1997

J. Pokorný: Databázové systémy a jejich použití v informačních systémech.

 Akadémia 1992

J. Šturc: študijné materiály na www stránke http://www.dcs.fmph.uniba.sk/~sturc/databazy

Kapacita predmetu:

Dátum poslednej úpravy osnovy:

                                   september 1999

Matematicko-fyzikálna fakulta, Univerzita komenského

 

Osnova predmetu

Kód: Ips315

Názov:  Relačné a deduktívne bázy dát

Študijný odbor:     Informatika

Špecializácia(blok):  programové systémý

Garantuje: 

RNDr. Ján Šturc, CSc.

Zabezpečuje:       A. Bebjak a J. Šturc

 

Semester:   L

Doporučený v: 3.r

Rozsah výučby:      K/C

(kurz-K, prednáška-P, seminár-S, cvičenie-C,  lab.cvič.-L, iné-I)

Týždenný:     3/1              Za semester:          40/16         

ECTS

kredity  6

Prerekvizity:

 Úvod do databázových systémov,  Algebra, Logika, Základy zložitosti algoritmov.

 

Ukončenie predmetu a spôsob hodnotenia:     priebežne                    30  %

                                                                      v skúškovom obd.                  70  %

Cieľ predmetu:

Naučiť matematickú teóriu a techniky efektívnej implementácie relačných, logických a deduktívnych databázových systémov.

Stručný sylabus:

Implementácia relácií, dotazy na čiastočnú zhodu; Relačná algebra – SQL stroj, využívanie operačnej pamäti; Optimalizácia dotazov, algebraické zákony na strome dotazu, optimalizácia na základe polospojení; Optimalizácia konjuktívnych dotazov. Datalóg s funkciami, unfikácia; Optimalizácia dotazov v datalógu, optimalizácia datalógových dotazov s rekurziou; Databázový a logický výpočet, optimalizácia pomocou magických predikátov.

Literatúra: 

J. D. Ullman: Database and Knowledge-base systems. Computer Science Press 1988

H. Garcia-Molina, J. D. Ullman a J. Widom: Database system implementation. 

                                                                           Prentice Hall 2000

J. Pokorný: Databázové systémy a jejich použití v informačních systémech.

 Akadémia 1992

J. Šturc: študijné materiály na www stránke http://www.dcs.fmph.uniba.sk/~sturc/databazy

 

Kapacita predmetu:

Dátum poslednej úpravy osnovy:

                                   september 1999

 

Matematicko-fyzikálna fakulta, Univerzita komenského

 

Osnova predmetu

Kód: Ips316

Názov:  Kompilátory

Študijný odbor:     Informatika

Špecializácia(blok):  programové systémý

Garantuje: 

RNDr. Ján Šturc, CSc.

Zabezpečuje:       J. Šturc

 

Semester:   L

Doporučený v: 3.r

Rozsah výučby:      K/C

(kurz-K, prednáška-P, seminár-S, cvičenie-C,  lab.cvič.-L, iné-I)

Týždenný:     3/1              Za semester:          40/16         

ECTS

kredity  6

Prerekvizity:

 Praktická znalosť aspoň jedneho programovacieho jazyka, formálne jazyky, algoritmy a dátové štruktúry

Ukončenie predmetu a spôsob hodnotenia:     priebežne                      30  %

                                                                      v skúškovom obd.                    70  %

Cieľ predmetu:

Naučiť techniky a metódy konštrukcie kompilátorov a  využívať paradigmu syntaxou riadeného programovania.

Stručný sylabus:

Štruktúra kompilátora, lexikálna analýza, metódy syntaktickej analýzy (zhora-nadol a zdola hore); Syntaxou riadený preklad, atribútové gramatiky; Kontrola typov; Podpora kompilátora počas behu, interpretácia, pridelovanie pamäti, tabuľka symbolov; Medzijazyk, generovanie medzijazyka; Generovanie kódu, modely počítača, pridelovanie registrov; Optimalizácia programov, globálna optimalizácia, analýza toku dát, optimalizácia cyklov, lokálne optimalizácie; Samozavedenie.

 

Literatúra:

A. Aho, R. Sethi and J. D. Ullman: Compilers tools and techniques. Computer Science Press 1986 (The new dragon book).

C. N. Fisher, R. J. Leblanc: Crafting a Compiler. The Benjamin  Cummings Publishing Company, Inc, 1988.

Ľ. Molnár,  M. Češka, B. Melichar: Gramatiky a jazyky.  Alfa, SNTL Bratislava 1987.

J. Šturc: študijné materiály na www stránke http://www.dcs.fmph.uniba.sk/~sturc/kompilatory

Kapacita predmetu:

Dátum poslednej úpravy osnovy:

                                   september 1999