Chiave

Insieme di attributi che identificano le ennuple di una relazione

Formalmente:

• un insieme $K$ di attributi è superchiave per $r$ se $r$ non contiene due ennuple distinte $t_1$ e $t_2$ con $t_1[K] = t_2[K]$
• $K$ è chiave candidata per $r$ se è una superchiave minimale per $r$ (cioè non contiene un’altra superchiave)

Esistenza delle chiavi

Una relazione non può contenere ennuple distinte ma uguali

Ogni relazione ha come superchiave l’insieme degli attributi su cui è definita, e quindi ha (almeno) una chiave

Importanza delle chiavi

L’esistenza delle chiavi garantisce l’accessibilità a ciascun dato della base di dati

Le chiavi permettono di correlare i dati in relazioni diverse (modello basato su valori)

Chiavi e valori nulli

In presenza di valori nulli i valori della chiave non permettono:

• di identificare le ennuple
• di realizzare facilmente i riferimenti da altre relazioni

La presenza di valori nulli nelle chiavi non deve essere permessa

Chiave primaria

Chiave su cui non sono ammessi nulli

Notazione: sottolineatura