Объяснение модели ER для решения функциональных зависимостей - PullRequest
0 голосов
/ 19 апреля 2020

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

ER Model

Как вы можете видеть выше, у нас есть только имена отношений и ничего кроме этого, и, решая, они каким-то образом приходят к выводу, что

мать, дочь → отец

отец, дочь → мать

мать, сын → отец

отец, сын → мать

А Кроме того, мы можем вывести дополнительные зависимости, чтобы более точно представлять реальный мир:

мать, сын → отец

отец, сын → мать

Чего я здесь не понимаю Вот как мы можем основать наш перевод на функциональных зависимостях, просто взглянув на имена отношений, так как я всегда, когда делал перевод из ER-модели в реляционную модель, я делал это, рассматривая имена атрибутов. Возможно ли, что в этом упражнении что-то не так, или тот, кто поставил задачу, просто пытался приблизить нас к функциональным зависимостям ближе ко мне, как студенту, впервые смотрящему на него (т. Е. Делая его более образовательным)?

1 Ответ

1 голос
/ 20 апреля 2020

TL; DR

Как вы можете видеть выше, у нас есть только имена отношений и ничего больше, кроме этого

Ну, есть несколько строк, каждая с именем и ди git или буквой.

В назначении нет ничего странного. Go к вашему учебнику и выясните, что означает каждый технический термин и элемент графика c. (В частности, вы можете быть сбиты с толку значением «отношения» или метками вашей мощности.) Ниже приводится описание решения.


R в ERM (для модели сущности-отношения) означает « отношения "как в российской ассоциации. Точно так же R в RM (для реляционной модели) использует «отношение» в соответствии со своими связанными значениями в математике как n-арное отношение / ассоциация & как набор кортежей значений, которые участвуют или удовлетворяют такому отношению, которые так связаны / связаны. Но эти «отношения» ER & RM не являются участиями или FK (внешними ключами), которые называются «отношениями» или «отношениями» методами и представлениями, которые утверждают, что являются ER или реляционными, но не являются.

A Диаграмма Чэнь ЭР имеет прямоугольник для каждого типа объекта, ромб для каждого типа отношений и строку для каждого участника. Имя в строке дает атрибут в отношении этого участия. Метка 1 или N в строке дает информацию о количестве элементов для этого участия.

Каждая сущность ER и тип отношения получает представляющее отношение. Отсюда и отношение на коробку, алмаз и ФК на строку. FD (функциональная зависимость) применяется к отношению. Таким образом, мы можем сказать, что FD применяется к отношениям.

Предположительно, отношения / отношения диаграммы выглядят следующим образом:

-- man [son] is the son of man [father] & woman [mother]
isSon(son, father, mother)
-- woman [daughter] is the daughter of man [father] & woman [mother]
isDaughter(daughter, father, mother)

Существует множество стилей методов информационного моделирования, диаграмм и меток мощности. Кажется, что ваша диаграмма - это один из стилей Чэня настоящего ER. Метка кардинальности для участия по типу сущности в типе отношения говорит , сколько сущностей этого типа может участвовать или совместно использовать данный экземпляр / поднабор других типов участников по всем ситуации, которые могут возникнуть. 1 означает ровно один, а N означает один или несколько. Кардинальность n-арных отношений - это последовательность из n таких кардинальностей участия, «X: Y: ...» или «X to Y to ...».

Обратите внимание, что такая последовательность принимает определенный порядок сущностей / атрибутов. Обратите внимание, что для бинарного отношения N: 1 для одного заказа означает 1: N для обратного порядка. (hasMother(child, mother) равно N: 1, когда / iff isMother(mother, child) равно 1: N.) Обратите внимание, что каждый объект / атрибут в X: Y: ... утверждает о «заданном» или «одном данном» поднаборе других. Это «один» не из ярлыка кардинальности. Это от фразы, в которую вставлен ярлык. В частности это не от 1 в двоичном N: 1 или 1: N.

Из ваших строк мы получаем:

isSon
    N sons participate with a given father-mother pair
    1 father participates with a given son-mother pair
    1 mother participates with a given son-father pair
isDaughter
    N daughters participate with a given father-mother pair
    1 father participates with a given daughter-mother pair
    1 mother participates with a given daughter-father pair

(Двоичный X: Y часто небрежно выражается как " X сущностей имеют Y других & Y сущностей имеют X других ". Предполагается, что" данный 1-й появляется вместе с Y другого, а данный 2-й появляется вместе с X другого ". Это выражение не обобщает к n-арным отношениям или X: Y: .... (с указанием, сколько из чего появляется данный n-й объект?) Это небрежное выражение также означает, используя n-ю букву с n-м объектом, «X 1-го появления» с заданным поднабором других & Y второго числа появляются с заданным поднабором остальных ". Что такое n-арная интерпретация Чена для n = 2. Вы можете подумать, что мы могли бы использовать X: Y: ... для означают «данный 1-й появляется с X субтитрами других, а данный 2-й появляется с Y субтитрами других & ...». Однако это оказывается не столь полезным и противоречит нормальному значению двоичного X: Y, принимая это означает, что Y: X обычно означает.) * 103 6 *

Эта особая форма ограничения количества элементов, скорее всего, прямо говорит нам о некоторых FD (функциональных зависимостях), которые сохраняются и не сохраняются в отношениях представления. Наблюдайте линии с 1 и N, параллельными некоторым FD, которые содержат и не держат:

isSon
    {father, mother} → {son} does not hold
    {son, mother} → {father}
    {son, father} → {mother}
isDaughter
    {father, mother} → {daughter} does not hold
    {daughter, mother} → {father}
    {daughter, father} → {mother}

То, что мы можем определить относительно FD в «реальном мире», зависит от того, что мы считаем, что охватывает, и что конкретно означает каждое отношение / отношение - его условие / критерий членства в кортеже - его (характеристика * 1067) *) предикат . Ограничения, включая FK и FD, определяются предикатами и ситуациями / состояниями, которые могут возникнуть. В свою очередь, это зависит от значений слов, используемых в спецификации, включая те, которые выражают предикаты и бизнес-правила.

Если вышеупомянутые предикаты включают биологических сыновей и дочерей, то мы можем разумно ожидать, что данные мощности и также ожидаем, что {son} → {father, mother} & {daughter} → {father, mother}. (Обратите внимание, что эти FD подразумевают вышеупомянутые FD, которые определяют {father} & {mother} и их метки кардинальности.)

Однако для других предикатов и бизнес-правил (согласно каким выражениям express их и какие слова в они имеют в виду) и понятия "реальный мир" у нас могут быть разные FD. Все зависит от того, что конкретно подразумевается под «отцом», «матерью», «сыном» и «дочерью» или, в этом отношении, «мужчиной» и «женщиной», и какие связанные с вами правила вы предполагаете, какие ситуации / состояния могут возникнуть для вашего заявления - брак, развод, усыновление, лишение наследства, воспитание детей, смерть, и т. д. c и только от каких людей вы получаете, когда и т. д., c. Нужно быть действительно ясным.

Но вы не даете четко предикатов или бизнес-правил. (Или легенда для интерпретации вашей диаграммы.) Поэтому трудно сказать, что другие неявные FD могут хранить или не хранить.

Так что в назначении нет ничего странного.

PS Когда вы застряли go в своем учебнике и выясните, что именно означает все, и задайте вопрос о том, где вы впервые застряли, понимая или следуя определенным c определениям, аксиоме / предположению, теореме / факту или алгоритму / методу / процесс / heuristi c. Этот вопрос не от творческого застревания; здесь вы должны механически применить метод в вашем учебнике.

PS Отношение реляционной схемы к ER Диаграмма / кардинальность

...