Будет ли комбинация этих двух клавиш суперключом, т.е. (a, b) будет суперключем?
Да, он по-прежнему однозначно идентифицирует строки.
Или это будет ключ-кандидат.
Нет, оно больше не будет минимальным.
Мое предположение состоит в том, что это будет суперключ, потому что определение ключа-кандидата указывает на то, что это неприводимый суперключ, и комбинация двух полей a и b может быть уменьшена до a или b. Правильна ли эта логика?
Почти. Да, это будет суперключ, но не потому, что его можно уменьшить. Это был бы суперключ, потому что он уникален.
Каждый ключ-кандидат является суперключем, но не каждый супер-ключ является ключом-кандидатом. Таким образом, {a}
- это и кандидат, и суперключ, {b}
- и кандидат, и суперключ, а {a, b}
- просто суперключ.