Понятие вероятного ключа

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

1. уникальностью, т.е. строки отношения и элементы вероятного ключа находятся во взаимно-однозначном соответствии, или каждый набор элементов вероятного ключа встречается в отношении только один раз;

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

Рассмотрим в качестве примера отношение R:

Различных складов, естественно, меньше, чем различных кортежей в отношении, так как на складе может храниться несколько видов изделий. Аналогично, одно изделие может храниться на нескольких складах. Поэтому ни «Склад», ни «Изделие» по отдельности вероятного ключа не образуют. Вместе они составляют вероятный ключ, поскольку «Адрес» и «Количество» ими однозначно определяются. Если учесть зависимость Склад « Адрес, то появляется еще один вероятный ключ «Адрес, Изделие».

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

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