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. |
BSC1.ppt
EA v. könyv: [AB1] 1.fejezet; 3.1.; 4.1. |
2. |
Relációs algebrai műveletek
tulajdonságai, lekérdezések reprezentálása gráfokkal, algebrai optimalizálás. |
(csak az őszi EA-on volt) [AB2] 7.fej. rAlgOpt.rtf |
3. |
Relációs kalkulusok,
tartománykalkulus,
tartományfüggetlenség, maximális konjunkciós láncok, biztonságosság |
BSC3.ppt
(csak az EA, angol nyelvű Ullman I.) |
4. |
Sorkalkulus, biztonságos kalkulusok
és
relációs algebra ekvivalenciájának bizonyítása. |
BSC3.ppt
(csak az EA, angol nyelvű Ullman I.) |
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. |
BSC3
Esti.ppt [AB1] 5-6-7.fejezetek számos Oracle illetve SQL, PL/SQL könyv |
6. |
Adatmodellezés, egyed/kapcsolat modell, átírás relációs adatmodellbe, összevonások. |
BSC2.ppt [AB1] 2.2-2.5; 3.3-3.4. |
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). |
BSC4
Esti.ppt [IA1] 12.fejezet |
8. |
Attribútumhalmazok
lezárása,
lezárási algoritmus helyessége, implikációs probléma megoldása. |
BSC4
Esti.ppt [IA1] 12.fejezet |
9. |
Veszteségmentes
dekompozíció,
veszteségmentességet eldöntő algoritmus helyessége. |
BSC4
Esti.ppt [IA1] 12.fejezet |
10. |
Függőségőrző
dekompozíció,
függőségőrzést
ellenőrző algoritmus helyessége. |
BSC4
Esti.ppt [IA1] 12.fejezet |
11. |
Normálformák, a BCNF
és
veszteségmentes dekompozíció előállításának naiv és javított algoritmusa. |
BSC4
Esti.ppt [IA1] 12.fejezet |
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. |
BSC4
Esti.ppt [IA1] 12.fejezet |
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. |
(csak az őszi EA-on volt) [IA1] 12.fejezet |
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. |
BSC7
Esti.ppt [AB2] 4.fejezet |