6 Creating New Relations From Old

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

Web Accessibility