This section contains descriptions of the high-level operations on relations.
Most of these operations take sets and/or relations as arguments and produce
sets and or relations as results.
In the following examples, and **z** are arbitrary tuples
and and are arbitrary presburger formulas.

- 6.1 Important warning
- 6.2 Binary relational operations
- 6.3 Unary relational operations
- 6.4 Low level relational operations
- 6.5 Relational functions that return boolean values
- 6.6 Generating code from relations
- 6.7 Avoiding copy overhead
- 6.8 Compressing relations
- 6.9 Reclaiming memory used by Relations

omega@cs.umd.edu