Constraints

Constraints

Ein Constraint (engl.: Einschränkung) wird häufig in Programmiersprachen verwendet, um den Wertebereich einer Variablen einzuschränken. Auch in Datenbanksystemen finden Constraints rege Anwendung. In der Programmanalyse verwendet man Constraints bei der Analyse funktionaler Programme.

Inhaltsverzeichnis

Constraints in Programmiersprachen

Constraints helfen dem Compiler und der Laufzeitumgebung, Programmierfehler einfacher zu erkennen. Wenn man zum Beispiel eine Variable Anzahl_der_Personen_im_Aufzug hat, ist anschaulich klar, dass diese Variable keinen negativen Wert haben darf und auch nicht über einer Maximalanzahl liegen darf.

In der Programmiersprache Ada kann das so aussehen:

 type Kapazitaet is range 0..13;
 Anzahl_der_Personen_im_Aufzug : Kapazitaet := 15;

Hier kann der Compiler sofort erkennen, dass ein Programmierfehler vorliegt. Wäre die Variable nicht beschränkt, müsste der Programmierer die Einschränkungen bei jeder Änderung selbst überprüfen.

Siehe auch: Constraintprogrammierung

Constraints in Datenbanksystemen

In Datenbanksystemen funktionieren Constraints prinzipiell genauso. Viele Datenbanksysteme kennen zusätzlich zu den Constraints noch Transaktionen. Die Kombination dieser beiden Konzepte ist sehr mächtig, da spätestens am Ende einer Transaktion alle Constraints überprüft werden. Wenn dabei irgendein Constraint fehlschlägt, werden sämtliche Änderungen an den Daten, die in dieser Transaktion durchgeführt wurden, zurückgenommen, als seien sie nie durchgeführt worden.

Constraints werden in Datenbanksystemem durch Integritätsbedingungen definiert.

Constraints in der Logistik

Ein Constraint wird auch in diesem Fall als Einschränkung für eine durchgeführte Aktion verwendet. Es wird nach Anforderungen oder Requirements und Constraints unterschieden. Bei der Versorgung mit Gütern und Dienstleistungen in der Logistik geben die Constraints z.B. die Einschränkungen an, die bei Zuladung im Bereich Volumen oder Gewicht für bestimmte Lkw gelten.

Constraints in der theoretischen Informatik

In der theoretischen Informatik und speziell in der KI-Forschung werden relationale Aussagen, die freie Variablen enthalten, oft als Constraint bezeichnet. Dann wird eine Variablenbelegung oder "Interpretation" gesucht, die zu einer gegebenen Menge von Constraints passt, d. h. diese simultan erfüllt.

Ein Beispiel: x ist oberhalb von y, y ist rechts von z, z ist oberhalb von x. (Diese Constraintmenge ist nicht erfüllbar.)

Eine Belegung, die alle Constraints erfüllt, wird oft als Modell bezeichnet (siehe Constraint Satisfaction Problem).

Constraints in Und-Oder-Bäumen

In Und-Oder-Bäumen finden sich constraints an den Und-Knoten, hier müssen mehrere Teilziele konjunktiv erfüllt werden, um das Hauptziel zu erfüllen.


Wikimedia Foundation.

Игры ⚽ Поможем написать реферат

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Constraints —   [engl. für Konsistenzbedingungen], Konsistenz …   Universal-Lexikon

  • Constraints accounting — (CA) is an accounting reporting technique, consistent with a process of ongoing improvement (POOGI). It is an implementation of the Theory of Constraints. It is a development of throughput accounting. CA includes: explicit consideration of the… …   Wikipedia

  • constraints — con straint || nt n. restriction; artificial manner, unnatural manner; force …   English contemporary dictionary

  • Theory of constraints — Part of a series of articles on Industry Manufacturing methods Batch production • Job production Continuous production Improvement method …   Wikipedia

  • Conversational constraints theory — Conversational Constraints Theory, developed in Min Sun Kim, attempts to explain how and why certain conversational strategies differ across various cultures and the effects of these differences. It is embedded in the Social Science communication …   Wikipedia

  • Second class constraints — In a constrained Hamiltonian system, a dynamical quantity is second class if its Poisson bracket with at least one constraint is nonvanishing. A constraint that has a nonzero Poisson bracket with at least one other constraint, then, is a second… …   Wikipedia

  • Cognitive Constraints on Compositional Systems — Fred Lerdahl s Cognitive Constraints on Compositional Systems cites Pierre Boulez s Le Marteau sans Maître (1955) as an example of a huge gap between compositional system and cognized result, though he could have illustrated just as well with… …   Wikipedia

  • Theory of Constraints — (TOC) is an overall management philosophy. Dr. Eliyahu M. Goldratt introduced the Theory of constraints in his 1984 book titled The Goal . It is based on the application of scientific principles and logic reasoning to guide human based… …   Wikipedia

  • Theory of Constraints — Trichtermodell zur Illustration des Hauptsatzes der Theory of Constraints: In jeder Wertschöpfungskette gibt es genau ein System das die Leistungsfähigkeit des Ganzen bestimmt ein eindeutiger Engpass. Die Theory of Constraints (TOC, deutsch:… …   Deutsch Wikipedia

  • Thinking processes (Theory of Constraints) — * (This page is about Theory of constraints. Wikipedia also has a List of thought processes.Thinking processes in Eliyahu M. Goldratt s Theory of Constraints, are the five methods to enable the focused improvement of any system (especially… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”