Rel Concepts

Introduces the concept of an "installed source", which is a set of definitions that persist as part of the database. These installed definitions can be reused later in queries, or as building blocks for larger models.

Introduces integrity constraints in Rel. Integrity constraints ensure that data integrity is not affected by data insertion, updates, and other processes.

Introduces the Rel module syntax, where relations can be grouped together as modules, which can be parameterized, combined, and even be used as parameters to other modules.

Describes how to define your own types in Rel.

Explains recursive logic and how to write recursively defined relations.

Describes how to use relations to model data.

Introduces Rel's support for entities, which are objects that exist independently of their representation in the database, and can be uniquely identified. An entity can be a concrete object, such as a car or a person, or more abstract, such as an organization.

Describes how to persist and update data in a RAI database using the Rel language.