Une contrainte est une condition qui doit être remplie dans un contexte donné. Les contraintes sont généralement utilisées dans les bases de données et les langages de programmation pour détecter les erreurs, garantir la cohérence et l'exactitude des données et appliquer les exigences métier.