Introduction | 4 | ||
1. | Syntax of relational TrafoLa-H | 4 | |
1.1. | Tokens | 4 | |
1.2. | Grammar | 5 | |
1.3. | Binary operators | 7 | |
1.4. | Ambiguities | 8 | |
2. | Semantics of relational TrafoLa-H | 8 | |
2.1. | Values and multi-values | 9 | |
2.2. | Lazy and eager declarations | 11 | |
2.3. | Functions, macros, and application | 12 | |
2.4. | Predefined operations | 13 | |
2.5. | Order of results | 32 | |
3. | Known deficiencies of the language | 33 | |
4. | Updates with respect to version 1.4 | 34 |
Reinhold Heckmann / heckmann@absint.com