Qu'est-ce que c'est une contrainte d'assertion (CHECK) ?

La contrainte d'assertion (CHECK) peut être spécifiée au niveau d'une colonne ou de la table. L'assertion doit être valide après toute manipulation de données.

Nous n'utiliserons que les spécifications au niveau de la table en tant qu'opération UML.

La contrainte d'assertion s'applique à une ou plusieurs colonnes ; la plupart des systèmes de gestion de bases de données relationnelles, abrégés SGBD-R, offrent une solution de gestion automatisée des clés primaires et de leur obligation de valeur non nulle, d'unicité et de stabilité.

La contrainte d'assertion (CHECK) est visible en tant qu'opération UML stéréotypée <<CHK>> avec ses paramètres.