is less than or equal to one of the entries (i.e., the attribute) of the table .
The constraint holds since is less than or equal to .
Used for modelling variable subscripts in linear constraints [OttossonThorsteinssonHooker99].
- See also
- Arc input(s)
- Arc generator
- Arc arity
- Arc constraint(s)
- Graph property(ies)
- Graph model
Parts (A) and (B) of Figure 5.119.1 respectively show the initial and final graph associated with the Example slot. Since we use the graph property, the unique arc of the final graph is stressed in bold.
Figure 5.119.1. Initial and final graph of the constraint
Since all the attributes of are distinct and because of the first arc constraint the final graph cannot have more than one arc. Therefore we can rewrite to and simplify to .
Figure 5.119.2 depicts the automaton associated with the constraint. Let and respectively be the and the attributes of the unique item of the collection. Let and respectively be the and the attributes of the item of the collection. To each quadruple corresponds a 0-1 signature variable as well as the following signature constraint: .
Figure 5.119.2. Automaton of the constraint
Figure 5.119.3. Hypergraph of the reformulation corresponding to the automaton of the constraint