Klucz, postać normalna

[Afish]

Nadklucz jest to zbiór atrybutów, który zawiera klucz. Każdy klucz jest nadkluczem.

Trochę nieprecyzyjne uwzględniając poprzednie definicje, ale ujdzie. Dla nas interesujące jest to, że jak mamy nadklucz, to możemy próbować go obcinać z atrybutów, aż dojdziemy do klucza.

\(\displaystyle{ AB}\) będzie chyba nadkluczem.

Nadkluczem jest (to już pokazałaś), teraz udowodnij, że nie jest kluczem. Weź wszystkie podzbiory i pokaż, że nie są nadkluczami.

A następnie sprawdź, czy są inne klucze.

[Chimera-1996]

Nie potrafię tego zadania zrobić. Nie mam pojęcia, jak mam to wszystko udowadniać, jak znajdować klucze, nadklucze itd. - po prostu kompletnie tego nie rozumiem... Mógłbyś mi pokazać jak krok po kroku rozwiązywać tego typu zadania (a ja postaram się spróbować zrobić zadanie 2)?

[Afish]

Weź wszystkie podzbiory i pokaż, że nie są nadkluczami.

A następnie sprawdź, czy są inne klucze.

[Chimera-1996]

Podzbiory czyli : \(\displaystyle{ C, D, E, F, G, H}\) ?

Naprawdę nie mam pojęcia, jak mam to zrobić... :/ Nic z tego nie rozumiem. Mógłbyś mi to pokazać na tym zadaniu 1, jak się z takimi zadaniami uporać?

[Afish]

Nie, wszystkie podzbiory \(\displaystyle{ AB}\). Aby pokazać, że coś jest kluczem, musisz pokazać, że żaden podzbiór nie jest nadkluczem, zgodnie z definicją. Wprawdzie w definicji nie jest podane, że chodzi o podzbiory właściwe, ale zakładam, że tak (inaczej miałoby to troszkę mniej sensu).

Zacznij od wypisania podzbiorów \(\displaystyle{ AB}\), następnie dla każdego pokaż, że nie jest nadkluczem, czyli znajdź atrybut niezależny funkcyjnie.

[Chimera-1996]

Nie widzę, jakie tutaj są podzbiory. Nie wiem, jak mam je wypisać, po prostu ich nie widzę :/

[Afish]

Czym jest \(\displaystyle{ AB}\)?

[Chimera-1996]

\(\displaystyle{ AB}\) jest nadkluczem

[Afish]

A nadklucz, jak wiemy z definicji, jest zbiorem atrybutów. Więc wypisz wszystkie podzbiory tego zbioru.

[Chimera-1996]

Czyli to będzie tylko \(\displaystyle{ C}\)

[Afish]

Powiem Ci tak: jeżeli masz dwie kredki, jedną czerwoną, a drugą zieloną, to choćbyś nie wiem jak się nie nawygimnastykowała — niebieskiej kredki tam nie znajdziesz…

Żeby popchnąć ten temat do przodu podpowiem Ci: podzbiorami zbioru \(\displaystyle{ \{A, B\}}\) są zbiory: zbiór pusty, zbiór \(\displaystyle{ \{A\}}\), a wreszcie zbiór \(\displaystyle{ \{B\}}\). Można jeszcze rozważać zbiór \(\displaystyle{ \{A, B\}}\), ale ten pomińmy, bo nie ma co komplikować ponad miarę.

A teraz sprawdź dla każdego z tych trzech wymienionych podzbiorów, czy są one nadkluczami.

[Chimera-1996]

Zbiory \(\displaystyle{ \{A \}}\) i \(\displaystyle{ \{B \}}\) są nadkluczami.

[Afish]

Udowodnij proszę.