pub enum JoinOperator<X: Extension = NoExt> {
Inner {
straight: bool,
inner: bool,
constraint: JoinConstraint<X>,
meta: Meta,
},
LeftOuter {
outer: bool,
constraint: JoinConstraint<X>,
meta: Meta,
},
RightOuter {
outer: bool,
constraint: JoinConstraint<X>,
meta: Meta,
},
FullOuter {
outer: bool,
constraint: JoinConstraint<X>,
meta: Meta,
},
AsOf {
kind: AsOfJoinKind,
constraint: JoinConstraint<X>,
meta: Meta,
},
Cross {
meta: Meta,
},
Positional {
meta: Meta,
},
Semi {
asof: bool,
side: SemiAntiSide,
constraint: JoinConstraint<X>,
meta: Meta,
},
Anti {
asof: bool,
side: SemiAntiSide,
constraint: JoinConstraint<X>,
meta: Meta,
},
Apply {
kind: ApplyKind,
meta: Meta,
},
}Expand description
The SQL join operator forms represented by the AST.
Variants§
Inner
An [INNER] JOIN — keeps only row pairs that satisfy the constraint.
Fields
straight: boolMySQL STRAIGHT_JOIN: an inner join that additionally forces the
optimizer to read the left table before the right. It is semantically a
plain INNER JOIN, so it is the canonical inner-join shape
carrying this surface tag (a join-order hint) rather than a new operator
variant — mirroring how SetQuantifier::All preserves an explicit ALL.
false is a bare [INNER] JOIN; only MySQL parses the true spelling
(gated by JoinSyntax::straight_join).
inner: boolWhether the redundant INNER keyword was written (INNER JOIN vs a bare
JOIN — the two are exact synonyms). A source-fidelity render replays it; a
target re-spell and the redacted fingerprint drop it. Always false under
straight (STRAIGHT_JOIN is its own keyword, never spelled INNER).
constraint: JoinConstraint<X>The join condition (ON/USING/NATURAL/none); see JoinConstraint.
LeftOuter
A LEFT [OUTER] JOIN — keeps every left row, NULL-padding unmatched right columns.
Fields
outer: boolWhether the redundant OUTER keyword was written (LEFT OUTER JOIN vs a
bare LEFT JOIN). Fidelity only, like Inner::inner.
constraint: JoinConstraint<X>The join condition (ON/USING/NATURAL/none); see JoinConstraint.
RightOuter
A RIGHT [OUTER] JOIN — keeps every right row, NULL-padding unmatched left columns.
Fields
constraint: JoinConstraint<X>The join condition (ON/USING/NATURAL/none); see JoinConstraint.
FullOuter
A FULL [OUTER] JOIN — keeps all rows from both sides, NULL-padding non-matches.
Fields
constraint: JoinConstraint<X>The join condition (ON/USING/NATURAL/none); see JoinConstraint.
AsOf
DuckDB ASOF [INNER|LEFT|RIGHT|FULL [OUTER]] JOIN: an inexact-match temporal
join pairing each left row with the nearest right row under the ON
inequality. A new operator (nearest-match semantics), not a spelling of the
side joins — DuckDB serializes it as an orthogonal ref_type: ASOF on top of
the join_type side, mirrored here as kind. The engine
parse-requires an ON/USING constraint (a bare ASOF JOIN is a syntax
error), so the parser never builds JoinConstraint::None here; the
inequality requirement itself is bind-time (ASOF JOIN … ON a = b parses,
then fails DuckDB’s binder), so an equality constraint still parses. Gated by
JoinSyntax::asof_join.
Fields
kind: AsOfJoinKindWhich side the ASOF join keeps; see AsOfJoinKind.
constraint: JoinConstraint<X>The join condition (ON/USING/NATURAL/none); see JoinConstraint.
Cross
A CROSS JOIN — the unconstrained Cartesian product.
Positional
DuckDB POSITIONAL JOIN: pairs rows by position (first with first, …). Like
Cross it never carries a constraint — the engine
parse-rejects a trailing ON/USING and any side keyword (POSITIONAL LEFT JOIN is a syntax error) — so the variant has no constraint or kind field.
Gated by
JoinSyntax::positional_join.
Semi
DuckDB [ASOF|NATURAL] SEMI JOIN: a semi-join — keeps each left row that has
at least one right match, projecting left columns only. DuckDB serializes it as
a join_type: SEMI (engine-verified on 1.5.4), mutually exclusive with the
INNER/LEFT/RIGHT/FULL sides (LEFT SEMI JOIN is a syntax error), so it
is a new operator rather than a side spelling. It composes only with the
REGULAR, NATURAL (NATURAL SEMI JOIN, carried as
JoinConstraint::Natural) and ASOF (ASOF SEMI JOIN,
asof = true) ref-types — never a side, CROSS, or
POSITIONAL. Like AsOf it parse-requires an ON/USING
constraint (a bare SEMI JOIN is a syntax error) unless NATURAL supplies the
match, so the parser never builds JoinConstraint::None here. ASOF and
NATURAL never co-occur (both engine parse-rejected), so asof: true always
carries an ON/USING constraint.
The side axis records the Spark/Hive/Databricks sided
spelling — LEFT SEMI JOIN / RIGHT SEMI JOIN — as one operator with DuckDB’s
side-less SEMI JOIN rather than a separate variant (the
AsOfJoinKind/ApplyKind axis precedent): all three are the same semi-join,
differing only in whether an explicit side keyword is written and which side’s
rows are tested. The two spellings come from different engine families and are
gated apart — DuckDB’s side-less form by
JoinSyntax::semi_anti_join,
the sided form by
JoinSyntax::sided_semi_anti_join
(DuckDB engine-parse-rejects LEFT SEMI JOIN). The two axes are mutually
exclusive: SemiAntiSide::Left/Right never carry the
DuckDB-only ASOF/NATURAL compositions, so a sided operator always has
asof: false and an ON/USING constraint (Spark requires the qualifier).
Fields
side: SemiAntiSideWhich sided spelling (LEFT/RIGHT/side-less); see SemiAntiSide.
constraint: JoinConstraint<X>The join condition (ON/USING/NATURAL/none); see JoinConstraint.
Anti
DuckDB [ASOF|NATURAL] ANTI JOIN / Spark [LEFT|RIGHT] ANTI JOIN: an anti-join —
keeps each left row with no right match. The Semi counterpart:
identical grammar (DuckDB serializes join_type: ANTI) with the opposite
membership test, so see Semi for the composition, constraint,
asof-flag, and side rules and the two gates.
Fields
side: SemiAntiSideWhich sided spelling (LEFT/RIGHT/side-less); see SemiAntiSide.
constraint: JoinConstraint<X>The join condition (ON/USING/NATURAL/none); see JoinConstraint.
Apply
MSSQL CROSS APPLY / OUTER APPLY: an implicitly-correlated (lateral) join
whose right operand — a derived table (SELECT …) or a table-valued function
call — may reference columns of the left source. Like Cross it
never carries an ON/USING constraint (the correlation is positional, in the
right operand’s own references), so the variant holds no constraint. The
kind axis is the CROSS/OUTER flavour — inner-style vs
left-style row preservation — mirroring how AsOf records its side
on a kind rather than splitting into per-spelling variants: CROSS APPLY and
OUTER APPLY are one grammar production differing only by that keyword. Gated by
JoinSyntax::apply_join.
Trait Implementations§
Source§impl<X: Clone + Extension> Clone for JoinOperator<X>
impl<X: Clone + Extension> Clone for JoinOperator<X>
Source§fn clone(&self) -> JoinOperator<X>
fn clone(&self) -> JoinOperator<X>
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl<'de, X> Deserialize<'de> for JoinOperator<X>where
X: Deserialize<'de> + Extension,
impl<'de, X> Deserialize<'de> for JoinOperator<X>where
X: Deserialize<'de> + Extension,
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
impl<X: Eq + Extension> Eq for JoinOperator<X>
Source§impl<X: Extension + Render> Render for JoinOperator<X>
impl<X: Extension + Render> Render for JoinOperator<X>
Source§fn render(&self, ctx: &RenderCtx<'_>, f: &mut Formatter<'_>) -> Result
fn render(&self, ctx: &RenderCtx<'_>, f: &mut Formatter<'_>) -> Result
Source§fn operand_binding_power(&self) -> Option<BindingPower>
fn operand_binding_power(&self) -> Option<BindingPower>
None (the default) for a self-delimiting node — an atom, call, or
constructor — that never needs parentheses. Read moreSource§impl<X> Serialize for JoinOperator<X>
impl<X> Serialize for JoinOperator<X>
Source§impl<X: Extension> Spanned for JoinOperator<X>
impl<X: Extension> Spanned for JoinOperator<X>
impl<X: PartialEq + Extension> StructuralPartialEq for JoinOperator<X>
Auto Trait Implementations§
impl<X> Freeze for JoinOperator<X>where
X: Freeze,
impl<X> RefUnwindSafe for JoinOperator<X>where
X: RefUnwindSafe,
impl<X> Send for JoinOperator<X>where
X: Send,
impl<X> Sync for JoinOperator<X>where
X: Sync,
impl<X> Unpin for JoinOperator<X>where
X: Unpin,
impl<X> UnsafeUnpin for JoinOperator<X>where
X: UnsafeUnpin,
impl<X> UnwindSafe for JoinOperator<X>where
X: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
Source§impl<T> DynAstExt for T
impl<T> DynAstExt for T
Source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
&dyn Any for downcasting a node back to its concrete type.Source§fn dyn_clone(&self) -> Box<dyn DynAstExt>
fn dyn_clone(&self) -> Box<dyn DynAstExt>
Clone (whose
Self-returning signature cannot go through a vtable).Source§fn dyn_eq(&self, other: &dyn DynAstExt) -> bool
fn dyn_eq(&self, other: &dyn DynAstExt) -> bool
PartialEq (whose &Self argument cannot go through a vtable). Equal
iff other holds the same concrete type and that type deems the values
equal; differently-typed nodes are never equal.