Гарантирует ли минимальность суперключа, что это ключ-кандидат?

Определите ключи-кандидаты и суперключи отношения R(ABCDEF) с FD: AEF → C, BF → C, EF → D и ACDE → F.

Это задача из моей книги. В книге утверждается, что ключами-кандидатами являются ABCDE и ABEF. Насколько я понимаю, ключ-кандидат — это минимальный суперключ, а тест на замыкание в ABEF отлично фиксирует отношение R. Поскольку ABEF более «минимален», чем ABCDE, я бы сказал, что единственный ключ-кандидат на самом деле — это только ABEF. Я допускаю, что ABCDE является суперключом, но не ключом-кандидатом. Может кто-нибудь объяснить, почему я здесь не прав? Или возможно, что книга неверна?


database functional-dependencies database-theory
person Xiagua    schedule 04.03.2016    source источник

Ответы (1)


arrow_upward
3
arrow_downward

«Минимальный суперключ» не означает суперключ с минимальным количеством атрибутов среди всех остальных (супер)ключей, а такой (супер)ключ, что при удалении из него любого атрибута теряется свойство быть ключом, то есть определять все атрибуты отношения. Например, в вашем случае

ABCDE+ = {ABCDEF}

but:

ABCD+ = ABCD
ABCE+ = ABCE
ABDE+ = ABDE
ACDE+ = ACDEF
BCDE+ = BCDE

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

person Renzo    schedule 04.03.2016