BME VIK - Válogatott fejezetek az adatbázisok elméletéből

Válogatott fejezetek az adatbázisok elméletéből

A tantárgy angol neve: Selected Topics from the Theory of Algorithms

Adatlap utolsó módosítása: 2006. július 1.

Budapesti Műszaki és Gazdaságtudományi Egyetem
Villamosmérnöki és Informatikai Kar

Doktori képzés

Tantárgykód	Szemeszter	Követelmények	Kredit	Tantárgyfélév
VIMAD081		2/0/0/v	3	1/1

4. A tantárgy előadója

Név:	Beosztás:	Tanszék, Int.:
Dr. Sali Attila	Egy. adjunktus	Számítástudományi és Információelméleti Tanszék

5. A tantárgy az alábbi témakörök ismeretére épít

Bevezetés a számításelméletbe, algoritmus elmélet, adatbázisok alapjai

6. Előtanulmányi rend

Ajánlott:

A tárgy felvételéhez szükséges az Adatbázisok (bmevima3232) c. tárgy teljesítése

Tematikaütközés miatt a tárgyat csak azok vehetik fel, akik korábban nem hallgatták a következő tárgyakat:

Neptun-kód Cím

7. A tantárgy célkitűzése

Az adatbázisok elméleti megalapozása legújabb eredményeinek és problémáinak ismertetése

8. A tantárgy részletes tematikája

Függőségek (funkcionális, join, többertékű) axiomatizálhatósága,

következtetesek. A Chase algoritmus. Datalog: modell elméleti,

fixpont illetve bizonyitas elméleti megközelites. Datalog negációval:

straták, illetve a "well-founded" értelmezes. Rekurzió lekérdezési nyelvekben. Lekérdezési

nyelvek kifejezőképességének hierarchiaja. Nem teljes informació kezelése.

9. A tantárgy oktatásának módja (előadás, gyakorlat, laboratórium)

Előadás

10. Követelmények

a. A szorgalmi időszakban: órákra bejárás

b. A vizsgaidőszakban: vizsga

c. Elővizsga:

13. Jegyzet, tankönyv, felhasználható irodalom

S. Abiteboul, R. Hull, Victor Vianu: Foundations of Databases

15. A tantárgy tematikáját kidolgozta

Név:	Beosztás:	Tanszék, Int.:
Dr. Sali Attila	Egyetemi adjunktus	Számítástudományi és Információelméleti Tanszék

vimad081.rtf

Budapest University of Technology and Economics, Faculty of Electrical Engineering and Informatics