Реляционные ключи

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

Суперключ (superkey) - атрибут или множество атрибутов, которое единственным образом идентифицирует кортеж данного отношения.

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

Потенциальный ключ - суперключ, который не содержит подмножества, также являющегося суперключом данного отношения.

Потенциальный ключ К для данного отношения R обладает двумя свойствами:

• Уникальность. В каждом кортеже отношения R значение ключа К единст­венным образом идентифицируют этот кортеж.

• Неприводимость. Никакое допустимое подмножество ключа К не обладает свойством уникальности.

Отношение может иметь несколько потенциальных ключей. Например, в отношении КАФЕДРА потенциальными ключами являются Код и Тел.

Если ключ состоит из нескольких атрибутов, то он называется составным ключом. В качестве примера рассмотрим таблицу СТУДЕНТ, в которой приведен список студентов института с указанием номера группы НГ и порядкового номера студента в группе НСтуд. Тогда два атрибута <НГ, НСтуд> будут являться составным ключом для такой таблицы.

Первичный ключ - это потенциальный ключ, который выбран для уникальной идентификации кортежей внутри отношения.

Поскольку отношение не содержит кортежей-дубликатов, всегда можно уникальным образом идентифицировать каждую его строку. Это значит, что отношение всегда имеет первичный ключ. В худшем случае все множество атрибутов может использо­ваться как первичный ключ, но обычно, чтобы различить кортежи, достаточно исполь­зовать несколько меньшее подмножество атрибутов. Потенциальные ключи, которые не выбраны в качестве первичного ключа, называются альтернативными ключами. Если в отношении КАФЕДРА выбрать в качестве первичного ключа атрибут Код, то альтернативными ключами этого отношения будут атрибуты Тел и <Фотография заведующего>.

Внешний ключ - Это атрибут или множество атрибутов внутри отношения, которое соответствует потенциальному ключу некоторого (может быть, того же самого) отношения.

Если некий атрибут присутствует в нескольких отношениях, то его наличие обычно отражает определенную связь между кортежами этих отношений. Например, атрибут Код намеренно включен в отношения КАФЕДРА и ПРЕПОДАВАТЕЛИ для установления связи между сведениями о кафедрах и сведениями о преподавателях, которые работают на каждой кафедре. В отношении ПРЕПОДАВАТЕЛИ атрибут <Код кафедры> является внешним ключом. В таком случае говорят, что атрибут <Код кафедры> в отношении ПРЕПОДАВАТЕЛИ ссылается на первичный ключ, т.е. на атрибут Код, в базовом отношении КАФЕДРА. (Базовое отношение иногда называют целевым отношением).