Ис(4). Логическая модель предметной области.

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

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

В зависимости от количества атрибутов, входящих в ключ, различают

Первичный ключ – это атрибут (или группа атрибутов), которые единственным образом идентифицируют каждую строку в таблице.

Альтернативный ключ – это атрибут (или группа атрибутов), несовпадающий с первичным ключом и уникально идентифицирующий экземпляр объекта.

Правила первичных и альтернативных ключей

Каждая сущность должна обладать первичным ключом.

Каждая сущность может обладать любым числом альтернативных ключей.

Первичный или альтернативный ключ может состоять из одного атрибута или комбинации атрибутов.

Отдельный атрибут может быть частью более чем одного ключа, первичного или альтернативного.

Атрибуты, входящие в первичные или альтернативные ключи сущности, могут быть собственными для сущности или наследоваться через отношения. (См. раздел 3.7 "Внешние ключи").

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

Если первичный ключ состоит более чем из одного атрибута, то значение любого неключевого атрибута должно функционально зависеть от всего первичного ключа, т.е. если первичный ключ известен, то известно значение каждого неключевого атрибута, и значение неключевого атрибута не может быть определено с помощью только части первичного ключа (правило полной функциональной зависимости).

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

Теория нормализации основана на теории нормальных форм.

Первая нормальная форма: значения всех атрибутов отношения должны быть атомарными. Вторая н.ф.: отношение находится во 2-ой н.ф.  это отношение находится в 1-ой н.ф. и каждый неключевой атрибут полностью зависит от первичного ключа. Третья н.ф.: отношение находится в 3-ей н.ф.  если оно находится во 2-й н.ф. и каждый атрибут нетранзитивно зависит от первичного ключа.

Типы связей между таблицами: «один к одному» - каждой записи одной таблицы соответствует только одна запись другой таблицы, «один ко многим» - одной записи главной таблицы могут соответствовать несколько записей подчиненной таблицы, «многие к одному» - нескольким записям главной таблицы может соответствовать одна и та же запись подчиненной таблицы, «многие ко многим» - одна запись главной таблицы связана с несколькими записями подчиненной таблицы, а одна запись подчиненной таблицы связана с несколькими записями главной таблицы.