Vincoli d'integrità

In SQL, abbiamo già discusso la specifica di:

• vincoli di obbligatorietà di colonne (NOT NULL)
• vincoli di chiave (UNIQUE e PRIMARY KEY)
• vincoli di integrità referenziale (chiavi esterne, FOREIGN KEY)

SQL mette a disposizione anche altri costrutti per la specifica di generici vincoli di integrità

Nel comando CREATE TABLE è possibile definire

• Vincoli CHECK su colonna
• Vincoli CHECK su relazione

C'è anche la possibilità di definire asserzioni.

I vincoli check ed asserzioni sfruttano il linguaggio di query per definire le condizioni che le tuple devono soddisfare per verificare il vincolo

Vincoli CHECK su colonna

Alla specifica della colonna viene affiancata la parola chiave CHECK seguita da un condizione, cioè un predicato o una combinazione booleana di predicati.

Tale condizione può anche contenere sotto-interrogazioni che fanno riferimento ad altre relazioni

• Esempio

Vincoli CHECK su relazione

Alla definizione di una relazione viene aggiunta la parola chiave CHECK seguita da un predicato o una combinazione booleana di predicati.

La condizione può contenere sotto-interrogazioni che fanno riferimento ad altre tabelle

• Esempio