REL
Rel Reference
The reference manual for the language Rel.
The manual consists of a collection of articles:
Article | Description |
---|---|
Introduction | A brief introduction to the Rel language. |
Values | Basic information about values in Rel. |
Lexical Syntax | Basic vocabulary in Rel. |
Declarations | Declarations in Rel. |
Expressions | Expressions in Rel. |
Higher-Order Definitions | Defining relations that operate on other relations. |
Annotations | Frequently-used annotations that provide additional information to the compiler. |
Specializations | How to make certain values a part of the schema. |
Integrity Constraints | How to formulate integrity constraints. |
Other Topics | Various other topics. |
Data Types | Detailed information about the various data types. |
Keywords and Symbols | All the keywords and symbols. |
Terminology | Important terms used in the reference manual. |
Rel Libraries | A collection of relations for a wide variety of common tasks. |
Was this doc helpful?