10.3. Правила для ключей

10.3.1. Правила для внешних ключей

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

2) Первичный ключ общей сущности мигрирует как первичный ключ для каждой сущности-категории.

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

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

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

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

7. Каждый атрибут внешнего ключа должен соответствовать одному и только одному атрибуту первичного ключа сущности-родителя. Атрибут А соответствует атрибуту В, если А=В или А является прямым или непрямым подтипом В. Атрибут А считается подтипом атрибута В, если А является псевдонимом для атрибута С, и С является подтипом В, или А является подтипом С, и С – псевдоним атрибута В.

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

1) В KB и FA представлениях каждая сущность должна иметь первичный ключ.

2) Сущность может иметь любое количество альтернативных ключей.

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

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

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

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

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

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