Module mz_transform::attribute

Derived attributes framework and definitions.

Modules

arity 🔒

Definition and helper structs for the Arity attribute.

non_negative 🔒

Definition and helper structs for the NonNegative attribute.

relation_type 🔒

Definition and helper structs for the RelationType attribute.

subtree_size 🔒

Definition and helper structs for the SubtreeSize attribute.

unique_keys 🔒

Definition and helper structs for the UniqueKeys attribute.

Structs

Arity

Compute the column types of each subtree of a MirRelationExpr from the bottom-up.

AsKey 🔒

Converts an Attribute into a Key that can be looked up in DerivedAttributes

DerivedAttributes

Derives an attribute and any attribute it depends on.

Env

A map that keeps the computed A values for all LocalId bindings in the current environment.

NonNegative

Traverses a MirRelationExpr tree and figures out whether for subtree the sum of all diffs up to a specific time for any record can be a negative value.

RelationType

Compute the column types of each subtree of a MirRelationExpr from the bottom-up.

RequiredAttributes

Builds an DerivedAttributes

SubtreeSize

Compute the number of MirRelationExpr in each subtree in a bottom-up manner.

UniqueKeys

Compute the unique keys of each subtree of a MirRelationExpr from the bottom-up.

Enums

AttributeId 🔒

A topological sort of extant attributes.

EnvTask 🔒

Models an environment maintenence task that needs to be executed after visiting a MirRelationExpr.

Constants

TOTAL_ATTRIBUTES 🔒

Should always be equal to the number of attributes

_IMPL_NUM_FromPrimitive_FOR_AttributeId 🔒

Traits

Attribute

A common interface to be implemented by all derived attributes.

Functions

annotate_plan

Produce an AnnotatedPlan wrapping the given MirRelationExpr along with Attributes derived from the given context configuration.