A negyedik normálforma (4NF) a relációs adatbázis -reláció egyik lehetséges normál formája .
Egy R relációs változó negyedik normál formában van, ha BCNF -ben van, és minden nem triviális többértékű függőség valójában funkcionális függőség [1] a jelölt kulcsaitól .
A meghatározás egyenértékű megfogalmazása a következő:
Az R relációs változó akkor és csak akkor van a negyedik normál alakban, ha ennek az R relációs változónak attribútumainak vannak A és B részhalmazai , amelyekre teljesül egy nem triviális többértékű A ↠ B függés , a reláció összes attribútuma az R változó funkcionálisan is függ A -tól [2] .
Tételezzük fel, hogy az éttermek különböző típusú pizzákat készítenek, és az éttermi házhozszállítás csak a város bizonyos részein működik. A megfelelő relációs változó összetett elsődleges kulcsa három attribútumot tartalmaz: {Étterem, Pizza típusa, Szállítási terület} .
Egy ilyen relációs változó nem felel meg a 4NF-nek, mert létezik a következő többértékű függőség:
Ez azt jelenti, hogy például egy új pizzatípus hozzáadásakor minden szállítási területhez egy új sort kell megadnia. Létezhet egy logikai anomália, amelyben az étterem által kiszolgált területekről csak bizonyos szállítási területek felelnek meg egy bizonyos pizzának.
Az anomália megelőzése érdekében fel kell bontania a kapcsolatot úgy, hogy független tényeket helyez különböző kapcsolatokba. Ebben a példában a következőkre kell bontania: {Étterem, pizza típusa} és {Étterem, szállítási terület} .
Ha azonban az eredeti relációs változóhoz olyan attribútumot adunk, amely funkcionálisan függ a potenciális kulcstól, például a szállítási költséget tartalmazó árat ( {Étterem, Pizza típusa, Szállítási terület} → Ár ), akkor a kapott reláció 4NF-ben lesz, és már nem bontható fel veszteség nélkül .függőségeket ebben az esetben beszúrt függőségeknek nevezzük .
orosz
Átruházható
külföldi
| normál formák | |
|---|---|