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?