Az IP-abATME/1 tárgyból 2007 első félévében csak az kaphat érvényes vizsgajegyet, aki az Adatbázisok elméleti alapjai (IKP-abAEAE) tárgy 2007 tavaszi félévét, vagy a 2007 őszi félévében kivételesen meghirdetett vizsgakurzust sikerrel teljesítette.

A tárgy célja:

- az adatbázisok fizikai és logikai tervezési folyamatának elsajátítása.

- a fizikai állományszervezés, indexelési módszerek különböző típusainak, előnyeinek, hátrányainak megismerése.

- az Oracle katalógusállományok, Oracle rendszergazdai feladatokhoz szükséges alapismeretek elsajátítása.

- lekérdezések optimalizációjának elméleti hátterének megismerése, algebrai optimalizáció, heurisztikus és költség alapú optimalizáció.

- lekérdezések optimalizálása az Oracle rendszerben, lekérdezéstervek, heurisztikák.

- relációs adatbázisok függőségeken alapuló tervezése (funkcionális és többértékű függőségek implikációs problémájának megoldása, attribútumhalmazok lezárása, veszteségmentesség, illetve függőségőrzés ellenőrzése, BCNF, 3NF és 4NF normálformájú dekompozíciók készítésének elsajátítása).

- gyakorlat a fentieken kívül - az előző félév folytatásaként - kiegészül további SQL programozási feladatokkal, triggerek és XML használatának begyakorlásával.

A vizsgatematika (az előadáson elhangzott anyagnak megfelelően fokozatosan bővül, és az utolsó előadás után válik véglegessé):

1. A fájlszervezés alapjai: alapfogalmak, paraméterek, blokkolási faktor, optimalizációs célok, kupac- és tördeléses (hash) szervezés, előnyök, hátrányok, beszúrás, törlés, módosítás.
2. A fájlszervezés alapjai: alapfogalmak, paraméterek, blokkolási faktor, optimalizációs célok, rendezett állományok, előnyök, hátrányok, beszúrás, törlés, módosítás.
3. A fájlszervezés alapjai: alapfogalmak, paraméterek, blokkolási faktor, optimalizációs célok, elsődleges indexek, előnyök, hátrányok, beszúrás, törlés, módosítás.
4. A fájlszervezés alapjai: alapfogalmak, paraméterek, blokkolási faktor, optimalizációs célok, másodlagos indexek, előnyök, hátrányok, beszúrás, törlés, módosítás.
5. A fájlszervezés alapjai: alapfogalmak, paraméterek, blokkolási faktor, optimalizációs célok, többszintű indexek, B⁺-fák, B*-fák, előnyök, hátrányok, beszúrás, törlés, módosítás.
6. A lekérdezések optimalizálási folyamata, fizikai és logikai lekérdező tervek költségalapú, heurisztikus optimalizáció, becslésekhez szükséges feltételezések, paraméterek.
7. Relációs algebrai műveletek tulajdonságai, algebrai optimalizáció.
8. Az SQL lekérdezések (DISTINCT, GROUP BY, ORDER BY is) megadása bővített relációs algebrában, a bővített relációs algebrai műveletek tulajdonságaival kiegészített algebrai optimalizáció.
9. A direkt szorzat költsége különböző fizikai megvalósítások alapján (műveleti költségek és méretek becslése).
10. Két reláció természetes összekapcsolásának költsége különböző fizikai megvalósítások alapján (műveleti költségek és méretek becslése).
11. Három reláció természetes összekapcsolásának költsége különböző fizikai megvalósítások alapján (műveleti költségek és méretek becslése).
12. Rendezés és klaszterindex (hash) készítésének költsége.
13. Kiválasztás, kivonás, metszet, egyesítés, csoportosítás, aggregáció, duplikátumok eltávolításának költsége (műveleti költségek és méretek becslése).
14. Összekapcsolások sorrendjének meghatározása, Join-fák, dinamikus programozás.
15. Osztott adatbázisok esetén az összekapcsolások kiszámítása aciklikus esetben, fülek levágása, féligösszekapcsolásos programok.
16. Oracle katalógus állományok, indexek, partíciók, klasztererek, fizikai lekérdezési tervek, explain plan (a gyakorlaton vett anyagok alapján).
17. Relációs adatbázisok tervezése, problémák, fogalmak (funkcionális függőség, többértékű függőség, implikációs probléma, axiomatizálás, függőségek további tulajdonságai). Példák a fogalmakra.
18. Az Armstrong axióma-rendszer helyes és teljességének bizonyítása.
19. Attribútumhalmaz lezárása, lezárási tulajdonságok, a lezárást kiszámító algoritmus helyességének bizonyítása, az implikáció és az attribútumhalmazok lezárása közti összefüggés. Példák a lezárásra és az algoritmusra.
20. Veszteségmentesség fogalma, a veszteségmentességet eldöntő algoritmus helyességének bizonyítása, veszteségmentesség kettévágás esetén. Példák és ellenpéldák a veszteségmentességre.
21. Függőségőrzés fogalma, a függőségőrzést eldöntő algoritmus, és példák az algoritmusra, a függőségőrzés és veszteségmentesség közti függetlenség bizonyítása példák alapján.
22. A BCNF kétféle definíciója, annak bizonyítása, hogy nincs mindig BCNF függőségőrző dekompozíció, naiv és hatékony BCNF veszteségmentes dekomponáló algoritmus és az algoritmus helyességének bizonyítása.
23. A 3NF kétféle definíciója, minimális fedés fogalma, minimális fedést előállító algoritmus és példák az algoritmusra, 3NF és függőségőrző és veszteségmentes dekompozíció előállítása, az algoritmus helyességi bizonyításából az előadáson elhangzottak bizonyítása.
24. A többértékű függőségek kétféle definíciója, helyes és teljes axiómarendszerek többértékű és vegyes függőségi halmazok esetén, a többértékű függőségek további tulajdonságai, miért van szükség függőségi bázira attribútumhalmaz lezárása helyett, példák többértékű függőségekre.
25. A függőségi bázis definíciója, létezésének igazolása, vegyes függőségi halmazhoz rendelt többértékű függőségi halmaz, függőségi bázis hatékony előállítása, az implikációs probléma megoldása függőségi bázis segítségével.
26. A 4NF definíciója, összefüggések a különböző normálformák között, veszteségmentesség és többértékű függőség közti kapcsolat. Veszteségmentes 4NF-re dekomponáló algoritmusra példák, és az algoritmus helyességének bizonyítása.

Az előadásokhoz kapcsolódó anyagok:

Fájlszervezés, indexelési módszerek

Relációs adatbázisok függőségeken alapuló tervezése

Vizsgatesztek:

január 9

január 16

január 21