chiavi e superchiavi

definizione di superchiave

Data una relazione r un insieme K di attributi è superchiave per r se r non contiene due ennuple distinte t1 e t2 con t1[K] = t2[K]

definizione di chiave

Data una relazione r un insieme K di attributi K è chiave per r se è una superchiave minimale ovvero sia è superchiave sia non contiene altre superchiavi al proprio interno.

Ogni relazione proprio per come è definita contiene (almeno) una superchiave che è l’insieme di tutti i suoi attributi.

L’esistenza delle chiavi garantisce l’accessibilità a ciascun dato della base di
dati; le chiavi permettono di correlare i dati in relazioni diverse: ciò è fondamentale, perché il modello relazionale è basato su valori.

definizione di chiave primaria

Una chiave per essere definita chiave primaria non deve ammettere valori nulli.