2. Логическая модель данных

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

Родительской является сущность, которая передает копию своего первичного ключа в отношение, представляющее дочернюю сущность для использования в качестве внешнего ключа.

Между сущностями «Категория номера» и «Номер» существует связь (1:М). Так как степень участия в данной связи обязательная с обеих сторон, то в результате будут получены два отношения. В данном случае сущность «Категория номера» будет являться главной, так как находится на стороне связи «один», а сущность «Номер» - подчиненной, так как находится со стороны связи «многие». Значит главная сущность «Категория номера» передает копию своего первичного ключа, которым является атрибут «Код категории», в подчиненную сущность «Номер». Атрибут «Код категории» будет являться внешним ключом сущности «Номер».

Между сущностями «Род занятий» и «Гость» существует связь (1:М). Так как степень участия в данной связи обязательная с обеих сторон, то в результате будут получены два отношения. В данном случае сущность «Род занятий» будет являться главной, так как находится на стороне связи «один», а сущность «Гость» - подчиненной, так как находится со стороны связи «многие». Значит главная сущность «Род занятий» передает копию своего первичного ключа, которым является атрибут «Код рода занятий», в подчиненную сущность «Гость». Атрибут «Код рода занятий» будет являться внешним ключом сущности «Гость».

Между сущностями «Гость» и «Заселение» существует связь (1:М). Так как степень участия в данной связи обязательная с обеих сторон, то в результате будут получены два отношения. В данном случае сущность «Гость» будет являться главной, так как находится на стороне связи «один», а сущность «Заселение» - подчиненной, так как находится со стороны связи «многие». Значит главная сущность «Гость» передает копию своего первичного ключа, которым является атрибут «Номер паспорта», в подчиненную сущность «Заселение». Атрибут «Номер паспорта» будет являться внешним ключом сущности «Заселение».

Между сущностями «Номер» и «Заселение» существует связь (1:М). Так как степень участия в данной связи обязательная с обеих сторон, то в результате будут получены два отношения. В данном случае сущность «Номер» будет являться главной, так как находится на стороне связи «один», а сущность «Заселение» - подчиненной, так как находится со стороны связи «многие». Значит главная сущность «Номер» передает копию своего первичного ключа, которым является атрибут «Номер комнаты», в подчиненную сущность «Заселение». Атрибут «Номер комнаты» будет являться внешним ключом сущности «Заселение».

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

Выполним проверку полученных отношений на соответствие нормальным формам.

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

В данной предметной области все таблицы соответствую первой нормальной форме, так как все значения на пересечении строк и столбцов таблицы элементарные.

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

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

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

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

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

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

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

База данных содержит отношения, не имеющие многозначные зависимости.

Таким образом, отношение соответствует всем четырем нормальным формам.