Adatbázis-kezelés
(3. évf. programtervező matematikus szak)
Tételjegyzék
1. Adatbázis-kezelők ismérvei, adatmodellek,
tranzakciók, adatbázis-kezelő nyelvek.
Relációs adatmodell,
relációs algebra,
összekapcsolások, hányados művelet.
2. Relációs algebrai műveletek
tulajdonságai, lekérdezések
reprezentálása gráfokkal, algebrai
optimalizálás.
3. Relációs kalkulusok,
tartománykalkulus,
tartományfüggetlenség,
maximális konjunkciós láncok,
biztonságosság
4. Sorkalkulus, biztonságos kalkulusok és
relációs algebra
ekvivalenciájának
bizonyítása.
5. SQL alapjai, az SQL lekérdező nyelve,
beágyazott lekérdezések,
csoportosítások, szűrések,
aggregálás,
nézettáblák, az SQL
adatdefiníciós, adatkezelő nyelve,
jogosultságok kezelése SQL-ben, SQL
beágyazása programozási nyelvekbe,
előfordítás, CURSOR használata.
6. Adatmodellezés, egyed/kapcsolat modell,
átírás relációs
adatmodellbe, összevonások.
7. Relációs
adatbázis-tervezés, funkcionális
függőségek, Armstrong axiómák
helyessége és teljessége
(bizonyítással).
8. Attribútumhalmazok lezárása,
lezárási algoritmus helyessége,
implikációs probléma
megoldása.
9. Veszteségmentes dekompozíció,
veszteségmentességet eldöntő algoritmus
helyessége.
10. Függőségőrző
dekompozíció,
függőségőrzést ellenőrző algoritmus
helyessége.
11. Normálformák, a BCNF és
veszteségmentes dekompozíció
előállításának naiv
és javított algoritmusa.
12. Minimális fedések
előállítása. A 3NF, veszteségmentes és
függőségőrző dekompozíciót
előállító algoritmus
helyessége.
13. Többértékű
függőségek axiomatizálása,
függőségi bázist
előállító algoritmusok. A 4NF és veszteségmentes
dekompozíciót
előállító algoritmus.
14. Fizikai fájlszervezés,
blokkszervezés, keresés és
módosítás szekvenciális,
rendezett, hash-selt állományban, elsődleges,
másodlagos index esetén, többszintű
indexfák, B+ fák alapján.
A vizsgán az elméleti
kérdések mellett egy feladatot is meg kell
oldani, vagy példát,
ellenpéldát kell adni valamire. A
vizsgán semmit sem lehet használni. A
vizsgajegyet a vizsgáztató, a gyakorlati jegyet a
gyakorlatvezető írja be.