Рассмотрим следующий набор F функциональных зависимостей на схеме отношений r (A, B, C, D, E, F): - PullRequest
Новая
       38

Рассмотрим следующий набор F функциональных зависимостей на схеме отношений r (A, B, C, D, E, F):

4 голосов
/ 19 февраля 2011

Я безуспешно пытался связаться с моим инструктором, и я действительно хочу понять этот процесс, но независимо от того, сколько я читаю материала, мне кажется, что это не вписывается в мой маленький мозг. Может кто-нибудь помочь мне ответить на следующие вопросы? 

A-->BCD
BC-->DE
B-->D
D-->A

а. Вычислить B +.

Я считаю, что это так. Это кажется правильным?

B + обозначает закрытие B.
B -> D
B + = {BD}
D -> A
B + = {ABD}
A -> BCD
B + = {ABCD}
До н.э. -> DE
B + = {ABCDE}

Все атрибуты отношения могут быть найдены с помощью B. Таким образом, B является первичным ключом отношения.

б. Докажите (используя аксиомы Армстронга), что AF - суперключ.

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

с. Вычислить каноническое покрытие для вышеуказанного набора функциональных зависимостей F; дайте каждый шаг вашего происхождения с объяснением.

d. Дайте 3NF разложение r на основе канонического покрытия.

Ответы [ 3 ]

1 голос
/ 08 февраля 2016

Часть C: каноническое покрытие 

A->BCD, BC->DE, B->D, D->A

  1. Удалить D из BC-> DE

    A-> BCD, BC->E, B-> D, D-> A

  2. Удалить D из A-> BCD

    A-> BC, BC-> E, B-> D, D-> A

  3. Разложить A-> BC

    A-> B, A-> C, BC-> E, B-> D, D-> A

  4. Удалить C из BC-> E

    ?: B-> D-> A-> C => B-> C => B-> BC-> E => B-> E ?: B + :: B-> BD-> ABD-> ABCD-> ABCDE (E является элементом B +) A-> B, A-> C, B-> E, B-> D, D-> A

1 голос
/ 09 апреля 2011

Все атрибуты отношения могут быть найденным Б. Итак, B является основным ключ отношения.

Нет. Если бы B мог определить все атрибуты отношения, B был бы ключом-кандидатом. Может быть более одного ключа-кандидата, и нет формальной причины для идентификации одного ключа-кандидата как «первичного», а других как «вторичного».

Но B не определяет все атрибуты отношения. Это не определяет F.

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

Если говорить неформально, если атрибут не отображается справа от каких-либо функциональных зависимостей, он должен быть частью каждого суперключа. 

r = {ABCDEF}

Чтобы доказать, что AF является суперключом (или ключом-кандидатом), вычислите замыкание AF для отношения R = {ABCDEF}. Используйте те же FD выше.

0 голосов
/ 24 февраля 2014

1, уменьшая каждый FD до единого att справа2 удаления посторонних чисел:

BC -> D уменьшается до B-> D, а BC -> E уменьшается до B-> E, так как C является посторонним в обоих случаях.FD:

A-> B, A-> C, B-> D, B-> E, D-> A

* 1012.1013 *
...