Logikai adatelemzés

A logikai elemzést a felülről lefelé történő elemzéssel kezdjük. Az adatmodellt E-K diagrammal modellezzük.

Ez egyed-kapcsolat diagramot leképezzük relációs adatbázissémákká.

Résztvevő (UserID, Jelszó, Név, Megye, Település, Utca, Házszám, Telefonszám, Email)
Túravezető (UserID, Jelszó, Név, SzakmaiTapasztalat, Email, Telefonszám)
Túra (Név, Kiírás, Időpont, Nevezési díj, Túravezető.UserID, ÚID)
Útvonal (ÚID, Hossz)
Állomás (ÁID, Név, GPS)
Jelentkezik (Résztvevő.UserID, Túra.Név, Csapat létszám)
Része (ÁID, ÚID)

1NF: Teljesül, mert a leképezés után nem maradtak összetett vagy többértékű
attribútumok.

2NF: Az egyedekből leképezett sémákra triviálisan teljesül, mert minden kulcsuk
egyelemű. A Része sémában is triviálisan teljesül, mert abban nincs másodlagos
attribútum. A Jelentkezik sémában pedig a Csapat létszám nyilvánvalóan csak
teljesen függ a kulcstól. Tehát a sémák 2NF-ben vannak.

3NF: A Résztvevő séma kivételével mindegyik séma 3NF-ban van, mert azokban
mindegyik másodlagos attribútum közvetlenül függ a kulcstól. A Résztvevő séma
viszont a {Megye} → {Település} függés miatt nincs 3NF-ban, ezért az alábbi módon felbontjuk, ezáltal 3NF-ra hozzuk:

Település (Település, Megye)
Résztvevő (UserID, Jelszó, Név, Település, Utca, Házszám, Telefonszám, Email)

Résztvevő (UserID, Jelszó, Név, Település, Utca, Házszám, Telefonszám, Email)
Túravezető (UserID, Jelszó, Név, SzakmaiTapasztalat, Email, Telefonszám)
Túra (Név, Kiírás, Időpont, Nevezési díj, Túravezető.UserID, ÚID)
Útvonal (ÚID, Hossz)
Állomás (ÁID, Név, GPS)
Jelentkezik (Résztvevő.UserID, Túra.Név, Csapat létszám)
Település (Település, Megye)
Része (ÁID, ÚID)