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

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

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

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

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

 Сущности «Поставка» и «Поставщик» имеют связь (1:*), обязательную со стороны обеих сущностей. Так как сущность «Поставщик» находится со стороны связи «один», то она будет являться главной. Сущность «Поставка» находится со стороны связи «многие», следовательно, она является подчиненной. Таким образом, сущность «Поставщик» предает копию своего первичного ключа, роль которого выполняет атрибут «Код поставщика», в сущность «Поставка» в качестве внешнего ключа.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Определение физических характеристик атрибутов

Физические характеристики атрибутов представлены в таблице 1.

Таблица 1 – Физические характеристики атрибутов

Реализация системы