Википедия
Суперключ — в реляционной модели данных — подмножество атрибутов отношения , удовлетворяющее требованию уникальности: не существует двух кортежей данного отношения, в которых значения этого подмножества атрибутов совпадают .
Суперключ отличается от потенциального ключа тем, что на суперключ не накладывается требование минимальности, или несократимости (это требование означает, что в составе ключа отсутствует меньшее подмножество атрибутов, удовлетворяющее условию уникальности). Вследствие этого в состав суперключа может входить другой, более «компактный» по количеству атрибутов суперключ.
Таким образом, потенциальный ключ может быть определён как суперключ, обладающий свойством минимальности .
Поскольку все кортежи в отношении по определению уникальны, в нём всегда существует хотя бы один суперключ .