Zawartość
- Definicja - Co oznacza zależność funkcjonalna?
- Wprowadzenie do Microsoft Azure i Microsoft Cloud | W tym przewodniku dowiesz się, na czym polega przetwarzanie w chmurze i jak Microsoft Azure może pomóc w migracji i prowadzeniu firmy z chmury.
- Techopedia wyjaśnia zależność funkcjonalną
Definicja - Co oznacza zależność funkcjonalna?
Zależność funkcjonalna to relacja, która istnieje, gdy jeden atrybut jednoznacznie określa inny atrybut.
Jeśli R jest relacją z atrybutami X i Y, zależność funkcjonalna między atrybutami jest reprezentowana jako X-> Y, co oznacza, że Y jest funkcjonalnie zależny od X. Tutaj X jest zbiorem wyznaczników, a Y jest atrybutem zależnym. Każda wartość X jest powiązana z dokładnie jedną wartością Y.
Zależność funkcjonalna w bazie danych służy jako ograniczenie między dwoma zestawami atrybutów. Zdefiniowanie zależności funkcjonalnej jest ważną częścią projektowania relacyjnych baz danych i przyczynia się do normalizacji aspektów.
Wprowadzenie do Microsoft Azure i Microsoft Cloud | W tym przewodniku dowiesz się, na czym polega przetwarzanie w chmurze i jak Microsoft Azure może pomóc w migracji i prowadzeniu firmy z chmury.
Techopedia wyjaśnia zależność funkcjonalną
Zależność funkcjonalna jest trywialna, jeśli Y jest podzbiorem X. W tabeli z atrybutami nazwiska pracownika i numeru ubezpieczenia społecznego (SSN), nazwa pracownika jest funkcjonalnie zależna od SSN, ponieważ SSN jest unikalny dla indywidualnych nazwisk. SSN identyfikuje pracownika konkretnie, ale nazwisko pracownika nie może odróżnić SSN, ponieważ więcej niż jeden pracownik może mieć tę samą nazwę.
Zależność funkcjonalna określa normalną postać Boyce-Codda i trzecią postać normalną. Pozwala to zachować zależność między atrybutami, eliminując powtarzanie informacji. Zależność funkcjonalna jest powiązana z kluczem kandydującym, który jednoznacznie identyfikuje krotkę i określa wartość wszystkich innych atrybutów w relacji. W niektórych przypadkach zestawy funkcjonalnie zależne są nieredukowalne, jeśli:
- Zestaw zależności funkcjonalnej po prawej stronie zawiera tylko jeden atrybut
- Zestawu zależności funkcjonalnej po lewej stronie nie można zmniejszyć, ponieważ może to zmienić całą zawartość zestawu
- Zmniejszenie istniejącej zależności funkcjonalnej może zmienić zawartość zestawu
Ważną właściwością zależności funkcjonalnej jest aksjomat Armstronga, który jest wykorzystywany w normalizacji bazy danych. W relacji R z trzema atrybutami (X, Y, Z) aksjomat Armstronga jest prawdą, jeśli spełnione są następujące warunki:
- Aksjomat Transivity: Jeśli X-> Y i Y-> Z, to X-> Z
- Aksjomat zwrotności (właściwość podzbioru): Jeśli Y jest podzbiorem X, to X-> Y
- Aksjomat Augmentacji: Jeśli X-> Y, to XZ-> YZ