


Cél
A rendszerbeli nem változó adatok logikai szerkezetének leírása.
Tartalom
Változat azonosító, az alábbiak egyike:Tartalmazza az egyed-kapcsolat modellezés grafikus megjelenítését. Részletesebben lásd a logikai adatmodellezésrõl szóló fejezetetben.
- áttekintõ,
- jelenlegi rendszer,
- igényelt rendszer.
Származtatás
A 010. lépésben az áttekintõ logikai adatmodellnél: Projektalapító okirat A 110. lépésben az áttekintõ logikai adatmodellnél: Létezõ rendszerdokumentációk Megvalósíthatósági tanulmány (ha készült) Projektalapító okirat A 110. lépésben az áttekintõ logikai adatfolyam-modellnél: Logikai adatfolyam-modell Igényelt rendszer logikai adatfolyam-modellje A 140. lépésben az jelenlegi logikai adatmodellnél: Felhasználókkal történõ megbeszélés Áttekintõ logikai adatszerkezet A 320. lépésben az igényelt rendszer logikai adatmodelljénél: Jelenlegi logikai adatmodell Felhasználókkal történõ megbeszélés Elemi folyamatok leírásai Követelményjegyzék Választott rendszerszervezési alternatívák A 340. lépésben az igényelt rendszer (normalizált) logikai adatmodelljénél: B/K adatszerkezet Igényelt rendszer logikai adatmodellje A 360. lépésben az igényelt rendszer (kiterjesztett) logikai adatmodelljénél: Igényelt rendszer (normalizált) logikai adatmodellje
Minõség
1. Helyesen használták a változatneveket?2. Minden egyed valóban 'egyed', azaz olyan jelentõséggel bíró valami, melyrõl információt kell tárolni? Van elképzelésünk az elõfordulásairól?
3. Az egyednevek egyesszámban vannak és értelmesek?
4. Minden egyednek egyértelmû azonosítója van?
5. Minden kapcsolat valóban 'kapcsolat'-e, azaz egyedek közötti lényeges összefüggés?
6. A kapcsolatok végei névvel vannak ellátva ? Ki lehet értelmesek olvasni ezeket?
7. Igaz, hogy minden kapcsolat egyedbõl indul ki és egyedbe fut be?
8. Igaz, hogy minden olyan kapcsolat-oldal, mely kizáró jellegü, azonos opcionalitásu?
9. Minden 1:1 kapcsolatot kiszûrtünk ?
10. Minden m:n kapcsolatot kiszürtünk ?
11. A kötelezõ kapcsolatok esetén igaz, hogy a kapcsolat megfelelõ végén mindig van egy példánya az egyednek?
12. Nem felesleges valamelyik kapcsolat?
13. Konzisztens a dokumentáció a logikai adatfolyam-modell elõzõ verziójával?
14. Minden egyed harmadik normálformában van?
Módszer a harmadik normálforma tesztelésére:
- A tesztelt reláció kulcsa(i)nak tetszõleges értéke(i)re igaz-e, hogy pontosan egy értékét határozza meg az összes hozzárendelt adatelemeknek? Ha a válasz NEM, akkor a reláció nincs harmadik normálformában.
- Igaz, hogy minden adatelem direkt módon függ a kulcstól ? Ha a válasz NEM, akkor a reláció nincs harmadik normálformában.
Külsõ feltételek
1. Az áttekintõ logikai adatmodell lehet, hogy nem szükséges, ha megvalósíthatósági tanulmány készült.2. A felhasználók rendelkezésre állása az áttekintõ és jelenlegi rendszer logikai adatmodelljének fejlesztése során.
Hivatkozási pontok
| Logikai adatmodellezés | 010., 020., 110., 140., 320. lépések |
| Relációs adatelemzés | 340. lépés |
| Megvalósíthatósás | 010-040. lépések |
| Adatfolyam-modellezés | 130., 150., 310. lépések |
| Rendszerszervezési alternatívák kialakítása | 210., 220. lépések |
| Funkció meghatározás | 330. lépés |
| Egyed-esemény modellezés | 360., 520. lépések |
| Rendszertechnikai alternatíva kaialakítása | 410., 420. lépések |
| Logikai adatfeldolgozás tervezése | 520., 530. lépések |
| Fizikai folyamattervezés | 610-670. lépések |


