Пятая нормальная форма (5нф).
Определение. Пусть R является отношением A,B,…,Z подмножеством атрибутов R, тогда отношение R удовл завис соед *(A,B,…,Z) тогда и только тогда когда оно равносильно соединению всех своих проекций с подмножествами атрибутов от A до Z. Можно предположить, что отношение R удовл след зависимости соед*(XY,XZ,YZ). Утверждать, что именно так мы пока не можем, так как определение зависимости соединения должно выполнятся для любого состояния отношения R. зависимость соединения является обобщением понятия многозначной зависимости. Согласно определению зависимости соединения теорема Фейджина может быть переформулирована: Отношение R(X,Y,Z) удовл завис соед *(xy,xz) тогда и только тогда когда имеется многозначная зависимость x->->Y|Z. Так как теорема … явл взаимообратной, то ее можно взять в качестве определения многозначной завис. Т.о. многозначная завис явл частным случаем зависимости соединения, то есть если в отношении имеется многозначная завис, то имеется и завис соед. Обратное утверждение неверно.
Опр. Отношение R находится в 5нф тогда и только тогда когда любая зависимость соединения является тривиальной.
Опр. Зависимость соединения *(A…Z) называется тривиальной зависимостью соединения, если выполняется одно из условий: либо все множество атрибутов A…Z содержат потенциальный ключ отношения R, либо одно из множеств атрибутов совпадает со всем множеством атрибутов R.
Семантическое моделирование.
Реальным средством моделирования данных является не формальный метод нормализации отношений, а так называемое семантическое моделирование. В качестве инструмента семантического моделирования используются различные диаграммы сущность связь. Диаграммы сущность связь позволяют использовать наглядные географические обозначения для моделирования сущностей и их взаимосвязей. Различают концептуальные и физические ER диаграммы. Концептуальные диаграммы не учитывают особенности СУБД. Физические диаграммы строятся по концептуальным и представляют собой прообраз конкретной БД. Наиболее часто на практике семантическое моделирование используется на первой стадии проектирования базы данных. При этом в терминах семантической модели производится концептуальная схема базы данных, которая затем вручную преобразуется к реляционной (или какой-либо другой) схеме. Этот процесс выполняется под управлением методик, в которых достаточно четко оговорены все этапы такого преобразования.
37.Основные понятия er-диаграмм.
Сущность
- это класс однотипных объектов, информация
о которых должна быть учтена в модели.
Каждая сущность должна иметь наименование,
выраженное существительным в единственном
числе. Примерами сущностей могут быть
такие классы объектов как "Поставщик",
"Сотрудник", "Накладная".
Каждая сущность в модели изображается
в виде прямоугольника с наименованием.
Экземпляр
сущности
- это конкретный представитель данной
сущности. Например "Сотрудник Иванов".
Экземпляры сущностей должны быть
различимы,
т.е. сущности должны иметь некоторые
свойства, уникальные для каждого
экземпляра этой сущности. Атрибут
сущности
- это именованная характеристика,
являющаяся некоторым свойством сущности.
Наименование атрибута должно быть
выражено существительным в единственном
числе (возможно, с хар-ими прилаг.).
Примерами атрибутов сущности "Сотрудник"
могут быть такие атрибуты как "Табельный
номер", "Фамилия", "Имя",
"Отчество", "Должность",
"Зарплата" и т.п. Ключ
сущности
- это неизбыточный
набор атрибутов, значения которых в
совокупности являются уникальными
для каждого экземпляра сущности.
Неизбыточность заключается в том, что
удаление любого атрибута из ключа
нарушается его уникальность. Связь
- это некоторая ассоциация между двумя
сущностями. Одна сущность может быть
связана с другой сущностью или сама с
собою. Связи позволяют по одной сущности
находить другие сущности, связанные с
нею. Каждая связь имеет два конца и одно
или два наименования. Наименование
обычно выражается в неопределенной
глагольной форме: "иметь",
"принадлежать" и т.п. Каждое из
наименований относится к своему концу
связи.
