REL
Rel Reference
This section is the reference manual for the declarative and modeling language, Rel. It explains the features of the language, describes its underlying logic, and provides examples of different use cases.
List of Rel Reference Articles
The following table lists all the articles you need to understand Rel and how to use it:
| 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?