A static, ordered list of key-value pairs.
A relation represents a fixed set of key-value pairs. In many places in a Datalog computation we want to be sure that certain relations are not able to vary (for example, in antijoins).
Convenient alias to retrieve the tuple type.
Merges two relations into their union.
Sorted list of distinct tuples.