Минимальное покрытие множества функциональной зависимости

Я проходил условия минимального покрытия набора зависимостей функций.

Здесь упоминается, что правая часть может иметь только один атрибут. Так что {A1A2 → B1B2} невозможно. Он должен быть разделен как {A1A2 → B1, A1A2 → B2}.

Но в СУБД Корта есть условие

Each left side of a functional dependency in Fc is unique. That is, there are no
two dependencies A1 → B1 and A2 → B2 in Fc such that A1 = A2.

Итак, согласно этому {A1A2 → B1, A1A2 → B2} невозможно. Зависимости должны быть объединены как {A1A2 → B1B2}, чтобы избежать повторения.

Уточните, пожалуйста, как правильно.


database relational-database functional-dependencies
person Shashwat    schedule 15.12.2012    source источник

Ответы (1)


arrow_upward
0
arrow_downward

Мне кажется, это разница в обозначениях, и не более того. Эти два набора FD эквивалентны.

  • {A1A2 → B1}

  • {A1A2 → B2}

  • {A1A2 → B1B2}

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

Два разных выражения не влияют на сводимость, покрытие или замыкание, которые являются реальными проблемами при вычислении минимального покрытия. Вы можете возразить, что первая версия, которая имеет не более одного непростого атрибута в правой части, лучше, потому что она ближе к разложению в 6НФ.

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

person Mike Sherrill 'Cat Recall'    schedule 09.02.2013
comment
Это верно. Это зависит от требований. Но я просто хотел узнать, какие примеры я могу рассмотреть в Минимальном Прикрытии по определению. Различаются ли каноническая обложка и минимальная обложка? - person Shashwat; 13.02.2013
comment
Каноническая обложка и минимальная обложка означают одно и то же у всех авторов, которых я читал. Они оба являются минимальным набором FD, которые подразумевают все соответствующие FD. (Вы можете вывести все соответствующие ФД из минимального покрытия.) Я не понимаю вопроса, какие примеры я могу рассматривать в минимальном покрытии по определению? - person Mike Sherrill 'Cat Recall'; 13.02.2013