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)

Vincoli, schemi e istanze

I vincoli corrispondono a proprietà del mondo reale modellato dalla base di dati

Interessano a livello di schema (con riferimento cioè a tutte le istanze)

Ad uno schema associamo un insieme di vincoli e consideriamo corrette (valide, ammissibili) solo le istanze che soddisfano tutti i vincoli

Studenti

Matricola Cognome Nome Corso Nascita

Chiavi candidate:

• Matricola
• Cognome, Nome, Nascita

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)