WSiP5b

Pełna zależność funkcyjna

Atrybuty B są w pełni funkcyjnie zależne od atrybutów A, jeśli B jest funkcyjnie zależny od A, ale nie jest funkcyjnie zależny od żadnego właściwego podzbioru A. Upraszczając tę definicję: atrybuty B są funkcyjnie zależne od całości atrybutów A, ale nie od części atrybutów A.

A-*- B

Rys. 9.2. Oznaczenie pełnej zależności funkcyjnej (notacja oparta o przedłużoną strzałkę) Przenieśmy teraz tę teorię na obszar baz danych.

Pełna zależność funkcyjna A -* B występuje, gdy po usunięciu jakiegokolwiek atrybutu A zostanie ona utracona. Jeśli istnieje jakikolwiek atrybut A, po którego usunięciu zależność funkcyjna A -* B zostanie zachowana, wtedy jest to jedynie częściowa zależność funkcyjna, a nie pełna.

PRZYKŁAD 9.2

W celu lepszego zobrazowania tego twierdzenia posłużmy się relacją, w której ustalimy dwa założenia:

1.    Przyjmijmy, że mamy tylko czterech lekarzy w szpitalu.

2.    Nigdy nie wystąpią osoby o tych samych imionach i nazwiskach.