Constraint

Mit Constraints (deutsch „Einschränkung“) werden in diversen Programmiersprachen Bedingungen definiert, die zwingend vom Wert einer Variablen erfüllt werden müssen, damit der Wert ins System übernommen werden kann. In Datenbanksystemen finden Constraints rege Anwendung, um den Wertebereich (Domain) eines Skalars einzuschränken und Werte auf deren Zulässigkeit zu überprüfen. In der Programmanalyse verwendet man Constraints bei der Analyse funktionaler Programme.