Co to pytanie oznacza „część”? Niektóre, ale nie wszystkie? Niektóre czy wszystkie? Co przez to rozumiesz?
W definicji częściowej zależności funkcjonalnej słowo „częściowe” oznacza niektóre, ale nie wszystkie.
Sprawdź definicje BCNF. Ten, który wymaga, aby żaden atrybut inny niż główny nie był częściowo funkcjonalnie zależny od jakiegokolwiek klucza, wymaga również innych rzeczy niż napisałeś. Więc twoje „jeśli” nie jest poprawne. Ale jeśli „część” pytania przypisania oznacza „część, ale nie całość”, jak w „częściowo zależnym”, to zgodnie z odpowiednią definicją BCNF relacja nie znajduje się w BCNF.
Wszystkie klucze kandydujące są superkluczami. Ale klucze kandydujące to superklucze, które nie zawierają żadnych mniejszych superkluczy. Superklucze są zaangażowane w inną formę definicji BCNF. Ale jeśli BCNF zostanie naruszony zgodnie z jedną definicją i tym, co wiesz, nie może na to pozwolić inna.
