Crate rudb_bind 

Name, type and overload resolution, subquery binding, and the bound logical plan.

Rank 10 in the layer rule. See xtask/layers.toml and spec/18-package-layout.md.

The binder is the pass that turns what someone wrote into what it means. A parse tree says SELECT x FROM t, and only the binder can say which table t is, which column x is, what type it has, and therefore what the query does. Everything after this point works on the answer rather than on the question: the optimizer never resolves a name and the executor never decides a type.

There are two entry points and the difference between them is what they can return. bind takes a statement that produces rows and gives back a rudb_plan::Plan, which is what an optimizer and an executor want. bind_statement takes any statement and gives back a Bound, which is a plan for a query and a resolved catalog operation for CREATE TABLE, DROP TABLE and INSERT. DDL is not a plan node, for the reason statement.rs gives.

What it does not do yet is every statement outside the implemented set. Each gap is an error naming what was written rather than a silently wrong plan, which is the rule the whole front end follows.

Modules

fold

Working out what an expression comes to, for the places that need the value and not the plan.

Structs

Checks

The CHECK constraints of a table, bound as one query over it.

Conflict

A bound ON CONFLICT, INSERT OR REPLACE or INSERT OR IGNORE.

CreateTable

A bound CREATE TABLE.

CreateView

A bound CREATE VIEW.

DropTable

A bound DROP TABLE or DROP VIEW.

Insert

A bound INSERT.

Parameters

What a prepared statement was handed, by identifier.

Enums

Bound

One statement, bound.

ConflictAction

What happens to a row whose key the table already holds.

Write

What an Insert’s source means for the table.

Functions

bind

Binds a parsed statement against a catalog.

bind_sql

Parses and binds one query, which is the whole front end in one call.

bind_sql_with

Parses and binds one query, with the settings a call to current_setting() reads.

bind_statement

Binds one parsed statement against a catalog.

bind_statement_outlined

Binds one statement the way bind_statement_with does, except that a query reads a Parquet file that could go through a native mirror from its columns and row count alone.

bind_statement_sql

Parses and binds one statement, which is the whole front end in one call.

bind_statement_with

Binds one parsed statement against a catalog, with values for its parameters and its settings.

bind_with

Binds a parsed query against a catalog, with values for its parameters and its settings.