Miről lesz szó?
Rendszertervezés - Modellezés ⌫modell,
modellezés: definíció, cél, kategorizálás ⌫az IR leképezési folyamata ⌫adatmodell tervezése: elemek, kapcsolatok, belső külső szerkezet, normalizálás ⌫a funkcionális modell tervezése: elemek, időtényező, változások az adatmodellben, a rendszer viselkedése, input/output elemek Raffai Mária: Rendszermodellezés
1.
Raffai Mária: Rendszermodellezés
Az információrendszer leképezése
A modell a valós világ absztrakt megjelenése oly módon, hogy maradéktalanul tükrözi annak a leképezés szempontjából lényeges, tartós és általános jegyeit.
Valós folyamatok
információrendszer 1. leképezés 2. leképezés
funkcionális modell adatmodell
Modellek: makett autó-modell információrendszer adatmodell funkcionális modell Raffai Mária: Rendszermodellezés
2.
logikai terv
a működő számítógépes rendszer 3.
4. leképezés
technológiai lehetőségek
3. leképezés
tárolási modell
elhelyezési modell
fizikai terv
Raffai Mária: Rendszermodellezés
4.
A fogalmi modell
4. IR modellezés I.
elemei
az adatmodell tervezése
szintjei
⌫egyed
⌫típus
⌫tulajdonság
⌫előfordulás
⌫kapcsolat
⌫terjedelem
az elemek definiálása, értelmezése, példák Raffai Mária: Rendszermodellezés
5.
Raffai Mária: Rendszermodellezés
6.
1
A tulajdonságtípus:
Az egyed
az egyed sajátosságai, jellemzői
A valóság valamilyen szempontból összetartozó absztrahált halmaza, az objektum fogalmi tükörképe.
az egyedtípus meghatározottsága →névvel rendelkezik →tulajdonságsora és →azonosítója van →ismert az egyedelőfordulások halmaza
például: termékek, ügyfelek, számlák, hitelállomány, szállítók, megrendelések
Raffai Mária: Rendszermodellezés
7.
Az azonosító tulajdonságtípus
⌫azonosítójelölt,
azonosító ⌫egyszerű, összetett ⌫külső, belső
Például: Raffai Mária: Rendszermodellezés
9.
A vizsgálat mintamodellje Tekintsünk egy lízing ügyletet, amelyben kezelni kell az
vonatkozó információkat:
Raffai Mária: Rendszermodellezés
10.
1NF: Ismétlődő adattétel hiba Szabály: minden tulajdonságtípusnak függenie kell az azonosítótól
⌫üfkód: az ügyfél azonosító kódja ⌫cím, tel: az ügyfél címe és telefonszáma ⌫likvmért: a likviditás mértéke ⌫üfnév: az ügyfél neve
lízingelt termékek adatait:
tehergk, kisbusz)
3:karbantartásban lévő, 4:selejtezett stb.
⌫a
Funkcionális függés reflexivitás, augmentivitás, tranzitivitás
Magasabbrendű normálformák
rendszám, számlaszám, termékazonosító, személyi szám
⌫tkod: a termék azonosító kódja ⌫ttípus: a termék típusa (pl. szgk, ⌫tmegn: a termék megnevezése ⌫érték: a termék értéke Ft-ban ⌫állapkód: 1:új, 2:lízingbe adott,
8.
A belső szerkezet szabályai, normálformák →ismétlődő adattétel →részleges funkcionális függés →tranzitív funkcionális függés
Fajtái:
⌫a
Raffai Mária: Rendszermodellezés
Az egyedtípusok belső szerkezete
Az egyed azon jellemzője, amely egyértelműen meghatározza annak egy előfordulását.
⌫ügyfelekre
osztályozása: →leíró →azonosító →kapcsoló
A hiba típusa: van olyan tulajdonság a sorban, amely egy adott egyedelőforduláshou több értéket is felvehet
lízing ügylet információit: üfkód+termkód, lkezdat
Raffai Mária: Rendszermodellezés
11.
Raffai Mária: Rendszermodellezés
12.
2
1NF: Ismétlődő adattétel hiba javítása
Szabály: a tulajdonságtípusoknak az összetett azonosító egészétől kell függenie
A hibás egyed: üfkód, üfnév, cím, tkód javítás: 1. egyed: üfkód , üfnév, cím 2. egyed: üfkód+tkód
Raffai Mária: Rendszermodellezés
A hiba típusa: van olyan tulajdonság a sorban, amely az összetett azonosítónak csak az egyik részétől függ 13.
2NF: részleges funkcionális függési hiba javítása
Raffai Mária: Rendszermodellezés
14.
3NF: tranzitív funkcionális függés Szabály: a tulajdonságtípusok nem függhetnek másik leíró tulajdonságtípustól, csak az azonosítótól
A hibás egyed: üfkód+tkód, üfnév, cím, lkezdat, tmegn javítás: 1. egyed: üfkód , üfnév, cím 2. egyed: tkód, tmegn 3. egyed: üfkód+tkód, lkezdat Raffai Mária: Rendszermodellezés
2NF: részleges funkcionális függés
A hiba típusa: van olyan tulajdonság a sorban, amelyet egy másik leíró tulajdonságtípus határoz meg.
15.
Raffai Mária: Rendszermodellezés
16.
3NF: tranzitív funkcionális függési hiba javítása
Fontos modellezési alapszabály:
A hibás egyed: tkód, tmegn, állapkód, állapmegn
Az adatmodellnek legalább harmadik normálformájúnak kell lenni!
javítás: 1. egyed: tkód , tmegn, állapkód 2. egyed: állapkód, állapmegn
Raffai Mária: Rendszermodellezés
17.
Raffai Mária: Rendszermodellezés
18.
3
Egyedek kapcsolata (példa)
Az adatmodell külső szerkezete
Raffai Mária: Rendszermodellezés
19.
20.
⌫kapcsolat
foka és iránya: 1:1, 1:N, M:1, M:N ⌫a kapcsolat szorossága: közvetlen, közvetett ⌫a kapcsolat jellege: kötelező, félig kötelező, opcionális ⌫kapcsolati viszony: kizáró, bennfoglaló, rekurzív
1. sajátosságok 2. különleges viszonyok 3. szerkezeti elemek
21.
Raffai Mária: Rendszermodellezés
22.
A kapcsolat foka
Minta-modell a külső szerkezet vizsgálatához
Az egyik egyedtípus egy előfordulásából a másikból hány előfordulás rendelhető hozzá
Egy készletgazdálkodási rendszer vizsgált egyedei: TERMÉK: a termékek jellemzői RAKTÁR: a cég raktárainak jellemzői RAKTÁROS: a raktáros munkatársak állománya SZÁLLÍTÓ: a szállítók adatai RAKTERM: raktározott tételek RENDTERM: tételes, termékenkénti rendelés DISZPOZ: diszpozíció Raffai Mária: Rendszermodellezés
hiba, egy autónak csak egy tulajdonosa lehet!!
Raffai Mária: Rendszermodellezés
A külső szerkezet sajátosságai
A külső szerkezet vizsgálati aspektusai
Raffai Mária: Rendszermodellezés
AUTOK GKJ 429 ABF 254 KLM 537 LKM 278 EJL 265 WAS 635 DFL 435
SZEMÉLYEK Horváth József Kiss István Nagy Ilona Kovács Bernadett Juhász Katalin
az egyedek közötti kapcsolatot határozza meg, amely az egyedelőfordulások egymáshoz kapcsolódásában realizálódik
23.
DISZPOZ
1:1
TSZ
RAKTAR
SZALLITO 1:N
1:N RAKTAROS
M:1
RAKTERM
Raffai Mária: Rendszermodellezés
TERMEK
RR
M:N
1:N
1:1
RENDTERM
24.
4
A kapcsolat iránya: alá-, fölérendeltségi viszony
A kapcsolat szorossága
⌫1:1
fokú kapcsolat: kölcsönös függés ⌫1:N fokú kapcsolat: hierarchikus viszony, fölé-, alárendeltség A egyed
⌫Közvetlen
legalább az egyik kapcsolatteremtő az azonosító ⌫Közvetett a kapcsolatteremtők leíró tulajdonságtípusok vagy összetett azonosítórészek
B egyed
⌫M:N
fokú viszony: kölcsönös függetlenség
Raffai Mária: Rendszermodellezés
25.
A kapcsolat jellege
RAKTAROS
DISZPOZ
egymást kizáró kapcsolat
M:1
TSZ
RAKTAR
1:1
SZALLITO
TERMEK
1:N
b
a RAKTERM
RR
egyidejűleg vagy az "a" vagy a "b" kapcsolat létezik
BETEG
1:N
1:N M:1
26.
Az adatmodell összetett viszonyai
kötelező, opcionális, félig kötelező 1:N
Raffai Mária: Rendszermodellezés
RENDTERM
FFI
NO
M:N Raffai Mária: Rendszermodellezés
27.
Raffai Mária: Rendszermodellezés
28.
Az adatmodell összetett viszonyai
Az adatmodell összetett viszonyai
bennfoglaló viszony
rekurzív egyedtípus:
a HTAN
Raffai Mária: Rendszermodellezés
ha egy egyedtípuson belüli előfordulások kapcsolódnak egymáshoz
a "b" kapcsolat csak akkor létezhet, ha már van "a" kapcsolat
HALLG
b
például: férj-feleség szülő-gyerek beépülési, lebontási darabjegyzékek
HÖSZT
29.
Raffai Mária: Rendszermodellezés
30.
5
Az adatmodell szerkezeti elemei
3. /a. Hierarchikus elemek
⌫elemi
hierarchia ⌫egyszerű, többszintű hierarchia ⌫összetett hierarchia ⌫hálós szerkezeti elemek
HTFEV
HOSZT
HTTGY
háló ⌫tranzitív szerkezet
elemi hierarchia
egyszerű, többszintű hierarchia
összetett hiearchia
szerkezet
Raffai Mária: Rendszermodellezés
31.
SZAK
http://rs1.szif.hu/IN/hallginf.htm
HTTGY
HTTGY
Tranzitív szerkezet
Egyszerű háló
Raffai Mária: Rendszermodellezés
32.
TTGY
HALLG
SZTTGY
HALLG
Raffai Mária: Rendszermodellezés
Hozzáférhető anyagok
3. /b. hálós szerkezeti elemek
33.
Az adatmodell tervezése, vizualizáció
⌫adatmodell-séma ⌫egyed
HALLG
HTFEV HTAN
⌫egyszerű
⌫ciklikus
HALLG
HALLG
Raffai Mária: Rendszermodellezés
34.
Egyed kapcsolat diagram: E-R modell (Entity-Relationship Model) Egyed szimbóluma:
kapcsolat diagram
⌫normalizálás
Raffai Mária: Rendszermodellezés
Kapcsolat 1:N
35.
Raffai Mária: Rendszermodellezés
36.
6
E-R diagram szimbólumok Entity-Relationship
Egyed-Kapcsolat diagram DISZPOZ
1:N egyedtípus
egyedtípus
neve
szimbólum
(önmagába visszamutató)
egyedtípus
TSZ
RAKTAR A
B
egyedtípus
egyedtípus
Kizáró "vagy" kapcsolat
B
félig kötelező kapcs.
1:N
1:N M:1
TERMEK
1:N
Szuper egyedtípus
A
A egyedtípus
egyedtípus egyedtípus Raffai Mária: Rendszermodellezés
SZALLITO
kötelező kapcsolat opcionális kapcsolat
Bennfoglaló kapcsolat
egyedtípus
C
M:1
rekurzív kapcsolat
C
B
C
egyedtípus
egyedtípus
A
B
egyedtípus
egyedtípus
Szub egyedtípusok 37.
RAKTERM
RENDTERM
RR
Raffai Mária: Rendszermodellezés
38.
Adatmodell-séma
Adatmodell-séma szimbólumok
DATUM
UFKOD
"UGYFEL"
Egyed szimbóluma:
M:1
1:N
azonosító(k)
DATUM UFKOD JKOD
"EGYEDT.NÉV"
JKOD
kapcsoló tulajdonságtípus
1:N
"JATEK" M:1
M:N
SZKOD
JKOD SZKOD
1:N
SZKOD
"SZALLITO" Raffai Mária: Rendszermodellezés
39.
A normalizálás iteratív folyamata 1. legalább harmadik normálformára-hozás: 3NF → ez a kivetítés (projection) 2. az egyforma azonosítójú egyedtípusok összevonása → összekapcsolás (join) 3. az 1.-2. lépés ismétlése, amíg hibátlan egyedetek, illetve adatmodellt nem kapunk FONTOS: A modellben nem lehet olyan egyedtípus, amelyik legalább egy másikhoz ne kapcsolódna! Raffai Mária: Rendszermodellezés
M:N
"ERTEK"
1:N
Kapcsolat 1:N
41.
"NAPTAR"
"JATSZAL"
Raffai Mária: Rendszermodellezés
Egyedtípusok
40.
Normalitásvizsgálat, normálformára hozás, egyedtípusok Funkcionális függés, belső szerkezet vizsgálata
Tulajdonságtípusok
Megbontás - Projection 1. egyedtípus
2. egyedtípus
n-1. egyedtípus
n. egyedtípus
Külső szerkezet vizsgálata, esetleg egyedtípusok összevonása - Join
igen Raffai Mária: Rendszermodellezés
vannak összevonható egyedtípusok?
nem
A kész adatmodell 42.
7
Egyedtípus lista
A tervezés eszközei, dokumentáció ⌫egyedtípus
lista ⌫egyedtípus szerkezeti lista a tulajdonságtípusok értelmezésével és jellemzésével ⌫adatszótár ⌫kódjegyzékek és/vagy hivatkozások ⌫mátrixok: tulajdonság-, kapcsolattípus-, egyedtípus-, ⌫diagramok: egyed-kapcsolat-, adatmodellRaffai Mária: Rendszermodellezés séma
EGYEDTÍPUS LISTA
Egyed Egyedtípus azon. neve
Egyedtípus szöveges értelmezése
E1 E2 E3 E4 E5 E6 E7
43.
Terjedelem
Főiskolai hallgatók törzsadatai A hallgatók tanulmányi eredményeinek összessége ÖSZTÖND A hallgatók ösztöndíj adatai Az oktatott tantárgyak adatai TANT OKTATÓ Oktatók személyi törzsadatai A világ országainak kódjai az országok ORSZÁG megnevezésével Városok kód és megnevezés adatai VÁROS HALLG TANER
kb. 5.500 ∼ ∼ ∼ ∼ ∼
12.000 15.000 350 250 300
∼ 4500
Raffai Mária: Rendszermodellezés
Statikus modell 2./a. Dokukód: Változatsz.:
HALLG ⌫a HALLG egyedtípus azon személyek adatait tartalmazza, akik a SZIF nappali tagozatos képzésében vesznek részt. Az egyedtípus a hallgatókra vonatkozó törzsinformációkat (név, születési időpont, hely stb.) tartalmazza. A hallgatót egy erre a célra kialakított törzsszám azonosítja,a várható előfordulások száma: 5500.
44.
EGYEDTÍPUS SZERKEZETI LISTA "A"
Lapszám: Készítette: Dátum:
Egyedtípus azonosítója és neve: E1 - HALLG Tulajdonságtípus TÖRZSSZ HNÉV *ÁLCÍM -OKÓD -VKÓD
45.
Tulajdonságtípus szöveges értelmezése
Az adatszótár gyorsan kereshetően megmutatja, hogy a rendszer milyen adatokat kezel, és hogy ezek mely egyedtípusban találhatók. Elemzési lehetőség: ⌫egyedtípusban el nem helyezett adatok ⌫több egyedtípusban is előforduló adatok
47.
Intervallum
Típusa
A hallgatót azonosító törzsszám, 5 pozí- 00000- Azon. ciós numerikus azonosító 99999 A hallgató neve, 20-50 karakternyi jel---leíró lemző, egy név átlagosan 25-30 kar. ---Állandó lakhely címe adatcsoport: --leíró + Országkód, autójelzéseknél használatos --kapcsoló max. 3 karakteres betűjelzés ---leíró + Város 4 pozíciós numerikus kódja, ld. kapcsoló külön kódrendszer .....sz. melléklet
Raffai Mária: Rendszermodellezés
46.
Adatszótár
Az adatszótár szerkesztésének célja
Raffai Mária: Rendszermodellezés
Lapszám: Készítette: Dátum:
Egyedtípus szerkezeti lista
Egyedtípus értelmezése - példa
Raffai Mária: Rendszermodellezés
Statikus modell 1. Dokukód: Változatsz.:
Statikus modell 3. Dokukód: Változatsz.: tulajdonságtípus kód név A3 BCÍM A2 BNÉV A5 BNO A1 BTSZ A8 GYMÓD A9 GYSZER A4 MHKÓD
Raffai Mária: Rendszermodellezés
ADATSZÓTÁR (statikus szintű) egyedtípusok, amelyekben előfordul E1 E1 E3, E5 E1, E5, E8 E4, E8 E2, E9, E10 E10, E7
Lapszám: Készítette: Dátum: megjegyzés
beteg-törzsszám
48.
8
Egyedtípus mátrix Statikus modell 7. Dokukód: Változatsz.: Egyed
Egyedtípus
azon.
neve
E1 E2 E3 E4 E5
Például: HALLG TANER ÖSZTÖND TANT OKTATÓ
EGYEDTÍPUS MÁTRIX
Viszontlátásra!
Lapszám: Készítette: Dátum:
Egyedtípus azonosítója E1
E2
E3
E4
E5
---
N ---
N -----
--M -----
M ----M ---
....
eij
Raffai Mária: Rendszermodellezés
--- nincs kapcsolat 1 1:1 fokú kapcsolat N 1:n fokú kapcsolat M M:N fokú kapcsolat
49.
Raffai Mária: Rendszermodellezés
50.
9