We are excited to add a new reference guide to our rapidly growing
documentation. The Rel
Data Types Guide describes the
various built-in data types in Rel along with examples of how they can be used.

The guide shows for each data type:

• how to construct values of that data type,
• how to test if a given value belongs to that type, and
• common operations specific to the data type.

For instance, we can write relations with different data types, and filter on
entries that have specific types:

def R = {1; 0.5; :a; 'C'; "abc"}

def output(x) = R(x) and (Char(x) or Int(x))

A Rel model does not have to specify the types of all relations in advance,
since they are inferred and tracked automatically, but we still have the option
to specify and enforce typed schemas using Integrity Constraints, if we choose
to do so.

For example, we can specify that the relation price always relates an integer
ID with a price that is stored as fixed–decimal with 2 decimals places:

ic price_types_constraint {
subset(price, (Int, FixedDecimal[64, 2]))
}

These constraints can be added, removed or adjusted as your model or knowledge
graph grows.