CHECK

Cette contrainte permet d’indiquer une expression de vérification qui sera évaluée lors de l’insertion et de la mise à jour (update).

CHECK (expr)

ou

[CONSTRAINT [symbol]] CHECK (expr) 

Exemple

CREATE TABLE t_date
(
  jour INT NOT NULL CHECK (jour <= 31),
  mois INT NOT NULL,
	CONSTRAINT chk_mois CHECK (mois <= 12)
);

CREATE TABLE t_date
(
  jour INT NOT NULL,
  mois INT NOT NULL,
	CONSTRAINT chk_date CHECK (jour <= 31 AND mois <= 12)
);

-- 1
INSERT INTO t_date VALUES (32,11) ;
-- 2
INSERT INTO t_date VALUES (31,13) ;
-- 3
INSERT INTO t_date VALUES (31,12) ;

Dans le cas du champ jour, la contrainte est anonyme et dans le cas du champ mois, la contrainte est nommée.