Informatika I-II.

Tartalom

I. kötet
1. Befezetés 5
2. Teljesítményfokozó architektúrális változtatási elvek 17
2.1. Tárolókezelési módszerek 17
2.1.1. Tömbkapcsolás 17
2.1.2. Indexelt leképzés 18
2.1.3. Virtuális tárkezelés 19
2.1.2.1. Lapszervezésű virtuális tároló 20
2.2. I/O kezelés, perifériák 41
2.2.1. Perifériakezelési módszerek 41
2.2.2. Háttértárolók 46
2.2.3. Megjelenítők, nyomtatók 49
2.3. Gépi utasításon belüli párhuzamosítás 50
2.4. Szoftver továbbfejlesztési elvek 56
2.4.1. Multitasking elve 56
2.4.2. Védelmi rendszer 64
2.5. Az i80386 mikroprocesszor 66
2.5.1. Az i80386 címzési rendszere 66
2.5.2. Az i80386 védelmi rendszere 72
2.5.3. Az i80386 hardver struktúrája 80
2.5.4. Kivételes állapotok kezelése 89
2.5.5. Az i80386 szoftver kompatibilitása 92
3. Multiprocesszoros rendszerek 95
3.1. Lazán csatolt rendszerek 98
3.2. Szorosan csatolt rendszerek 99
3.3. Konkurrens programozás 108
4. Sírendszerek 125
4.1. Rendszersínek 126
4.2. VME sínrendszer 133
5. Speciális architektúrák 141
5.1. Vektorprocesszorok 141
5.2. Tömbprocesszorok 142
5.3. Utasításszintű párhuzamosítás 145
5.3.1. Vezérlésáramlásos feldolgozás 145
5.3.2. Adatáramlásos (data flow) feldolgozás 146
5.3.3. Data flow processzorok 148
6. Operációs rendszer 153
6.1. Operációs rendszerek szolgáltatásai 153
6.1.1. Rendszerhívások 153
6.1.2. Rendszermodulok 154
6.1.3. Rendszerprogramok 155
6.2. Operációs rendszerek szerkezete 155
6.2.1. Monolitikus rendszerek 155
6.2.2. Réteges felépítésű rendszerek 156
6.2.3. Processz-orientált operációs rendszer (kliens-szerver modell) 156
6.2.4. Virtuális gépekre alapozott operációs rendszerek 157
6.3. Folyamatok kezelése 158
6.4. Holtpont helyzetek és kezelésük 162
6.5. Valós memória kezelése 176
6.5.1. Programok logikai-fizikai címleképezése 176
6.5.2. Valós memória szervezési módszerek 179
6.6. File-rendszerek 182
6.6.1. Fizikai-logikai szektorcím leképzés mágneslemez tárolóknál 182
6.6.2. Fizikai és logikai adatszerkezetek 183
6.6.3. File hozzáférési módok (logikai file modellek) 183
6.6.4. File allokációs módszerek 184
6.6.5. Könyvtárstruktúrák 188
6.6.6. Mágneslemez ütemezése 190
7. MS-DOS 193
8. UNIX 201
9. Irodalomjegyzék 215

II. kötet
Előszó 7
I. rész: Adatbázisok (Gajdos Sándor)
Bevezető 9
1. Alapfogalmak 9
1.1. A programozó és a felhasználó kapcsolata az adatbáziskezelő rendszerrel 10
1.2. Járulékos feladatok 11
1.2.1. Adatvédelem 11
1.2.2. Adatbiztonság 12
1.2.3. integritás 12
1.2.4. Szinkronitás 12
1.3. Az adatbázis használói 12
2. Az adatbáziskezelők felépítése 14
3. A fogalmi (logikai) adatbázis 16
3.1. Adatmodellek, modellezés 16
3.2. Egy majdnem-adatmodell: az egyed-kapcsolat modell 17
3.2.1. Entitások 17
3.2.2. Kapcsolatok 17
3 .2.3. Kapcsolatok funkcionalitása (kardinalitás) 18
3.2.4. Kulcs 19
3.2.5. Az E-R modell grafikus ábrázolása: E-R diagram 19
3.3. A hálós adatmodell 21
3.3.1. Története 21
3.3.2. Alaptulajdonságok 21
3.3.3. Műveletek 23
3.3.4. Hálós adatbázis logikai tervezése E-R diagramból 24
3.4. A relációs adatmodell 25
3.4.1. Műveletek relációkon 26
4. A fizikai adatbázis 31
4.1. Heap szervezés 32
4.1.1. Keresés 32
4.1.2. Törlés 33
4.1.3. Beszúrás 33
4.1.4. Módosítás 33
4.2. Hash állományok 33
4.2.1. Keresés 34
4.2.2. Beszúrás 35
4.2.3. Törlés 35
4.2.4. Módosítás 35
4.3. Indexelt állományok 35
4.3.1. Ritka indexek 36
4.3.2. B*-fák, mint többszintes ritka indexek 38
4.3.3. Sűrű indexek 40
4.3.4. Másodlagos indexek, invertálás 41
5. Relációs adatbázisok logikai tervezése 43
5.1. Tervezés E-R diagramból 43
5.2. Tervezés sémadekompozícióval 45
5.2.1. Anomáliák 45
5 2.2. Funkcionális függőségek 46
5.2.3. Kulcsok 47
5.2.4. Relációk normál formái 48
5.2.5. Funkcionális függőségek további tulajdonságai 52
5.2.6. Függéshalmaz lezárása 53
5.2.7. Attribútumhalmaz lezárása 54
5.2.8. Veszteségmentes felbontás (lossloss decomposition) 55
5.2.9. Függőségőrző felbontások 56
5.2.10. Sémadekompozíció adott normálformába 58
5.2.11. Többértékű függőségek 60
6. Az SQL nyelv 63
6.1. Jelentősége 63
6.2. A példákban szereplő táblák 63
6.3. A nyelv definíciója 64
6.3.1. Lekérdezések 64
6.3.2. Táblák módosítása 70
6.3 .3. Táblák, nézetek létrehozása 70
6.3.4. Adatelérések szabályozása 72
6.4. Bővítések 74
6.4.1. Konzisztencia feltételek 74
Irodalomjegyzék az I. részhez 75
EL rész: Formális nyelvek (Németh Gábor)
1. Formális nyelvek 77
1.1. Formális nyelvek és nyelvtanok 77
1.2. Nyelvosztályok 81
r.3. Algoritmusok és eljárások 83
2. Reguláris nyelvek 84
2.1. A determinisztikus és a nemdeterminisztikus véges automaták kapcsolata 87
2.2. Relációk és reguláris halmazok 89
3. Környezetfüggetlen nyelvek 96
3.1. Nyelvtani műveletek és normálalakok 98
3.2. Push down (verem automaták) 111
3.3. Veremautomaták szerkesztése CF nyelvtanhoz 116
4. Fordítóprogaramok 121
4.1. Fordítóprogram felépítése 122
4.2. Szintaktikus elemzők 127
4.2.1. Általános elemzők 128
4.2.2. LL (k) nyelvek 131
4.2.3. Szintaxisgráfok szerkesztése 140
Hl. rész: Programozási paradigmák (Kiss István)
1. Programozási alapfogalmak 145
1.1. Bevezető 145
1.2. Értékek és típusok 146
1.2.1. Alapfogalmak 146
1.2.2. Elemi típusok 147
1.2.3. Összetett típusok 147
1.2.4. Kifejezések 147
1.3. Tárak 148
1.3.1. Változók 148
1.3.2. Parancsok 150
1.4. Kötések 152
1.5. Típusrendszerek 153
2. Az objektum orientált programozás 155
2.1. Komplex rendszerek 155
2.1.1. Komplex rendszerek általános tulajdonságai 155
2.1.2. Komplex rendszerek általános szerkezete 156
2.1.3. A komplexitás kordában tartása 156
2.2. Az objektumorientált programozás előzményei 157
2.2.1. Funkcionális dekompenzáció támogatása 157
2.2.2. Adatrejtés, moduláris programozás 157
2.2.3. Absztrakt adattípusok létrehozása 157
2.3. Az objektumorientált programozás 158
3. C++ programozási nyelv összefoglalása 160
3.1. Absztrakt adattípusok létrehozásának támogatása 160
3.1.1. Típusdefiníció 160
3.1.2. Egyedek létrehozása és megszüntetése 161
3.1.3. Módszerek definíciója 163
3.1.4. Operátorok definíciója 164
3.1.5. Konverzió absztrakt és beépített típusok között 165
3.1.6. Láthatóság felülbírálása 165
3.1.7. Új osztályok integrálása az I/O rendszerbe 166
3.1.8. Osztályváltozók 166
3.1.9. Tárkezelés 167
3.1.10. Paraméterezett típusok 167
3.2. Az objektumorientált programozás támogatása 168
3.2.1. Az osztályhierarchia definiálása 168
3.2.2. Öröklődés I68
3 .2.3. Öröklődés és láthatóság 170
3.2.4. Többszörös öröklődés 171
3.2.5. Osztályhierarchia és típusellenőrzés 171
3.2.6. Virtuális függvények 172
3.2.7. Absztrakt alaposztályok 173
3.3. Ami a nyelv ismertetéséből kimaradt 173
3.3.1. Többes jelentésű függvények 173
3.3.2. Referenciák 174
3.3.3.Konstans objektumok (Constness) 174
3.3.4. Online függvények 175
3.3.5. Két új nyelvi elem 175
4. Programozási példák 176
4.1. Egydimenziós INT tömb 176
4.2. Egydimenziós konténer tömb 178
4.3. Egydimenziós dinamikus tömb 180
4.4. Grafikus objektumok 182

Témakörök