Specifikációs adatbázis modellek

Tartalom

1. BEVEZETÉS 7
1.1 Az értekezés tárgya 7
1.2 Az alkalmazott módszer 8
1.3 Az eredmények helye 9
2. KONCEPCIONÁLIS MODELLEK 12
2.1 Elemi konstrukciók 12
2.1.1 Információ szerkezet 12
2.1.1.1 Információ elemek
2.1.1.1 Információ szakaszok
2.1.2 Elsődleges operációk 15
2.1.2.1 Elem-műveletek
2.1.2.2 Kapcsolat műveletek
2.1.3 Dialógus szerkezet 20
2.1.3.1 Kezdeti információ felvitel
2.1.3.2 Ismételt felvitel
2.1.3.3 Módositó operációk
2.1.3.4 Keresési, megjelenítési
követelmények
2.1.4 Logikai adatmodell 30
2.1.4.1 Séma
2.1.4.2 Adatbázis
2.1.4.3 Operációk
2.2 Típus modellek 33
2.2.1 Altípusok 33
2.2.2 Reláció nevek 36
2.2.3 Altípusú egyedek 38
2.2.4 Záró megjegyzések 38
2.3 A "concept" modell 40
2.3.1 Felépítési séma 40
2.3.2 Logikai adatmodell 42
2.3.2.1 Fogalom definíció
2.3.2.2 Altípusok
2.3.2.3 Adat objektumok
2.3.2.4 Relációk
2.3.2.5 Adatbázis integritás
2.3.3 Nyelvi rendszer 51
2.3.3.1 Formák
2.3.3.2 Nézőpont verem
2.3.3.3 Riport generálás
3. FORMÁLIS MODELLEK 57
3.1 Hivatkozási kalkulus 57
3.1.1 Hivatkozási sémák 57
3.1.1.1 Hivatkozási univerzum
3.1.1.2 Rendezett univerzum
3.1.2 Minősített sémák 60
3.1.2.1 Homomorf eset
3.1.2.2 Konvex eset
3.1.2.3 Hiányos univerzum
3.1.2.4 Reguláris univerzum
3.1.3 Alap operációk 62
3.1.4 Reláció kalkulus 63
3.1.4.1 Homomorf eset
3.1.4.2 Konvex eset
3.1.5 Faktorizáció 70
3.1.5.1 Hasonlóság
3.1.5.2 Redukció
3.1.6 Hivatkozási sémák mint elméletek 72
3.1.7 Kiegészítő megjegyzések 73
3.2 Operáció szinkronizáció 74
3.2.1 Fogalmak 75
3.2.1.1 Konvenciók, jelölések
3.2.1.2 Projekció
3.2.1.3 Összefésülés
3.2.1.4 Kompatibilitás
3.2.1.5 Konkurrens szorzat
3.2.2 Szorzatra vonatkozó tételek 79
3.2.2.1 Az ürességi probléma
3.2.2.2 Befejezhetőség
4 . NYELVI MODELLEK 85
4.1 Alaptechnikák 85
4.1.1 Blokkolt struktúrák leírása 85
4.1.2 Rekurzív struktúrák leírása 86
4.2 Elemi modellek 87
4.2.1 Irányított gráfok 87
4.2.2 Színezett gráf modellek 88
4.2.2.1 CODASYL séma
4.2.2.2 Vegyipari üzem
4.2.3 Páros gráfok 91
4.2.4 SADT modell 93
4.3 Logikai tervezési modellek 94
4.3.1 Információs rendszerek tervezése 95
4.3.2 Folyamatirányítási rendszerek 99
4.4 Gépközeli modellek 100
4.4.1 Vezérlési struktúrák 100
4.4.1.1 Szekvencia
4.4.1.2 Iteráció
4.4.1.3 Kiválasztás
4.4.1.4 Párhuzamosság
4.4.2 Adatszerkezetek leírása 105
4.4.2.1 Struktúra szintaxis
4.4.2.2 Típus ábrázolás
5. ARCHITEKTÚRÁLIS MODELLEK 108
5.1 Egy szoftver strukturálási módszer 108
5.1.1 Követelmények 109
5.1.2 Dekompozició szintjei 110
5.1.3 Altípusok 112
5.1.4 Hibakezelés 114
5.2 Specifikációs adatbázis architektúrák 114
5.2.1 Modul séma 114
5.2.2 Operáció séma 118
5.2.3 Interfész szerkezet 119
Mutató (jelölések, definíciók, axiómák, tételek jegyzéke) 122
Ábrák jegyzéke 127
Hivatkozások jegyzéke 128

Témakörök