Vincoli di integrità

• Proprietà dei dati che deve essere soddisfatta da un'istanza, perché questa rappresenti una informazione corretta

• È una funzione booleana

• Vincoli su valori (vincoli di dominio)

  • Sesso: {'M';'F';'I'}
  • (Voto≥18) AND (Voto≤30)

• Vincoli di ennupla

  • t[sesso,gravido] : t[gravido]=NULL se t[sesso]='M'
  • (Voto=30) OR NOT (Lode=TRUE)

• Vincoli relazionali

  • definiscono le “regole di validità” nei riferimenti tra relazioni