BD-2st-1.2-w05.tresc-1.1-Slajd32
Czwarta postać normalna 4NF
Obecnie wprowadzimy definicję czwartej postaci normalnej. Mówimy, że relacja r o schemacie R jest w czwartej postaci normalnej (4NF ) względem zbioru zależności wielowartościowych MVD jeżeli jest ona w 3NF i dla każdej zależności wielowartościowej X ->-> Y ? MVD zależność ta jest trywialna lub X jest nadkluczem schematu.
Jak łatwo zauważyć, przedstawione uprzednio schematy relacji Loty i Języki nie są w 4NF. Przykładowo, schemat relacji Loty nie jest w 4NF gdyż zależność wielowartościowa, np. Lot->->Typ_samolotu nie jest trywialna jak również Lot nie jest nadkluczem schematu Loty. Równie łatwo zauważyć, że schematy relacji Lot-1 i Lot-2, uzyskane w wyniku dekompozycji schematu Loty, są w 4NF gdyż każdy z tych schematów zawiera trywialną zależność wielowartościową. Podobnie jest w przypadku relacji Języki.
