Module core 

Core unary, binary, and n-ary relation types. Core relation types and algorithms.

Structs

BinaryRelation

Finite binary relation type. A finite binary relation.

FiniteCarrier

Deterministic explicit finite carrier distinct from inferred tuple support. A deterministic explicit finite carrier.

GroupedRelation

Deterministic exact grouping of an n-ary relation. A deterministic exact grouping of an n-ary relation by named key columns.

NaryRelation

Deterministic exact n-ary relation with a named schema. A deterministic exact n-ary relation with a named schema.

UnaryRelation

Finite unary relation type. A finite unary relation.

Enums

NaryRelationError

Errors returned by n-ary relation validation and schema-aware operations. Errors returned by schema-aware n-ary relation operations.