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.Chimera-1996 pisze:Nadklucz jest to zbiór atrybutów, który zawiera klucz. Każdy klucz jest nadkluczem.
Nadkluczem jest (to już pokazałaś), teraz udowodnij, że nie jest kluczem. Weź wszystkie podzbiory i pokaż, że nie są nadkluczami.Chimera-1996 pisze:\(\displaystyle{ AB}\) będzie chyba nadkluczem.
A następnie sprawdź, czy są inne klucze.