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