Путаница с многозначными зависимостями

Я борюсь с концепциями 4NF и многозначных зависимостей (MVD).

Я просматриваю дополнительную книгу к курсу, который я сейчас изучаю, и один из примеров приведен ниже.

В книге указано, что звездочки относятся к уникальному ключу или ключу составного атрибута.

Дано: R(A*,B,C*) и набор {(A,B):R,(B,C):R} удовлетворяет свойству разложения без потерь.

Справедлива ли многозначная зависимость B-››C?
Действительно ли B является уникальным ключом?
Является ли R в 4NF?

Я понимаю декомпозицию без потерь - если вы берете естественное соединение двух наборов выше - вам предоставляется исходный набор данных, то есть в этом случае A, B, C.

Но я просто не могу понять, как взять данную информацию и доказать/подтвердить, что B-››C выполняется или нет.

Я написал своему профессору по электронной почте о своем замешательстве, и он просто сказал мне просмотреть его записи (что я, очевидно, делал много раз), и это ни к чему не привело.


database unique-key database-normalization 3nf bcnf
person SLAYEROFSOULS    schedule 18.11.2014    source источник

Ответы (1)


arrow_upward
0
arrow_downward

Выполняется ли многозначная зависимость B-››C?

Вам рассказали кое-что о MVD. Один из них, вероятно:

Разложение R на (X, Y) и (X, R − Y) является разложением соединения без потерь тогда и только тогда, когда X -> Y выполняется в R.

В вашем случае R – это {A,B,C}, X – это {B}, Y – это {A}, а R - Y = {A, B, C} – {A} = {B, C}. Таким образом, разложение R на (B,A) и (B,C) является разложением соединения без потерь тогда и только тогда, когда в R выполняется {B,A} ->→{B,C}. Но нам дано, что разложение R в (B, A) и (B, C) является декомпозицией соединения без потерь. Таким образом, {B,A} ->› {B,C} выполняется в R.

Является ли B определенно уникальным ключом?

Я не могу понять это.

Возможно, вы пытаетесь сказать, что нам дано, что {A,C} является CK (ключом-кандидатом) R, но могут быть и другие CK, и вы пытаетесь спросить, означает ли декомпозиционность, что {B} также должен быть CK of R. Поищем контрпример. Выберите самый простой пример. Предположим, что R равно {(a,b,c1),(a,b,c2)} = {(a,b)} JOIN {(b,c1),(b,c2)}. Это согласуется с РСК {А,С} и Р МВД {Б,А}->›{В,С}. Но b появляется с c1 и c2, поэтому {B} функционально не определяет все остальные атрибуты, поэтому {B} не является CK R. Таким образом, CK и этот MVD не заставляют {B} быть CK.

Is R in 4NF?

Вам рассказали кое-что о 4NF. Один из них, вероятно, таков:

Таблица находится в 4NF тогда и только тогда, когда для каждой из ее нетривиальных многозначных зависимостей X ->› Y X является суперключом.

МВД {B,A} ->› {B,C} нетривиальна. Но чтобы показать, должен ли R быть в 4НФ или не должен быть в 4НФ, или что мы не можем сказать, вам придется обратиться к возможным наборам нетривиальных MVD, которые могут содержаться в R, и CK, которые может иметь R.

person philipxy    schedule 21.11.2014