BD-2st-1.2-w05.tresc-1.1-Slajd14
Druga postać normalna 2NF (1)
Łatwo zauważyć, że 1NF nie rozwiązuje problemu anomalii wymienionych wcześniej. Przejdziemy zatem do przedstawienia definicji drugiej postaci normalnej (2NF). W tym celu wprowadzimy definicje pełnej i częściowej zależności funkcyjnej.
Zbiór atrybutów Y jest w pełni funkcyjnie zależny od zbioru atrybutów X w schemacie R , jeżeli X -> Y i nie istnieje podzbiór X ’ zbioru X taki, że X ’ -> Y .
Zbiór atrybutów Y jest częściowo funkcyjnie zależny od zbioru atrybutów X w schemacie R , jeżeli X -> Y i istnieje podzbiór X ’ zbioru X taki, że X ’ -> Y .
Możemy obecnie wprowadzić definicję drugiej postaci normalnej. Mówimy, że dana relacja r o schemacie R jest w drugiej postaci normalnej (2NF), jeżeli żaden atrybut wtórny tej relacji nie jest częściowo funkcyjnie zależny od żadnego z kluczy relacji r .