Publication: Magyar Közlöny
Issue: MK-2000-31 (Year: 2000, Number: 31)
Era: 1990-2004
Section: a 7/2000. (IV. 7.) OM rendelethez
Paragraph Index: 113

5. A képzés főbb tanulmányi területei A továbbképzés az alábbi, egyforma súlyú témákra épül: Adatmodellezés: egyed-tulajdonság-kapcsolat modell, kapcsolattípusok, relációs modell, relációs algebra, relációs kalkulusok, tartományfüggetlenség és biztonságosság, kulcsok, szuperkulcsok, az E/K diagram átírása relációs adatmodellbe, hálós és hierarchikus adatmodellek, beágyazott relációs adatmodell, a relációs algebra kiterjesztése, kibontás és beágyazás műveleti tulajdonságai, bizonytalanság kezelése, fuzzy adatmodell, kiterjesztési elv, fuzzy relációs algebra, logikai adatmodellek, Datalog, rekurzív és negáció kezelése, rétegezettség, biztonságos szabályok, minimális, legkisebb és perfekt modellek, ismeretlen értékek kezelése, deduktív adatbázisok módosítása, fuzzy Datalog, megszorításokkal definiált adatbázisok, grafikus adatbázisok, objektumok, ODL, OQL, SQL3 objektumorientált lehetőségei. Adatbázis-kezelés: funkcionális függőségek, Armstrongaxiómák, függőségőrzés, attribútumhalmaz lezárása, implikációs probléma megoldása, relációs adatbázisok dekomponálása, veszteségmentesség, BC normálforma, 3. normálforma, többértékű függőségek, függőségi bázis, 4. normálforma, dekomponáló algoritmusok, általánosított függőségek, chase eljárás, Armstrong relációk, kulcsrendszerek, véletlen adatbázisok majdnem mindig teljesülő tulajdonságai, relációs adatbázisok tervezése, osztott adatbázisok, 3 fázisú protokollok, tranzakció-kezelés, ütemezés, különböző típusú zárak elhelyezése, felsorolhatóság, adatvédelem, titkosítások, mentések, naplózások, lekérdezések optimalizálása, algebrai szabályok, fizikai fájlszervezés, indexelések, adatbáziskezelés a gyakorlatban, Unix, SQL, 4GL, CASE. Információs rendszerek: információs és kommunikációs rendszerek különféle modelljei, Shannon-féle entrópia, csatorna, kapacitás, zaj, optimális kód-dekódolás, Kolmogorov-entrópia, információs rendszerek bonyolultságának algoritmikus mérése, kommunikációs bonyolultság, téglalapfelbontások, protokollok tulajdonságai, a legtöbb függvényre teljesülő összefüggések, kapcsolat a randomizált és a determinisztikus bonyolultság között, információs rendszerek tervezése, szoftver életciklus, módszerek és technikák, rendszerek határának megállapítása, dekomponálás, SSADM alapjai, CASE rendszerek, számítógépes hálózatok, kommunikációs szintek, csomagtovábbítás, topológiák, megvalósítás, hibaelhárítás, ügyfélkiszolgáló kapcsolatok, Internet, x-rendszerek, www. Matematikai logika és logikai programozás: formalizált nyelvek rendje, szintaxisa, szemantikája, kifejező ereje, a formalizált nyelv és a ráépülő logika kapcsolata, szintaktikus és szemantikus következmény fogalma, eldöntésprobléma a logikában, rezolúciós levezetés, legáltalánosabb illesztő helyettesítés, stratégiák, Horn-logika, logikai programok deklaratív és procedurális szemantikája, Herbrand modellek, monoton leképezések, fixpontok, zárt és nyitott világ, a logikai programozás alapfogalmai, vezérlési stratégiák, Prolog megvalósítás, Top-down és bottom-up 2000/31. szám kiértékelések, mágikus halmazok, többértékű logikák, fuzzy logika, szükségességi mérték, temporális logika. Mesterséges intelligencia, szakértői rendszerek és intelligens adatbázisok: reprezentációs módok, állapottér, probléma dekompozíciós reprezentáció, klózok, szabályalapú reprezentáció, strukturált objektum, frame, szemantikus háló, gráfreprezentációk, És/Vagy gráfok, átalakítás közönséges gráfokká, kereső rendszerek, heurisztikák, visszalépés, előre tekintés, A, A* algoritmus, szabályalapú következtetés, teljessé tétel, korlátozott célrezolúció, kétirányú következtetés, szabályalapú shellek fő komponensei, tervgenerálás, STRIP-es forma, regresszió, dekompozíció, STRIP, RSTRIPS, DCOMP, NONLIN, szakértői rendszerek, deduktív adatbázisok, constraint adatbázisok.

Source: https://magyarkozlony.hu/hivatalos-lapok/51d79f3241d32994c552fd03da07c3628e4193f8/dokumentumok/b70e75eaf47ec919faa74b4c04418f2f4d2972fd/letoltes