O que é uma superchave no modelo relacional?

Resposta

Uma superchave é o subconjunto de atributos de uma relação que atende à restrição de unicidade.

Explicação:
Para qualquer conjunto de atributos A e tuplas t1 e t2 da relação vale: \(t1[A]=t2[A] \Rightarrow t1=t2\).
Se não houver atributo redundante, a superchave é uma chave candidata (ou superchave mínima).