next up previous
Next: 3.3 Constraints and arithmetic Up: 3 Relational Expression syntax Previous: 3.1 Relations

3.2 Presburger formula operations

As mentioned above, the tuples belonging to the relation are defined by a Presburger formula. This formula is built from constraints using the operations described in Figure 4.

Figure 4: Presburger formula syntax