Методические указания к дипломному проектированию для специальности 220400 "Программное обеспечение вычислительной техники и автоматизированных систем". Белоусова В.В - 71 стр.

ся в качестве первичного ключа, а остальные – как альтернативные
ключи.
    Первичный ключ - это атрибут или набор атрибутов, уникально
идентифицирующий экземпляр сущности.
    Помимо того факта, что ключ обязан однозначно идентифицировать
сущность, все атрибуты ключа должны удовлетворять однозначной
идентификации ( Правило Наименьшего ключа ). Таким образом, при
определении, должен ли наследуемый атрибут быть частью ключа, во-
просом является – необходим ли этот атрибут для однозначной иденти-
фикации. Однозначной идентификации родителя при этом недостаточ-
но.
    Существуют два правила зависимости: Правило Полной Функцио-
нальной Зависимости, утверждающее, что первичный ключ состоит из
множества атрибутов, все неключевые атрибуты должны функциональ-
но зависеть от всего первичного ключа.
    Правило Нетранзитивной Зависимости, утверждающее, что каждый
неключевой атрибут должен функционально зависеть только от ключе-
вых атрибутов.
    Кроме того, ни одна из частей ключа не может быть NULL, не за-
полненной или отсутствующей.
    Если несколько наборов атрибутов могут уникально идентифициро-
вать сущность, то выбор одного из них осуществляется разработчиком
на основании анализа предметной области.
Правила, по которым вы выбираете первичный ключ из списка предпо-
лагаемых ключей, могут быть следующими:
    - уникальным образом идентифицировать экземпляр сущности;
    - не использовать null значений;
    - не изменяться со временем. Экземпляр идентифицируется с по-
       мощью ключа. При изменении ключа соответственно меняется
       экземпляр;
    - быть как можно более короткими для использования индексиро-
       вания и получения данных. Если вам нужно использовать ключ,
       являющимся комбинацией ключей из других сущностей, убеди-
       тесь в том, что каждая из частей ключа соответствует правилам.

   Сущности, как правило, соответствует таблица в реальной СУБД.
   Сущность является независимой, если каждый экземпляр сущности
может быть однозначно идентифицирован без определения его отноше-
ний с другими сущностями (сущность Служащий на рисунке Л.2).