Ein Constraint wird häufig in Programmiersprachen verwendet, um den Wertebereich einer Variablen einzuschränken. Auch in Datenbanksystemen finden Constraints ihre Anwendung. In der Programmanalyse verwendet man Constraints bei der Analyse funktionaler Programme.
Links