@quereus/quereus 3.2.1 → 4.0.0

package/dist/src/planner/nodes/lens-auxiliary-access-node.d.ts

@@ -0,0 +1,104 @@
+import { PlanNode, type RelationalPlanNode, type UnaryRelationalNode, type Attribute, type PhysicalProperties } from './plan-node.js';
+import type { RelationType, ScalarType } from '../../common/datatype.js';
+import { PlanNodeType } from './plan-node-type.js';
+import type { Scope } from '../scopes/scope.js';
+import type { AccessForm, MappingAdvertisement } from '../../vtab/mapping-advertisement.js';
+/**
+ * One side of the logical-PK join-back (D4): the marker source's output
+ * attribute paired with the auxiliary scan's aligned key attribute. The
+ * `columnIndex` is the position of the attribute in its own relation's output
+ * (for building a {@link ColumnReferenceNode}); `type` is its scalar type.
+ */
+export interface AuxJoinPair {
+    /** Marker-source (logical view body) PK attribute. */
+    readonly logicalPk: {
+        readonly attrId: number;
+        readonly columnIndex: number;
+        readonly type: ScalarType;
+    };
+    /** Auxiliary-scan key attribute aligned positionally to {@link logicalPk}. */
+    readonly auxKey: {
+        readonly attrId: number;
+        readonly columnIndex: number;
+        readonly type: ScalarType;
+    };
+}
+/**
+ * An advertised access column the auxiliary serves: its logical column name, the
+ * marker-source (logical) output attribute the predicate references, and the
+ * auxiliary-scan attribute the predicate is rewritten to point at (D3 — the
+ * auxiliary's own backing basis column, so the auxiliary's module sees the
+ * predicate over its own column).
+ */
+export interface AuxAccessColumn {
+    readonly logicalColumn: string;
+    readonly logicalAttrId: number;
+    readonly auxRef: {
+        readonly attrId: number;
+        readonly columnIndex: number;
+        readonly type: ScalarType;
+    };
+}
+/**
+ * A single routable auxiliary-access structure, fully resolved at build time
+ * (where the {@link PlanningContext} is in hand) so the rewrite rule has every
+ * attribute id / column index it needs without re-resolving the catalog.
+ */
+export interface RoutableAuxiliary {
+    readonly advertisement: MappingAdvertisement;
+    /**
+     * A scan over the auxiliary's single backing member relation (a
+     * `RetrieveNode` from `buildTableReference`, with its own fresh attribute
+     * ids). The rewrite rule pushes the column-rewritten predicate onto this
+     * scan and semi-joins it back to the logical body on the logical key.
+     */
+    readonly auxScan: RelationalPlanNode;
+    /** Logical-PK ↔ auxiliary-key join pairs, in logical-PK order (D4). */
+    readonly joinPairs: readonly AuxJoinPair[];
+    /** Every advertised access column locatable on both the logical body and the auxiliary scan. */
+    readonly accessColumns: readonly AuxAccessColumn[];
+    /** The advertised served entries (columns + forms) — the form-matcher's input. */
+    readonly served: readonly {
+        readonly columns: readonly string[];
+        readonly forms: readonly AccessForm[];
+    }[];
+}
+/**
+ * A unary pass-through marker wired around an inlined **lens** view body that
+ * carries the table's routable auxiliary-access advertisements (nd-tree spatial,
+ * vector knn, full-text, …) to the read-path-selection optimizer rule
+ * (`rule-lens-auxiliary-access`). See `docs/lens.md` § "The module mapping
+ * advertisement" and the design ticket `lens-access-shape-path-selection`.
+ *
+ * Modeled exactly on {@link AssertedKeysNode}: column shape and attribute IDs are
+ * the source's (pass-through `getType` / `getAttributes`), `computePhysical`
+ * passes every child physical property through unchanged, and the emitter
+ * (`runtime/emit/lens-auxiliary-access.ts`) emits the source directly — so when
+ * no predicate routes (the degrade case, D5) the node vanishes at runtime with
+ * zero cost, exactly like `emitAlias` / `emitAssertedKeys`.
+ *
+ * The build site (`planner/building/lens-auxiliary-access.ts`, called from
+ * `planner/building/select.ts`) only inlines the node when ≥1 auxiliary is
+ * routable; the optimizer rule consumes it (replacing it with an auxiliary-seek
+ * ⋈ logical-key semi-join) when the outer query's `WHERE` matches an advertised
+ * form, and otherwise leaves it as a transparent pass-through.
+ */
+export declare class LensAuxiliaryAccessNode extends PlanNode implements UnaryRelationalNode {
+    readonly source: RelationalPlanNode;
+    /** The routable auxiliaries, resolved at build time. Non-empty by construction. */
+    readonly routables: readonly RoutableAuxiliary[];
+    readonly nodeType = PlanNodeType.LensAuxiliaryAccess;
+    constructor(scope: Scope, source: RelationalPlanNode, 
+    /** The routable auxiliaries, resolved at build time. Non-empty by construction. */
+    routables: readonly RoutableAuxiliary[]);
+    getType(): RelationType;
+    getAttributes(): readonly Attribute[];
+    getChildren(): readonly [RelationalPlanNode];
+    getRelations(): readonly [RelationalPlanNode];
+    get estimatedRows(): number | undefined;
+    computePhysical(childrenPhysical: PhysicalProperties[]): Partial<PhysicalProperties>;
+    withChildren(newChildren: readonly PlanNode[]): PlanNode;
+    toString(): string;
+    getLogicalAttributes(): Record<string, unknown>;
+}
+//# sourceMappingURL=lens-auxiliary-access-node.d.ts.map

package/dist/src/planner/nodes/lens-auxiliary-access-node.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lens-auxiliary-access-node.d.ts","sourceRoot":"","sources":["../../../../src/planner/nodes/lens-auxiliary-access-node.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,KAAK,kBAAkB,EAAE,KAAK,mBAAmB,EAAE,KAAK,SAAS,EAAE,KAAK,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACtI,OAAO,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACzE,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAE5F;;;;;GAKG;AACH,MAAM,WAAW,WAAW;IAC3B,sDAAsD;IACtD,QAAQ,CAAC,SAAS,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;KAAE,CAAC;IACzG,8EAA8E;IAC9E,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;KAAE,CAAC;CACtG;AAED;;;;;;GAMG;AACH,MAAM,WAAW,eAAe;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;KAAE,CAAC;CACtG;AAED;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IACjC,QAAQ,CAAC,aAAa,EAAE,oBAAoB,CAAC;IAC7C;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,EAAE,kBAAkB,CAAC;IACrC,uEAAuE;IACvE,QAAQ,CAAC,SAAS,EAAE,SAAS,WAAW,EAAE,CAAC;IAC3C,gGAAgG;IAChG,QAAQ,CAAC,aAAa,EAAE,SAAS,eAAe,EAAE,CAAC;IACnD,kFAAkF;IAClF,QAAQ,CAAC,MAAM,EAAE,SAAS;QAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAA;KAAE,EAAE,CAAC;CAC3G;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,qBAAa,uBAAwB,SAAQ,QAAS,YAAW,mBAAmB;aAKlE,MAAM,EAAE,kBAAkB;IAC1C,mFAAmF;aACnE,SAAS,EAAE,SAAS,iBAAiB,EAAE;IANxD,SAAkB,QAAQ,oCAAoC;gBAG7D,KAAK,EAAE,KAAK,EACI,MAAM,EAAE,kBAAkB;IAC1C,mFAAmF;IACnE,SAAS,EAAE,SAAS,iBAAiB,EAAE;IAKxD,OAAO,IAAI,YAAY;IAIvB,aAAa,IAAI,SAAS,SAAS,EAAE;IAIrC,WAAW,IAAI,SAAS,CAAC,kBAAkB,CAAC;IAI5C,YAAY,IAAI,SAAS,CAAC,kBAAkB,CAAC;IAI7C,IAAI,aAAa,IAAI,MAAM,GAAG,SAAS,CAEtC;IAED,eAAe,CAAC,gBAAgB,EAAE,kBAAkB,EAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAoBpF,YAAY,CAAC,WAAW,EAAE,SAAS,QAAQ,EAAE,GAAG,QAAQ;IAiB/C,QAAQ,IAAI,MAAM;IAIlB,oBAAoB,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CASxD"}

package/dist/src/planner/nodes/lens-auxiliary-access-node.js

@@ -0,0 +1,91 @@
+import { PlanNode } from './plan-node.js';
+import { PlanNodeType } from './plan-node-type.js';
+/**
+ * A unary pass-through marker wired around an inlined **lens** view body that
+ * carries the table's routable auxiliary-access advertisements (nd-tree spatial,
+ * vector knn, full-text, …) to the read-path-selection optimizer rule
+ * (`rule-lens-auxiliary-access`). See `docs/lens.md` § "The module mapping
+ * advertisement" and the design ticket `lens-access-shape-path-selection`.
+ *
+ * Modeled exactly on {@link AssertedKeysNode}: column shape and attribute IDs are
+ * the source's (pass-through `getType` / `getAttributes`), `computePhysical`
+ * passes every child physical property through unchanged, and the emitter
+ * (`runtime/emit/lens-auxiliary-access.ts`) emits the source directly — so when
+ * no predicate routes (the degrade case, D5) the node vanishes at runtime with
+ * zero cost, exactly like `emitAlias` / `emitAssertedKeys`.
+ *
+ * The build site (`planner/building/lens-auxiliary-access.ts`, called from
+ * `planner/building/select.ts`) only inlines the node when ≥1 auxiliary is
+ * routable; the optimizer rule consumes it (replacing it with an auxiliary-seek
+ * ⋈ logical-key semi-join) when the outer query's `WHERE` matches an advertised
+ * form, and otherwise leaves it as a transparent pass-through.
+ */
+export class LensAuxiliaryAccessNode extends PlanNode {
+    source;
+    routables;
+    nodeType = PlanNodeType.LensAuxiliaryAccess;
+    constructor(scope, source, 
+    /** The routable auxiliaries, resolved at build time. Non-empty by construction. */
+    routables) {
+        super(scope, source.estimatedCost);
+        this.source = source;
+        this.routables = routables;
+    }
+    getType() {
+        return this.source.getType();
+    }
+    getAttributes() {
+        return this.source.getAttributes();
+    }
+    getChildren() {
+        return [this.source];
+    }
+    getRelations() {
+        return [this.source];
+    }
+    get estimatedRows() {
+        return this.source.estimatedRows;
+    }
+    computePhysical(childrenPhysical) {
+        const src = childrenPhysical[0];
+        if (!src)
+            return {};
+        // Pure pass-through of every physical property (attribute IDs preserved),
+        // exactly like AssertedKeysNode / AliasNode — the marker carries no rows.
+        return {
+            estimatedRows: this.source.estimatedRows,
+            ordering: src.ordering,
+            monotonicOn: src.monotonicOn,
+            fds: src.fds,
+            equivClasses: src.equivClasses,
+            constantBindings: src.constantBindings,
+            domainConstraints: src.domainConstraints,
+            inds: src.inds,
+            updateLineage: src.updateLineage,
+            attributeDefaults: src.attributeDefaults,
+        };
+    }
+    withChildren(newChildren) {
+        if (newChildren.length !== 1) {
+            throw new Error(`LensAuxiliaryAccessNode expects 1 child, got ${newChildren.length}`);
+        }
+        const [newSource] = newChildren;
+        if (newSource === this.source) {
+            return this;
+        }
+        return new LensAuxiliaryAccessNode(this.scope, newSource, this.routables);
+    }
+    toString() {
+        return `LENS AUX ACCESS (${this.routables.length})`;
+    }
+    getLogicalAttributes() {
+        return {
+            auxiliaries: this.routables.map(r => ({
+                id: r.advertisement.id,
+                forms: [...new Set(r.served.flatMap(s => s.forms))],
+                accessColumns: r.accessColumns.map(c => c.logicalColumn),
+            })),
+        };
+    }
+}
+//# sourceMappingURL=lens-auxiliary-access-node.js.map

package/dist/src/planner/nodes/lens-auxiliary-access-node.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lens-auxiliary-access-node.js","sourceRoot":"","sources":["../../../../src/planner/nodes/lens-auxiliary-access-node.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAA8F,MAAM,gBAAgB,CAAC;AAEtI,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAoDnD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,OAAO,uBAAwB,SAAQ,QAAQ;IAKnC;IAEA;IANC,QAAQ,GAAG,YAAY,CAAC,mBAAmB,CAAC;IAE9D,YACC,KAAY,EACI,MAA0B;IAC1C,mFAAmF;IACnE,SAAuC;QAEvD,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;QAJnB,WAAM,GAAN,MAAM,CAAoB;QAE1B,cAAS,GAAT,SAAS,CAA8B;IAGxD,CAAC;IAED,OAAO;QACN,OAAO,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;IAC9B,CAAC;IAED,aAAa;QACZ,OAAO,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;IACpC,CAAC;IAED,WAAW;QACV,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtB,CAAC;IAED,YAAY;QACX,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtB,CAAC;IAED,IAAI,aAAa;QAChB,OAAO,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC;IAClC,CAAC;IAED,eAAe,CAAC,gBAAsC;QACrD,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,CAAC,GAAG;YAAE,OAAO,EAAE,CAAC;QAEpB,0EAA0E;QAC1E,0EAA0E;QAC1E,OAAO;YACN,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC,aAAa;YACxC,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,WAAW,EAAE,GAAG,CAAC,WAAW;YAC5B,GAAG,EAAE,GAAG,CAAC,GAAG;YACZ,YAAY,EAAE,GAAG,CAAC,YAAY;YAC9B,gBAAgB,EAAE,GAAG,CAAC,gBAAgB;YACtC,iBAAiB,EAAE,GAAG,CAAC,iBAAiB;YACxC,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,aAAa,EAAE,GAAG,CAAC,aAAa;YAChC,iBAAiB,EAAE,GAAG,CAAC,iBAAiB;SACxC,CAAC;IACH,CAAC;IAED,YAAY,CAAC,WAAgC;QAC5C,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,gDAAgD,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC;QACvF,CAAC;QAED,MAAM,CAAC,SAAS,CAAC,GAAG,WAAW,CAAC;QAChC,IAAI,SAAS,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC;QACb,CAAC;QAED,OAAO,IAAI,uBAAuB,CACjC,IAAI,CAAC,KAAK,EACV,SAA+B,EAC/B,IAAI,CAAC,SAAS,CACd,CAAC;IACH,CAAC;IAEQ,QAAQ;QAChB,OAAO,oBAAoB,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;IACrD,CAAC;IAEQ,oBAAoB;QAC5B,OAAO;YACN,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACrC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE;gBACtB,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;gBACnD,aAAa,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC;aACxD,CAAC,CAAC;SACH,CAAC;IACH,CAAC;CACD"}

package/dist/src/planner/nodes/limit-offset.d.ts

@@ -19,6 +19,18 @@ export declare class LimitOffsetNode extends PlanNode implements UnaryRelational
     getAttributes(): readonly Attribute[];
     getChildren(): readonly PlanNode[];
     getRelations(): readonly [RelationalPlanNode];
+    /**
+     * Resolve the LIMIT expression to a compile-time-constant numeric value, or
+     * `undefined` when it is not a known constant. Peels `CastNode`/`CollateNode`
+     * to find a `LiteralNode`, mirroring `literalSqlValueOf` in `fd-utils.ts`.
+     *
+     * `Number(value)` coercion matches the emitter (`runtime/emit/limit-offset.ts`).
+     * A literal NULL means "no limit" (the emitter treats it as `Infinity`), so it
+     * is reported as non-constant. A non-finite / non-numeric literal is likewise
+     * not constant-known. A parameter / expression / subquery limit stays
+     * undefined — those are unknown at plan time.
+     */
+    private constantLimit;
     get estimatedRows(): number | undefined;
     computePhysical(childrenPhysical: PhysicalProperties[]): Partial<PhysicalProperties>;
     toString(): string;

package/dist/src/planner/nodes/limit-offset.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"limit-offset.d.ts","sourceRoot":"","sources":["../../../../src/planner/nodes/limit-offset.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,KAAK,kBAAkB,EAAE,KAAK,mBAAmB,EAAE,KAAK,cAAc,EAAE,KAAK,SAAS,EAAoB,KAAK,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAC7K,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAIhD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAEpE;;;GAGG;AACH,qBAAa,eAAgB,SAAQ,QAAS,YAAW,mBAAmB,EAAE,YAAY;aAKxE,MAAM,EAAE,kBAAkB;aAC1B,KAAK,EAAE,cAAc,GAAG,SAAS;aACjC,MAAM,EAAE,cAAc,GAAG,SAAS;IANnD,SAAkB,QAAQ,4BAA4B;gBAGrD,KAAK,EAAE,KAAK,EACI,MAAM,EAAE,kBAAkB,EAC1B,KAAK,EAAE,cAAc,GAAG,SAAS,EACjC,MAAM,EAAE,cAAc,GAAG,SAAS,EAClD,qBAAqB,CAAC,EAAE,MAAM;IAQ/B,kBAAkB,IAAI,cAAc,GAAG,SAAS;IAIhD,mBAAmB,IAAI,cAAc,GAAG,SAAS;IAIjD,OAAO,IAAI,YAAY;IAKvB,aAAa,IAAI,SAAS,SAAS,EAAE;IAKrC,WAAW,IAAI,SAAS,QAAQ,EAAE;IAOlC,YAAY,IAAI,SAAS,CAAC,kBAAkB,CAAC;IAI7C,IAAI,aAAa,IAAI,MAAM,GAAG,SAAS,CAUtC;IAED,eAAe,CAAC,gBAAgB,EAAE,kBAAkB,EAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAgB3E,QAAQ,IAAI,MAAM;IAOlB,oBAAoB,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAcxD,YAAY,CAAC,WAAW,EAAE,SAAS,QAAQ,EAAE,GAAG,QAAQ;CA2CxD"}
+{"version":3,"file":"limit-offset.d.ts","sourceRoot":"","sources":["../../../../src/planner/nodes/limit-offset.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,KAAK,kBAAkB,EAAE,KAAK,mBAAmB,EAAE,KAAK,cAAc,EAAE,KAAK,SAAS,EAAoB,KAAK,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAC7K,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAIhD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAIpE;;;GAGG;AACH,qBAAa,eAAgB,SAAQ,QAAS,YAAW,mBAAmB,EAAE,YAAY;aAKxE,MAAM,EAAE,kBAAkB;aAC1B,KAAK,EAAE,cAAc,GAAG,SAAS;aACjC,MAAM,EAAE,cAAc,GAAG,SAAS;IANnD,SAAkB,QAAQ,4BAA4B;gBAGrD,KAAK,EAAE,KAAK,EACI,MAAM,EAAE,kBAAkB,EAC1B,KAAK,EAAE,cAAc,GAAG,SAAS,EACjC,MAAM,EAAE,cAAc,GAAG,SAAS,EAClD,qBAAqB,CAAC,EAAE,MAAM;IAQ/B,kBAAkB,IAAI,cAAc,GAAG,SAAS;IAIhD,mBAAmB,IAAI,cAAc,GAAG,SAAS;IAIjD,OAAO,IAAI,YAAY;IAKvB,aAAa,IAAI,SAAS,SAAS,EAAE;IAKrC,WAAW,IAAI,SAAS,QAAQ,EAAE;IAOlC,YAAY,IAAI,SAAS,CAAC,kBAAkB,CAAC;IAI7C;;;;;;;;;;OAUG;IACH,OAAO,CAAC,aAAa;IAgBrB,IAAI,aAAa,IAAI,MAAM,GAAG,SAAS,CAgBtC;IAED,eAAe,CAAC,gBAAgB,EAAE,kBAAkB,EAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC;IA6B3E,QAAQ,IAAI,MAAM;IAOlB,oBAAoB,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAcxD,YAAY,CAAC,WAAW,EAAE,SAAS,QAAQ,EAAE,GAAG,QAAQ;CA2CxD"}

package/dist/src/planner/nodes/limit-offset.js

@@ -3,6 +3,8 @@ import { PlanNode, isRelationalNode } from './plan-node.js';
 import { formatExpression } from '../../util/plan-formatter.js';
 import { quereusError } from '../../common/errors.js';
 import { StatusCode } from '../../common/types.js';
+import { CastNode, CollateNode, LiteralNode } from './scalar.js';
+import { addSingletonFd } from '../util/fd-utils.js';
 /**
  * Represents a LIMIT/OFFSET operation.
  * It takes an input relation and returns at most 'limit' rows, skipping 'offset' rows.
@@ -46,12 +48,48 @@ export class LimitOffsetNode extends PlanNode {
     getRelations() {
         return [this.source];
     }
+    /**
+     * Resolve the LIMIT expression to a compile-time-constant numeric value, or
+     * `undefined` when it is not a known constant. Peels `CastNode`/`CollateNode`
+     * to find a `LiteralNode`, mirroring `literalSqlValueOf` in `fd-utils.ts`.
+     *
+     * `Number(value)` coercion matches the emitter (`runtime/emit/limit-offset.ts`).
+     * A literal NULL means "no limit" (the emitter treats it as `Infinity`), so it
+     * is reported as non-constant. A non-finite / non-numeric literal is likewise
+     * not constant-known. A parameter / expression / subquery limit stays
+     * undefined — those are unknown at plan time.
+     */
+    constantLimit() {
+        if (this.limit === undefined)
+            return undefined;
+        let cur = this.limit;
+        while (cur instanceof CastNode || cur instanceof CollateNode) {
+            cur = cur.operand;
+        }
+        if (!(cur instanceof LiteralNode))
+            return undefined;
+        const v = cur.expression.value;
+        if (v instanceof Promise)
+            return undefined;
+        // Literal NULL ⇒ unbounded (emitter uses Infinity), not a ≤1-row constant.
+        if (v === null)
+            return undefined;
+        const n = Number(v);
+        if (!Number.isFinite(n))
+            return undefined;
+        return n;
+    }
     get estimatedRows() {
         const sourceRows = this.source.estimatedRows;
         if (sourceRows === undefined)
             return undefined;
-        // TODO: Evaluate limit/offset if they are constants
-        // For now, assume limit is 100 if specified, otherwise use source rows
+        const limit = this.constantLimit();
+        if (limit !== undefined && limit >= 0) {
+            // Exact upper bound: at most `limit` rows survive. OFFSET only removes
+            // rows, so `min(sourceRows, limit)` is sound regardless of offset.
+            return Math.min(sourceRows, limit);
+        }
+        // Non-constant limit: keep the existing heuristic (no limit ⇒ source rows).
         if (this.limit) {
             return Math.min(sourceRows, 100);
         }
@@ -59,15 +97,26 @@ export class LimitOffsetNode extends PlanNode {
     }
     computePhysical(childrenPhysical) {
         const sourcePhysical = childrenPhysical[0];
+        // A compile-time-constant LIMIT ≤ 1 (including LIMIT 0) is provably ≤1-row,
+        // so emit the singleton `∅ → all_cols` FD alongside the source FDs. OFFSET
+        // does not gate this — it only removes rows. Merge (don't replace): the
+        // empty key subsumes all source keys, and the read surface normalizes.
+        let fds = sourcePhysical?.fds;
+        const limit = this.constantLimit();
+        if (limit !== undefined && limit <= 1) {
+            fds = addSingletonFd(sourcePhysical?.fds ?? [], this.getAttributes().length);
+        }
         return {
             estimatedRows: this.estimatedRows,
             ordering: sourcePhysical?.ordering,
             // LIMIT/OFFSET preserves FDs/ECs/bindings — slicing rows doesn't break
             // per-row determinations.
-            fds: sourcePhysical?.fds,
+            fds,
             equivClasses: sourcePhysical?.equivClasses,
             constantBindings: sourcePhysical?.constantBindings,
             domainConstraints: sourcePhysical?.domainConstraints,
+            // Slicing rows keeps a per-row inclusion claim — INDs pass through.
+            inds: sourcePhysical?.inds,
             // LIMIT/OFFSET preserves monotonicOn — slicing a sorted prefix preserves ordering.
             monotonicOn: sourcePhysical?.monotonicOn,
         };

package/dist/src/planner/nodes/limit-offset.js.map

@@ -1 +1 @@
-{"version":3,"file":"limit-offset.js","sourceRoot":"","sources":["../../../../src/planner/nodes/limit-offset.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAA0F,gBAAgB,EAA2B,MAAM,gBAAgB,CAAC;AAG7K,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAGnD;;;GAGG;AACH,MAAM,OAAO,eAAgB,SAAQ,QAAQ;IAK3B;IACA;IACA;IANC,QAAQ,GAAG,YAAY,CAAC,WAAW,CAAC;IAEtD,YACC,KAAY,EACI,MAA0B,EAC1B,KAAiC,EACjC,MAAkC,EAClD,qBAA8B;QAE9B,mEAAmE;QACnE,sFAAsF;QACtF,KAAK,CAAC,KAAK,EAAE,qBAAqB,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC;QAP7C,WAAM,GAAN,MAAM,CAAoB;QAC1B,UAAK,GAAL,KAAK,CAA4B;QACjC,WAAM,GAAN,MAAM,CAA4B;IAMnD,CAAC;IAED,yBAAyB;IACzB,kBAAkB;QACjB,OAAO,IAAI,CAAC,KAAK,CAAC;IACnB,CAAC;IAED,mBAAmB;QAClB,OAAO,IAAI,CAAC,MAAM,CAAC;IACpB,CAAC;IAED,OAAO;QACN,yDAAyD;QACzD,OAAO,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;IAC9B,CAAC;IAED,aAAa;QACZ,2DAA2D;QAC3D,OAAO,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;IACpC,CAAC;IAED,WAAW;QACV,MAAM,QAAQ,GAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,IAAI,CAAC,KAAK;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAI,IAAI,CAAC,MAAM;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5C,OAAO,QAAQ,CAAC;IACjB,CAAC;IAED,YAAY;QACX,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtB,CAAC;IAED,IAAI,aAAa;QAChB,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC;QAC7C,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAE/C,oDAAoD;QACpD,uEAAuE;QACvE,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,OAAO,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,UAAU,CAAC;IACnB,CAAC;IAED,eAAe,CAAC,gBAAsC;QACrD,MAAM,cAAc,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAC3C,OAAO;YACN,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,QAAQ,EAAE,cAAc,EAAE,QAAQ;YAClC,uEAAuE;YACvE,0BAA0B;YAC1B,GAAG,EAAE,cAAc,EAAE,GAAG;YACxB,YAAY,EAAE,cAAc,EAAE,YAAY;YAC1C,gBAAgB,EAAE,cAAc,EAAE,gBAAgB;YAClD,iBAAiB,EAAE,cAAc,EAAE,iBAAiB;YACpD,mFAAmF;YACnF,WAAW,EAAE,cAAc,EAAE,WAAW;SACxC,CAAC;IACH,CAAC;IAEQ,QAAQ;QAChB,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACpE,IAAI,IAAI,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,UAAU,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACvE,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxB,CAAC;IAEQ,oBAAoB;QAC5B,MAAM,KAAK,GAA4B,EAAE,CAAC;QAE1C,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,KAAK,CAAC,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,CAAC;QAED,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACjB,KAAK,CAAC,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,CAAC;QAED,OAAO,KAAK,CAAC;IACd,CAAC;IAED,YAAY,CAAC,WAAgC;QAC5C,MAAM,cAAc,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,IAAI,WAAW,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;YAC3C,YAAY,CAAC,2BAA2B,cAAc,kBAAkB,WAAW,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QACpH,CAAC;QAED,MAAM,CAAC,SAAS,EAAE,GAAG,YAAY,CAAC,GAAG,WAAW,CAAC;QAEjD,aAAa;QACb,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;YAClC,YAAY,CAAC,2DAA2D,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QAChG,CAAC;QAED,0DAA0D;QAC1D,IAAI,QAAQ,GAA+B,SAAS,CAAC;QACrD,IAAI,SAAS,GAA+B,SAAS,CAAC;QACtD,IAAI,UAAU,GAAG,CAAC,CAAC;QAEnB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,QAAQ,GAAG,YAAY,CAAC,UAAU,CAAmB,CAAC;YACtD,UAAU,EAAE,CAAC;QACd,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACjB,SAAS,GAAG,YAAY,CAAC,UAAU,CAAmB,CAAC;QACxD,CAAC;QAED,4BAA4B;QAC5B,MAAM,aAAa,GAAG,SAAS,KAAK,IAAI,CAAC,MAAM,CAAC;QAChD,MAAM,YAAY,GAAG,QAAQ,KAAK,IAAI,CAAC,KAAK,CAAC;QAC7C,MAAM,aAAa,GAAG,SAAS,KAAK,IAAI,CAAC,MAAM,CAAC;QAEhD,IAAI,CAAC,aAAa,IAAI,CAAC,YAAY,IAAI,CAAC,aAAa,EAAE,CAAC;YACvD,OAAO,IAAI,CAAC;QACb,CAAC;QAED,uFAAuF;QACvF,OAAO,IAAI,eAAe,CACzB,IAAI,CAAC,KAAK,EACV,SAA+B,EAC/B,QAAQ,EACR,SAAS,CACT,CAAC;IACH,CAAC;CACD"}
+{"version":3,"file":"limit-offset.js","sourceRoot":"","sources":["../../../../src/planner/nodes/limit-offset.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAA0F,gBAAgB,EAA2B,MAAM,gBAAgB,CAAC;AAG7K,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAEnD,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAErD;;;GAGG;AACH,MAAM,OAAO,eAAgB,SAAQ,QAAQ;IAK3B;IACA;IACA;IANC,QAAQ,GAAG,YAAY,CAAC,WAAW,CAAC;IAEtD,YACC,KAAY,EACI,MAA0B,EAC1B,KAAiC,EACjC,MAAkC,EAClD,qBAA8B;QAE9B,mEAAmE;QACnE,sFAAsF;QACtF,KAAK,CAAC,KAAK,EAAE,qBAAqB,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC;QAP7C,WAAM,GAAN,MAAM,CAAoB;QAC1B,UAAK,GAAL,KAAK,CAA4B;QACjC,WAAM,GAAN,MAAM,CAA4B;IAMnD,CAAC;IAED,yBAAyB;IACzB,kBAAkB;QACjB,OAAO,IAAI,CAAC,KAAK,CAAC;IACnB,CAAC;IAED,mBAAmB;QAClB,OAAO,IAAI,CAAC,MAAM,CAAC;IACpB,CAAC;IAED,OAAO;QACN,yDAAyD;QACzD,OAAO,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;IAC9B,CAAC;IAED,aAAa;QACZ,2DAA2D;QAC3D,OAAO,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;IACpC,CAAC;IAED,WAAW;QACV,MAAM,QAAQ,GAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,IAAI,CAAC,KAAK;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAI,IAAI,CAAC,MAAM;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5C,OAAO,QAAQ,CAAC;IACjB,CAAC;IAED,YAAY;QACX,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtB,CAAC;IAED;;;;;;;;;;OAUG;IACK,aAAa;QACpB,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC/C,IAAI,GAAG,GAAmB,IAAI,CAAC,KAAK,CAAC;QACrC,OAAO,GAAG,YAAY,QAAQ,IAAI,GAAG,YAAY,WAAW,EAAE,CAAC;YAC9D,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC;QACnB,CAAC;QACD,IAAI,CAAC,CAAC,GAAG,YAAY,WAAW,CAAC;YAAE,OAAO,SAAS,CAAC;QACpD,MAAM,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC;QAC/B,IAAI,CAAC,YAAY,OAAO;YAAE,OAAO,SAAS,CAAC;QAC3C,2EAA2E;QAC3E,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QACjC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,OAAO,SAAS,CAAC;QAC1C,OAAO,CAAC,CAAC;IACV,CAAC;IAED,IAAI,aAAa;QAChB,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC;QAC7C,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAE/C,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACnC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YACvC,uEAAuE;YACvE,mEAAmE;YACnE,OAAO,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QACpC,CAAC;QAED,4EAA4E;QAC5E,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,OAAO,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,UAAU,CAAC;IACnB,CAAC;IAED,eAAe,CAAC,gBAAsC;QACrD,MAAM,cAAc,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAE3C,4EAA4E;QAC5E,2EAA2E;QAC3E,wEAAwE;QACxE,uEAAuE;QACvE,IAAI,GAAG,GAAG,cAAc,EAAE,GAAG,CAAC;QAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACnC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YACvC,GAAG,GAAG,cAAc,CAAC,cAAc,EAAE,GAAG,IAAI,EAAE,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC,CAAC;QAC9E,CAAC;QAED,OAAO;YACN,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,QAAQ,EAAE,cAAc,EAAE,QAAQ;YAClC,uEAAuE;YACvE,0BAA0B;YAC1B,GAAG;YACH,YAAY,EAAE,cAAc,EAAE,YAAY;YAC1C,gBAAgB,EAAE,cAAc,EAAE,gBAAgB;YAClD,iBAAiB,EAAE,cAAc,EAAE,iBAAiB;YACpD,oEAAoE;YACpE,IAAI,EAAE,cAAc,EAAE,IAAI;YAC1B,mFAAmF;YACnF,WAAW,EAAE,cAAc,EAAE,WAAW;SACxC,CAAC;IACH,CAAC;IAEQ,QAAQ;QAChB,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACpE,IAAI,IAAI,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,UAAU,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACvE,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxB,CAAC;IAEQ,oBAAoB;QAC5B,MAAM,KAAK,GAA4B,EAAE,CAAC;QAE1C,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,KAAK,CAAC,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,CAAC;QAED,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACjB,KAAK,CAAC,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,CAAC;QAED,OAAO,KAAK,CAAC;IACd,CAAC;IAED,YAAY,CAAC,WAAgC;QAC5C,MAAM,cAAc,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,IAAI,WAAW,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;YAC3C,YAAY,CAAC,2BAA2B,cAAc,kBAAkB,WAAW,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QACpH,CAAC;QAED,MAAM,CAAC,SAAS,EAAE,GAAG,YAAY,CAAC,GAAG,WAAW,CAAC;QAEjD,aAAa;QACb,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;YAClC,YAAY,CAAC,2DAA2D,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QAChG,CAAC;QAED,0DAA0D;QAC1D,IAAI,QAAQ,GAA+B,SAAS,CAAC;QACrD,IAAI,SAAS,GAA+B,SAAS,CAAC;QACtD,IAAI,UAAU,GAAG,CAAC,CAAC;QAEnB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,QAAQ,GAAG,YAAY,CAAC,UAAU,CAAmB,CAAC;YACtD,UAAU,EAAE,CAAC;QACd,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACjB,SAAS,GAAG,YAAY,CAAC,UAAU,CAAmB,CAAC;QACxD,CAAC;QAED,4BAA4B;QAC5B,MAAM,aAAa,GAAG,SAAS,KAAK,IAAI,CAAC,MAAM,CAAC;QAChD,MAAM,YAAY,GAAG,QAAQ,KAAK,IAAI,CAAC,KAAK,CAAC;QAC7C,MAAM,aAAa,GAAG,SAAS,KAAK,IAAI,CAAC,MAAM,CAAC;QAEhD,IAAI,CAAC,aAAa,IAAI,CAAC,YAAY,IAAI,CAAC,aAAa,EAAE,CAAC;YACvD,OAAO,IAAI,CAAC;QACb,CAAC;QAED,uFAAuF;QACvF,OAAO,IAAI,eAAe,CACzB,IAAI,CAAC,KAAK,EACV,SAA+B,EAC/B,QAAQ,EACR,SAAS,CACT,CAAC;IACH,CAAC;CACD"}

package/dist/src/planner/nodes/materialized-view-nodes.d.ts

@@ -0,0 +1,69 @@
+import type * as AST from '../../parser/ast.js';
+import { PhysicalProperties, VoidNode } from './plan-node.js';
+import { PlanNodeType } from './plan-node-type.js';
+import type { Scope } from '../scopes/scope.js';
+import type { SqlValue } from '../../common/types.js';
+/**
+ * Plan node for CREATE MATERIALIZED VIEW. Materializes the body into a
+ * maintained table (a `TableSchema` carrying a `TableDerivation`) under the
+ * MV's own name. All heavy lifting (build + optimize body, derive PK, create
+ * table, fill rows) happens in the emitter at runtime — this node just carries
+ * the DDL. The canonical DDL text is rendered on demand from the unified
+ * record, so the node carries no `sql`.
+ */
+export declare class CreateMaterializedViewNode extends VoidNode {
+    readonly viewName: string;
+    readonly schemaName: string;
+    readonly ifNotExists: boolean;
+    readonly columns: string[] | undefined;
+    /** Body AST — retained on the derivation for declarative emission + body-hash. */
+    readonly selectStmt: AST.QueryExpr;
+    /** Canonical SQL of the body alone (re-planned at runtime to fill the backing table). */
+    readonly bodySql: string;
+    readonly tags?: Readonly<Record<string, SqlValue>> | undefined;
+    /** Normalized backing-host module from `using <module>(...)`; undefined = memory default. */
+    readonly backingModuleName?: string | undefined;
+    /** Backing-module args; recorded only when non-empty. */
+    readonly backingModuleArgs?: Readonly<Record<string, SqlValue>> | undefined;
+    readonly nodeType = PlanNodeType.CreateMaterializedView;
+    constructor(scope: Scope, viewName: string, schemaName: string, ifNotExists: boolean, columns: string[] | undefined, 
+    /** Body AST — retained on the derivation for declarative emission + body-hash. */
+    selectStmt: AST.QueryExpr, 
+    /** Canonical SQL of the body alone (re-planned at runtime to fill the backing table). */
+    bodySql: string, tags?: Readonly<Record<string, SqlValue>> | undefined, 
+    /** Normalized backing-host module from `using <module>(...)`; undefined = memory default. */
+    backingModuleName?: string | undefined, 
+    /** Backing-module args; recorded only when non-empty. */
+    backingModuleArgs?: Readonly<Record<string, SqlValue>> | undefined);
+    toString(): string;
+    getLogicalAttributes(): Record<string, unknown>;
+    computePhysical(_children: readonly PhysicalProperties[]): Partial<PhysicalProperties>;
+}
+/**
+ * Plan node for REFRESH MATERIALIZED VIEW. Re-runs the body and atomically
+ * swaps the backing table's base layer.
+ */
+export declare class RefreshMaterializedViewNode extends VoidNode {
+    readonly viewName: string;
+    readonly schemaName: string;
+    readonly nodeType = PlanNodeType.RefreshMaterializedView;
+    constructor(scope: Scope, viewName: string, schemaName: string);
+    toString(): string;
+    getLogicalAttributes(): Record<string, unknown>;
+    computePhysical(_children: readonly PhysicalProperties[]): Partial<PhysicalProperties>;
+}
+/**
+ * Plan node for DROP MATERIALIZED VIEW. Drops the backing table and removes the
+ * MV from the catalog.
+ */
+export declare class DropMaterializedViewNode extends VoidNode {
+    readonly viewName: string;
+    readonly schemaName: string;
+    readonly ifExists: boolean;
+    readonly nodeType = PlanNodeType.DropMaterializedView;
+    constructor(scope: Scope, viewName: string, schemaName: string, ifExists: boolean);
+    toString(): string;
+    getLogicalAttributes(): Record<string, unknown>;
+    computePhysical(_children: readonly PhysicalProperties[]): Partial<PhysicalProperties>;
+}
+//# sourceMappingURL=materialized-view-nodes.d.ts.map

package/dist/src/planner/nodes/materialized-view-nodes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"materialized-view-nodes.d.ts","sourceRoot":"","sources":["../../../../src/planner/nodes/materialized-view-nodes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAEtD;;;;;;;GAOG;AACH,qBAAa,0BAA2B,SAAQ,QAAQ;aAKtC,QAAQ,EAAE,MAAM;aAChB,UAAU,EAAE,MAAM;aAClB,WAAW,EAAE,OAAO;aACpB,OAAO,EAAE,MAAM,EAAE,GAAG,SAAS;IAC7C,kFAAkF;aAClE,UAAU,EAAE,GAAG,CAAC,SAAS;IACzC,yFAAyF;aACzE,OAAO,EAAE,MAAM;aACf,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACzD,6FAA6F;aAC7E,iBAAiB,CAAC,EAAE,MAAM;IAC1C,yDAAyD;aACzC,iBAAiB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAhBvE,QAAQ,CAAC,QAAQ,uCAAuC;gBAGvD,KAAK,EAAE,KAAK,EACI,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,EAClB,WAAW,EAAE,OAAO,EACpB,OAAO,EAAE,MAAM,EAAE,GAAG,SAAS;IAC7C,kFAAkF;IAClE,UAAU,EAAE,GAAG,CAAC,SAAS;IACzC,yFAAyF;IACzE,OAAO,EAAE,MAAM,EACf,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,YAAA;IACzD,6FAA6F;IAC7E,iBAAiB,CAAC,EAAE,MAAM,YAAA;IAC1C,yDAAyD;IACzC,iBAAiB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,YAAA;IAK9D,QAAQ,IAAI,MAAM;IAMlB,oBAAoB,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAY/C,eAAe,CAAC,SAAS,EAAE,SAAS,kBAAkB,EAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC;CAG/F;AAED;;;GAGG;AACH,qBAAa,2BAA4B,SAAQ,QAAQ;aAKvC,QAAQ,EAAE,MAAM;aAChB,UAAU,EAAE,MAAM;IALnC,QAAQ,CAAC,QAAQ,wCAAwC;gBAGxD,KAAK,EAAE,KAAK,EACI,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM;IAK1B,QAAQ,IAAI,MAAM;IAIlB,oBAAoB,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAI/C,eAAe,CAAC,SAAS,EAAE,SAAS,kBAAkB,EAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC;CAG/F;AAED;;;GAGG;AACH,qBAAa,wBAAyB,SAAQ,QAAQ;aAKpC,QAAQ,EAAE,MAAM;aAChB,UAAU,EAAE,MAAM;aAClB,QAAQ,EAAE,OAAO;IANlC,QAAQ,CAAC,QAAQ,qCAAqC;gBAGrD,KAAK,EAAE,KAAK,EACI,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,OAAO;IAKzB,QAAQ,IAAI,MAAM;IAKlB,oBAAoB,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAI/C,eAAe,CAAC,SAAS,EAAE,SAAS,kBAAkB,EAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC;CAG/F"}

package/dist/src/planner/nodes/materialized-view-nodes.js

@@ -0,0 +1,111 @@
+import { VoidNode } from './plan-node.js';
+import { PlanNodeType } from './plan-node-type.js';
+/**
+ * Plan node for CREATE MATERIALIZED VIEW. Materializes the body into a
+ * maintained table (a `TableSchema` carrying a `TableDerivation`) under the
+ * MV's own name. All heavy lifting (build + optimize body, derive PK, create
+ * table, fill rows) happens in the emitter at runtime — this node just carries
+ * the DDL. The canonical DDL text is rendered on demand from the unified
+ * record, so the node carries no `sql`.
+ */
+export class CreateMaterializedViewNode extends VoidNode {
+    viewName;
+    schemaName;
+    ifNotExists;
+    columns;
+    selectStmt;
+    bodySql;
+    tags;
+    backingModuleName;
+    backingModuleArgs;
+    nodeType = PlanNodeType.CreateMaterializedView;
+    constructor(scope, viewName, schemaName, ifNotExists, columns, 
+    /** Body AST — retained on the derivation for declarative emission + body-hash. */
+    selectStmt, 
+    /** Canonical SQL of the body alone (re-planned at runtime to fill the backing table). */
+    bodySql, tags, 
+    /** Normalized backing-host module from `using <module>(...)`; undefined = memory default. */
+    backingModuleName, 
+    /** Backing-module args; recorded only when non-empty. */
+    backingModuleArgs) {
+        super(scope, 1); // Low cost for DDL operations
+        this.viewName = viewName;
+        this.schemaName = schemaName;
+        this.ifNotExists = ifNotExists;
+        this.columns = columns;
+        this.selectStmt = selectStmt;
+        this.bodySql = bodySql;
+        this.tags = tags;
+        this.backingModuleName = backingModuleName;
+        this.backingModuleArgs = backingModuleArgs;
+    }
+    toString() {
+        const ifNotExistsClause = this.ifNotExists ? 'IF NOT EXISTS ' : '';
+        const columnsClause = this.columns ? `(${this.columns.join(', ')})` : '';
+        return `CREATE MATERIALIZED VIEW ${ifNotExistsClause}${this.schemaName}.${this.viewName}${columnsClause}`;
+    }
+    getLogicalAttributes() {
+        return {
+            viewName: this.viewName,
+            schemaName: this.schemaName,
+            ifNotExists: this.ifNotExists,
+            columns: this.columns,
+            bodySql: this.bodySql,
+            ...(this.backingModuleName ? { backingModuleName: this.backingModuleName } : {}),
+            ...(this.backingModuleArgs ? { backingModuleArgs: this.backingModuleArgs } : {}),
+        };
+    }
+    computePhysical(_children) {
+        return { readonly: false };
+    }
+}
+/**
+ * Plan node for REFRESH MATERIALIZED VIEW. Re-runs the body and atomically
+ * swaps the backing table's base layer.
+ */
+export class RefreshMaterializedViewNode extends VoidNode {
+    viewName;
+    schemaName;
+    nodeType = PlanNodeType.RefreshMaterializedView;
+    constructor(scope, viewName, schemaName) {
+        super(scope, 1);
+        this.viewName = viewName;
+        this.schemaName = schemaName;
+    }
+    toString() {
+        return `REFRESH MATERIALIZED VIEW ${this.schemaName}.${this.viewName}`;
+    }
+    getLogicalAttributes() {
+        return { viewName: this.viewName, schemaName: this.schemaName };
+    }
+    computePhysical(_children) {
+        return { readonly: false };
+    }
+}
+/**
+ * Plan node for DROP MATERIALIZED VIEW. Drops the backing table and removes the
+ * MV from the catalog.
+ */
+export class DropMaterializedViewNode extends VoidNode {
+    viewName;
+    schemaName;
+    ifExists;
+    nodeType = PlanNodeType.DropMaterializedView;
+    constructor(scope, viewName, schemaName, ifExists) {
+        super(scope, 1);
+        this.viewName = viewName;
+        this.schemaName = schemaName;
+        this.ifExists = ifExists;
+    }
+    toString() {
+        const ifExistsClause = this.ifExists ? 'IF EXISTS ' : '';
+        return `DROP MATERIALIZED VIEW ${ifExistsClause}${this.schemaName}.${this.viewName}`;
+    }
+    getLogicalAttributes() {
+        return { viewName: this.viewName, schemaName: this.schemaName, ifExists: this.ifExists };
+    }
+    computePhysical(_children) {
+        return { readonly: false };
+    }
+}
+//# sourceMappingURL=materialized-view-nodes.js.map

package/dist/src/planner/nodes/materialized-view-nodes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"materialized-view-nodes.js","sourceRoot":"","sources":["../../../../src/planner/nodes/materialized-view-nodes.ts"],"names":[],"mappings":"AACA,OAAO,EAAsB,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAInD;;;;;;;GAOG;AACH,MAAM,OAAO,0BAA2B,SAAQ,QAAQ;IAKtC;IACA;IACA;IACA;IAEA;IAEA;IACA;IAEA;IAEA;IAhBR,QAAQ,GAAG,YAAY,CAAC,sBAAsB,CAAC;IAExD,YACC,KAAY,EACI,QAAgB,EAChB,UAAkB,EAClB,WAAoB,EACpB,OAA6B;IAC7C,kFAAkF;IAClE,UAAyB;IACzC,yFAAyF;IACzE,OAAe,EACf,IAAyC;IACzD,6FAA6F;IAC7E,iBAA0B;IAC1C,yDAAyD;IACzC,iBAAsD;QAEtE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,8BAA8B;QAd/B,aAAQ,GAAR,QAAQ,CAAQ;QAChB,eAAU,GAAV,UAAU,CAAQ;QAClB,gBAAW,GAAX,WAAW,CAAS;QACpB,YAAO,GAAP,OAAO,CAAsB;QAE7B,eAAU,GAAV,UAAU,CAAe;QAEzB,YAAO,GAAP,OAAO,CAAQ;QACf,SAAI,GAAJ,IAAI,CAAqC;QAEzC,sBAAiB,GAAjB,iBAAiB,CAAS;QAE1B,sBAAiB,GAAjB,iBAAiB,CAAqC;IAGvE,CAAC;IAEQ,QAAQ;QAChB,MAAM,iBAAiB,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;QACnE,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE,OAAO,4BAA4B,iBAAiB,GAAG,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,QAAQ,GAAG,aAAa,EAAE,CAAC;IAC3G,CAAC;IAEQ,oBAAoB;QAC5B,OAAO;YACN,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,IAAI,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChF,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,IAAI,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAChF,CAAC;IACH,CAAC;IAEQ,eAAe,CAAC,SAAwC;QAChE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAC5B,CAAC;CACD;AAED;;;GAGG;AACH,MAAM,OAAO,2BAA4B,SAAQ,QAAQ;IAKvC;IACA;IALR,QAAQ,GAAG,YAAY,CAAC,uBAAuB,CAAC;IAEzD,YACC,KAAY,EACI,QAAgB,EAChB,UAAkB;QAElC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAHA,aAAQ,GAAR,QAAQ,CAAQ;QAChB,eAAU,GAAV,UAAU,CAAQ;IAGnC,CAAC;IAEQ,QAAQ;QAChB,OAAO,6BAA6B,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;IACxE,CAAC;IAEQ,oBAAoB;QAC5B,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;IACjE,CAAC;IAEQ,eAAe,CAAC,SAAwC;QAChE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAC5B,CAAC;CACD;AAED;;;GAGG;AACH,MAAM,OAAO,wBAAyB,SAAQ,QAAQ;IAKpC;IACA;IACA;IANR,QAAQ,GAAG,YAAY,CAAC,oBAAoB,CAAC;IAEtD,YACC,KAAY,EACI,QAAgB,EAChB,UAAkB,EAClB,QAAiB;QAEjC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAJA,aAAQ,GAAR,QAAQ,CAAQ;QAChB,eAAU,GAAV,UAAU,CAAQ;QAClB,aAAQ,GAAR,QAAQ,CAAS;IAGlC,CAAC;IAEQ,QAAQ;QAChB,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,OAAO,0BAA0B,cAAc,GAAG,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;IACtF,CAAC;IAEQ,oBAAoB;QAC5B,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC1F,CAAC;IAEQ,eAAe,CAAC,SAAwC;QAChE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAC5B,CAAC;CACD"}

package/dist/src/planner/nodes/merge-join-node.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"merge-join-node.d.ts","sourceRoot":"","sources":["../../../../src/planner/nodes/merge-join-node.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,KAAK,kBAAkB,EAAE,KAAK,oBAAoB,EAAE,KAAK,cAAc,EAAE,KAAK,kBAAkB,EAAE,KAAK,SAAS,EAAoB,MAAM,gBAAgB,CAAC;AAC9K,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAIhD,OAAO,KAAK,EAAE,WAAW,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAE3F,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAA4G,KAAK,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAG9J;;;;;;;;;GASG;AACH,qBAAa,aAAc,SAAQ,QAAS,YAAW,oBAAoB,EAAE,WAAW,EAAE,sBAAsB;IAM9G,sCAAsC;aACtB,IAAI,EAAE,kBAAkB;IACxC,uCAAuC;aACvB,KAAK,EAAE,kBAAkB;aACzB,QAAQ,EAAE,QAAQ;IAClC,2DAA2D;aAC3C,SAAS,EAAE,SAAS,YAAY,EAAE;IAClD,qDAAqD;aACrC,iBAAiB,CAAC,EAAE,cAAc;IAClD,wDAAwD;aACxC,oBAAoB,CAAC,EAAE,SAAS,SAAS,EAAE;IAf5D,SAAkB,QAAQ,0BAA0B;IACpD,OAAO,CAAC,eAAe,CAAsB;gBAG5C,KAAK,EAAE,KAAK;IACZ,sCAAsC;IACtB,IAAI,EAAE,kBAAkB;IACxC,uCAAuC;IACvB,KAAK,EAAE,kBAAkB,EACzB,QAAQ,EAAE,QAAQ;IAClC,2DAA2D;IAC3C,SAAS,EAAE,SAAS,YAAY,EAAE;IAClD,qDAAqD;IACrC,iBAAiB,CAAC,EAAE,cAAc,YAAA;IAClD,wDAAwD;IACxC,oBAAoB,CAAC,EAAE,SAAS,SAAS,EAAE,YAAA;IAW5D,OAAO,CAAC,eAAe;IAOvB,aAAa,IAAI,SAAS,EAAE;IAI5B,OAAO,IAAI,YAAY;IAavB,eAAe,CAAC,gBAAgB,EAAE,kBAAkB,EAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC;IA4CpF,IAAI,aAAa,IAAI,MAAM,GAAG,SAAS,CAEtC;IAED,WAAW,IAAI,SAAS,QAAQ,EAAE;IAMlC,YAAY,IAAI,SAAS,CAAC,kBAAkB,EAAE,kBAAkB,CAAC;IAIjE,YAAY,CAAC,WAAW,EAAE,SAAS,QAAQ,EAAE,GAAG,QAAQ;IAgCxD,WAAW,IAAI,QAAQ;IACvB,gBAAgB,IAAI,cAAc,GAAG,SAAS;IAC9C,aAAa,IAAI,kBAAkB;IACnC,cAAc,IAAI,kBAAkB;IACpC,eAAe,IAAI,SAAS,MAAM,EAAE,GAAG,SAAS;IAGhD,aAAa,IAAI,SAAS,cAAc,EAAE;IAIjC,QAAQ,IAAI,MAAM;IAKlB,oBAAoB,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAUxD"}
+{"version":3,"file":"merge-join-node.d.ts","sourceRoot":"","sources":["../../../../src/planner/nodes/merge-join-node.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,KAAK,kBAAkB,EAAE,KAAK,oBAAoB,EAAE,KAAK,cAAc,EAAE,KAAK,kBAAkB,EAAE,KAAK,SAAS,EAAoB,MAAM,gBAAgB,CAAC;AAC9K,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAIhD,OAAO,KAAK,EAAE,WAAW,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAE3F,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAA+H,KAAK,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAGjL;;;;;;;;;GASG;AACH,qBAAa,aAAc,SAAQ,QAAS,YAAW,oBAAoB,EAAE,WAAW,EAAE,sBAAsB;IAM9G,sCAAsC;aACtB,IAAI,EAAE,kBAAkB;IACxC,uCAAuC;aACvB,KAAK,EAAE,kBAAkB;aACzB,QAAQ,EAAE,QAAQ;IAClC,2DAA2D;aAC3C,SAAS,EAAE,SAAS,YAAY,EAAE;IAClD,qDAAqD;aACrC,iBAAiB,CAAC,EAAE,cAAc;IAClD,wDAAwD;aACxC,oBAAoB,CAAC,EAAE,SAAS,SAAS,EAAE;IAf5D,SAAkB,QAAQ,0BAA0B;IACpD,OAAO,CAAC,eAAe,CAAsB;gBAG5C,KAAK,EAAE,KAAK;IACZ,sCAAsC;IACtB,IAAI,EAAE,kBAAkB;IACxC,uCAAuC;IACvB,KAAK,EAAE,kBAAkB,EACzB,QAAQ,EAAE,QAAQ;IAClC,2DAA2D;IAC3C,SAAS,EAAE,SAAS,YAAY,EAAE;IAClD,qDAAqD;IACrC,iBAAiB,CAAC,EAAE,cAAc,YAAA;IAClD,wDAAwD;IACxC,oBAAoB,CAAC,EAAE,SAAS,SAAS,EAAE,YAAA;IAW5D,OAAO,CAAC,eAAe;IAOvB,aAAa,IAAI,SAAS,EAAE;IAI5B,OAAO,IAAI,YAAY;IAavB,eAAe,CAAC,gBAAgB,EAAE,kBAAkB,EAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC;IA6CpF,IAAI,aAAa,IAAI,MAAM,GAAG,SAAS,CAEtC;IAED,WAAW,IAAI,SAAS,QAAQ,EAAE;IAMlC,YAAY,IAAI,SAAS,CAAC,kBAAkB,EAAE,kBAAkB,CAAC;IAIjE,YAAY,CAAC,WAAW,EAAE,SAAS,QAAQ,EAAE,GAAG,QAAQ;IAgCxD,WAAW,IAAI,QAAQ;IACvB,gBAAgB,IAAI,cAAc,GAAG,SAAS;IAC9C,aAAa,IAAI,kBAAkB;IACnC,cAAc,IAAI,kBAAkB;IACpC,eAAe,IAAI,SAAS,MAAM,EAAE,GAAG,SAAS;IAGhD,aAAa,IAAI,SAAS,cAAc,EAAE;IAIjC,QAAQ,IAAI,MAAM;IAKlB,oBAAoB,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAUxD"}

package/dist/src/planner/nodes/merge-join-node.js

@@ -4,7 +4,7 @@ import { Cached } from '../../util/cached.js';
 import { StatusCode } from '../../common/types.js';
 import { quereusError } from '../../common/errors.js';
 import { mergeJoinCost } from '../cost/index.js';
-import { buildJoinAttributes, buildJoinRelationType, estimateJoinRows, propagateJoinMonotonicOn, propagateJoinFds } from './join-utils.js';
+import { buildJoinAttributes, buildJoinRelationType, estimateJoinRows, propagateJoinMonotonicOn, propagateJoinFds, propagateJoinInds } from './join-utils.js';
 import { analyzeJoinKeyCoverage, combineJoinKeys } from '../util/key-utils.js';
 /**
  * Physical plan node implementing a merge join.
@@ -95,6 +95,7 @@ export class MergeJoinNode extends PlanNode {
             equivClasses: fdResult.equivClasses,
             constantBindings: fdResult.constantBindings,
             domainConstraints: fdResult.domainConstraints,
+            inds: propagateJoinInds(this.joinType, leftPhys, rightPhys, leftAttrs.length),
         };
     }
     get estimatedRows() {

package/dist/src/planner/nodes/merge-join-node.js.map

@@ -1 +1 @@
-{"version":3,"file":"merge-join-node.js","sourceRoot":"","sources":["../../../../src/planner/nodes/merge-join-node.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAoH,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAG9K,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEtD,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEjD,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,gBAAgB,EAAqB,MAAM,iBAAiB,CAAC;AAC9J,OAAO,EAAE,sBAAsB,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAE/E;;;;;;;;;GASG;AACH,MAAM,OAAO,aAAc,SAAQ,QAAQ;IAOzB;IAEA;IACA;IAEA;IAEA;IAEA;IAfC,QAAQ,GAAG,YAAY,CAAC,SAAS,CAAC;IAC5C,eAAe,CAAsB;IAE7C,YACC,KAAY;IACZ,sCAAsC;IACtB,IAAwB;IACxC,uCAAuC;IACvB,KAAyB,EACzB,QAAkB;IAClC,2DAA2D;IAC3C,SAAkC;IAClD,qDAAqD;IACrC,iBAAkC;IAClD,wDAAwD;IACxC,oBAA2C;QAE3D,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,IAAI,GAAG,CAAC;QAC3C,MAAM,SAAS,GAAG,KAAK,CAAC,aAAa,IAAI,GAAG,CAAC;QAC7C,kFAAkF;QAClF,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,EAAE,GAAG,KAAK,CAAC,YAAY,EAAE,GAAG,aAAa,CAAC,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC3G,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAfH,SAAI,GAAJ,IAAI,CAAoB;QAExB,UAAK,GAAL,KAAK,CAAoB;QACzB,aAAQ,GAAR,QAAQ,CAAU;QAElB,cAAS,GAAT,SAAS,CAAyB;QAElC,sBAAiB,GAAjB,iBAAiB,CAAiB;QAElC,yBAAoB,GAApB,oBAAoB,CAAuB;QAQ3D,IAAI,CAAC,eAAe,GAAG,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC;IACjE,CAAC;IAEO,eAAe;QACtB,OAAO,mBAAmB,CACzB,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,EACrD,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,oBAAoB,CACxC,CAAC;IACH,CAAC;IAED,aAAa;QACZ,OAAO,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC;IACnC,CAAC;IAED,OAAO;QACN,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAChD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAClD,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC3C,IAAI,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACvC,KAAK,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;SAC1C,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAChH,OAAO,qBAAqB,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACxE,CAAC;IAED,eAAe,CAAC,gBAAsC;QACrD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,SAAS,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QAC5C,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAChD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAElD,gEAAgE;QAChE,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC3C,IAAI,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACvC,KAAK,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;SAC1C,CAAC,CAAC,CAAC;QAEJ,MAAM,MAAM,GAAG,sBAAsB,CACpC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAClC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,EACzC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa,EAC7D,SAAS,CAAC,MAAM,CAChB,CAAC;QAEF,0CAA0C;QAC1C,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO,CAAC;YAChI,CAAC,CAAC,QAAQ,CAAC,QAAQ;YACnB,CAAC,CAAC,SAAS,CAAC;QAEb,MAAM,SAAS,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC;QAC9C,MAAM,QAAQ,GAAG,gBAAgB,CAChC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAC9C,SAAS,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,aAAa,CACjD,CAAC;QAEF,OAAO;YACN,QAAQ;YACR,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,6EAA6E;YAC7E,8EAA8E;YAC9E,WAAW,EAAE,wBAAwB,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC;YACzF,GAAG,EAAE,QAAQ,CAAC,GAAG;YACjB,YAAY,EAAE,QAAQ,CAAC,YAAY;YACnC,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;YAC3C,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;SAC7C,CAAC;IACH,CAAC;IAED,IAAI,aAAa;QAChB,OAAO,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3F,CAAC;IAED,WAAW;QACV,MAAM,QAAQ,GAAe,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACrD,IAAI,IAAI,CAAC,iBAAiB;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAClE,OAAO,QAAQ,CAAC;IACjB,CAAC;IAED,YAAY;QACX,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAED,YAAY,CAAC,WAAgC;QAC5C,MAAM,cAAc,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtD,IAAI,WAAW,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;YAC3C,YAAY,CAAC,yBAAyB,cAAc,kBAAkB,WAAW,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QAClH,CAAC;QAED,MAAM,CAAC,OAAO,EAAE,QAAQ,EAAE,WAAW,CAAC,GAAG,WAAW,CAAC;QAErD,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;YAChC,YAAY,CAAC,yDAAyD,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC9F,CAAC;QACD,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjC,YAAY,CAAC,0DAA0D,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC/F,CAAC;QAED,IAAI,OAAO,KAAK,IAAI,CAAC,IAAI,IAAI,QAAQ,KAAK,IAAI,CAAC,KAAK;YACnD,CAAC,CAAC,IAAI,CAAC,iBAAiB,IAAI,WAAW,KAAK,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC;YACtE,OAAO,IAAI,CAAC;QACb,CAAC;QAED,OAAO,IAAI,aAAa,CACvB,IAAI,CAAC,KAAK,EACV,OAA6B,EAC7B,QAA8B,EAC9B,IAAI,CAAC,QAAQ,EACb,IAAI,CAAC,SAAS,EACd,WAAyC,EACzC,IAAI,CAAC,oBAAoB,CACzB,CAAC;IACH,CAAC;IAED,wBAAwB;IACxB,WAAW,KAAe,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IACjD,gBAAgB,KAAiC,OAAO,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC;IACjF,aAAa,KAAyB,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACzD,cAAc,KAAyB,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3D,eAAe,KAAoC,OAAO,SAAS,CAAC,CAAC,CAAC;IAEtE,yBAAyB;IACzB,aAAa;QACZ,OAAO,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/D,CAAC;IAEQ,QAAQ;QAChB,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrF,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,mBAAmB,KAAK,GAAG,CAAC;IAClE,CAAC;IAEQ,oBAAoB;QAC5B,OAAO;YACN,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;YAClF,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,iBAAiB;YACrC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,aAAa;YACjC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa;SACnC,CAAC;IACH,CAAC;CACD"}
+{"version":3,"file":"merge-join-node.js","sourceRoot":"","sources":["../../../../src/planner/nodes/merge-join-node.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAoH,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAG9K,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEtD,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEjD,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,iBAAiB,EAAqB,MAAM,iBAAiB,CAAC;AACjL,OAAO,EAAE,sBAAsB,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAE/E;;;;;;;;;GASG;AACH,MAAM,OAAO,aAAc,SAAQ,QAAQ;IAOzB;IAEA;IACA;IAEA;IAEA;IAEA;IAfC,QAAQ,GAAG,YAAY,CAAC,SAAS,CAAC;IAC5C,eAAe,CAAsB;IAE7C,YACC,KAAY;IACZ,sCAAsC;IACtB,IAAwB;IACxC,uCAAuC;IACvB,KAAyB,EACzB,QAAkB;IAClC,2DAA2D;IAC3C,SAAkC;IAClD,qDAAqD;IACrC,iBAAkC;IAClD,wDAAwD;IACxC,oBAA2C;QAE3D,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,IAAI,GAAG,CAAC;QAC3C,MAAM,SAAS,GAAG,KAAK,CAAC,aAAa,IAAI,GAAG,CAAC;QAC7C,kFAAkF;QAClF,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,EAAE,GAAG,KAAK,CAAC,YAAY,EAAE,GAAG,aAAa,CAAC,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC3G,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAfH,SAAI,GAAJ,IAAI,CAAoB;QAExB,UAAK,GAAL,KAAK,CAAoB;QACzB,aAAQ,GAAR,QAAQ,CAAU;QAElB,cAAS,GAAT,SAAS,CAAyB;QAElC,sBAAiB,GAAjB,iBAAiB,CAAiB;QAElC,yBAAoB,GAApB,oBAAoB,CAAuB;QAQ3D,IAAI,CAAC,eAAe,GAAG,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC;IACjE,CAAC;IAEO,eAAe;QACtB,OAAO,mBAAmB,CACzB,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,EACrD,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,oBAAoB,CACxC,CAAC;IACH,CAAC;IAED,aAAa;QACZ,OAAO,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC;IACnC,CAAC;IAED,OAAO;QACN,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAChD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAClD,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC3C,IAAI,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACvC,KAAK,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;SAC1C,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAChH,OAAO,qBAAqB,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACxE,CAAC;IAED,eAAe,CAAC,gBAAsC;QACrD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,SAAS,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QAC5C,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAChD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAElD,gEAAgE;QAChE,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC3C,IAAI,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACvC,KAAK,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;SAC1C,CAAC,CAAC,CAAC;QAEJ,MAAM,MAAM,GAAG,sBAAsB,CACpC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAClC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,EACzC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa,EAC7D,SAAS,CAAC,MAAM,CAChB,CAAC;QAEF,0CAA0C;QAC1C,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO,CAAC;YAChI,CAAC,CAAC,QAAQ,CAAC,QAAQ;YACnB,CAAC,CAAC,SAAS,CAAC;QAEb,MAAM,SAAS,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC;QAC9C,MAAM,QAAQ,GAAG,gBAAgB,CAChC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAC9C,SAAS,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,aAAa,CACjD,CAAC;QAEF,OAAO;YACN,QAAQ;YACR,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,6EAA6E;YAC7E,8EAA8E;YAC9E,WAAW,EAAE,wBAAwB,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC;YACzF,GAAG,EAAE,QAAQ,CAAC,GAAG;YACjB,YAAY,EAAE,QAAQ,CAAC,YAAY;YACnC,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;YAC3C,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;YAC7C,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,MAAM,CAAC;SAC7E,CAAC;IACH,CAAC;IAED,IAAI,aAAa;QAChB,OAAO,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3F,CAAC;IAED,WAAW;QACV,MAAM,QAAQ,GAAe,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACrD,IAAI,IAAI,CAAC,iBAAiB;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAClE,OAAO,QAAQ,CAAC;IACjB,CAAC;IAED,YAAY;QACX,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAED,YAAY,CAAC,WAAgC;QAC5C,MAAM,cAAc,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtD,IAAI,WAAW,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;YAC3C,YAAY,CAAC,yBAAyB,cAAc,kBAAkB,WAAW,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QAClH,CAAC;QAED,MAAM,CAAC,OAAO,EAAE,QAAQ,EAAE,WAAW,CAAC,GAAG,WAAW,CAAC;QAErD,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;YAChC,YAAY,CAAC,yDAAyD,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC9F,CAAC;QACD,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjC,YAAY,CAAC,0DAA0D,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC/F,CAAC;QAED,IAAI,OAAO,KAAK,IAAI,CAAC,IAAI,IAAI,QAAQ,KAAK,IAAI,CAAC,KAAK;YACnD,CAAC,CAAC,IAAI,CAAC,iBAAiB,IAAI,WAAW,KAAK,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC;YACtE,OAAO,IAAI,CAAC;QACb,CAAC;QAED,OAAO,IAAI,aAAa,CACvB,IAAI,CAAC,KAAK,EACV,OAA6B,EAC7B,QAA8B,EAC9B,IAAI,CAAC,QAAQ,EACb,IAAI,CAAC,SAAS,EACd,WAAyC,EACzC,IAAI,CAAC,oBAAoB,CACzB,CAAC;IACH,CAAC;IAED,wBAAwB;IACxB,WAAW,KAAe,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IACjD,gBAAgB,KAAiC,OAAO,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC;IACjF,aAAa,KAAyB,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACzD,cAAc,KAAyB,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3D,eAAe,KAAoC,OAAO,SAAS,CAAC,CAAC,CAAC;IAEtE,yBAAyB;IACzB,aAAa;QACZ,OAAO,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/D,CAAC;IAEQ,QAAQ;QAChB,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrF,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,mBAAmB,KAAK,GAAG,CAAC;IAClE,CAAC;IAEQ,oBAAoB;QAC5B,OAAO;YACN,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;YAClF,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,iBAAiB;YACrC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,aAAa;YACjC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa;SACnC,CAAC;IACH,CAAC;CACD"}

package/dist/src/planner/nodes/ordinal-slice-node.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ordinal-slice-node.d.ts","sourceRoot":"","sources":["../../../../src/planner/nodes/ordinal-slice-node.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,KAAK,kBAAkB,EAAE,KAAK,cAAc,EAAE,KAAK,mBAAmB,EAAE,KAAK,SAAS,EAAE,KAAK,kBAAkB,EAAoB,MAAM,gBAAgB,CAAC;AAC7K,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAKhD;;;;;;;;;;;;;;GAcG;AACH,qBAAa,gBAAiB,SAAQ,QAAS,YAAW,mBAAmB;aAK3D,MAAM,EAAE,kBAAkB;IAC1C,8EAA8E;aAC9D,MAAM,EAAE,MAAM;IAC9B,sDAAsD;aACtC,UAAU,EAAE,cAAc,GAAG,SAAS;IACtD,qDAAqD;aACrC,SAAS,EAAE,cAAc,GAAG,SAAS;IACrD,yDAAyD;aACzC,SAAS,EAAE,KAAK,GAAG,MAAM;IAZ1C,SAAkB,QAAQ,6BAA6B;gBAGtD,KAAK,EAAE,KAAK,EACI,MAAM,EAAE,kBAAkB;IAC1C,8EAA8E;IAC9D,MAAM,EAAE,MAAM;IAC9B,sDAAsD;IACtC,UAAU,EAAE,cAAc,GAAG,SAAS;IACtD,qDAAqD;IACrC,SAAS,EAAE,cAAc,GAAG,SAAS;IACrD,yDAAyD;IACzC,SAAS,EAAE,KAAK,GAAG,MAAM,EACzC,qBAAqB,CAAC,EAAE,MAAM;IAK/B,OAAO,IAAI,YAAY;IAIvB,aAAa,IAAI,SAAS,SAAS,EAAE;IAIrC,WAAW,IAAI,SAAS,QAAQ,EAAE;IAOlC,YAAY,IAAI,SAAS,CAAC,kBAAkB,CAAC;IAI7C,IAAI,aAAa,IAAI,MAAM,GAAG,SAAS,CAKtC;IAED,eAAe,CAAC,gBAAgB,EAAE,kBAAkB,EAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAgB3E,QAAQ,IAAI,MAAM;IAQlB,oBAAoB,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAUxD,YAAY,CAAC,WAAW,EAAE,SAAS,QAAQ,EAAE,GAAG,QAAQ;CAqCxD"}
+{"version":3,"file":"ordinal-slice-node.d.ts","sourceRoot":"","sources":["../../../../src/planner/nodes/ordinal-slice-node.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,KAAK,kBAAkB,EAAE,KAAK,cAAc,EAAE,KAAK,mBAAmB,EAAE,KAAK,SAAS,EAAE,KAAK,kBAAkB,EAAoB,MAAM,gBAAgB,CAAC;AAC7K,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAKhD;;;;;;;;;;;;;;GAcG;AACH,qBAAa,gBAAiB,SAAQ,QAAS,YAAW,mBAAmB;aAK3D,MAAM,EAAE,kBAAkB;IAC1C,8EAA8E;aAC9D,MAAM,EAAE,MAAM;IAC9B,sDAAsD;aACtC,UAAU,EAAE,cAAc,GAAG,SAAS;IACtD,qDAAqD;aACrC,SAAS,EAAE,cAAc,GAAG,SAAS;IACrD,yDAAyD;aACzC,SAAS,EAAE,KAAK,GAAG,MAAM;IAZ1C,SAAkB,QAAQ,6BAA6B;gBAGtD,KAAK,EAAE,KAAK,EACI,MAAM,EAAE,kBAAkB;IAC1C,8EAA8E;IAC9D,MAAM,EAAE,MAAM;IAC9B,sDAAsD;IACtC,UAAU,EAAE,cAAc,GAAG,SAAS;IACtD,qDAAqD;IACrC,SAAS,EAAE,cAAc,GAAG,SAAS;IACrD,yDAAyD;IACzC,SAAS,EAAE,KAAK,GAAG,MAAM,EACzC,qBAAqB,CAAC,EAAE,MAAM;IAK/B,OAAO,IAAI,YAAY;IAIvB,aAAa,IAAI,SAAS,SAAS,EAAE;IAIrC,WAAW,IAAI,SAAS,QAAQ,EAAE;IAOlC,YAAY,IAAI,SAAS,CAAC,kBAAkB,CAAC;IAI7C,IAAI,aAAa,IAAI,MAAM,GAAG,SAAS,CAKtC;IAED,eAAe,CAAC,gBAAgB,EAAE,kBAAkB,EAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAkB3E,QAAQ,IAAI,MAAM;IAQlB,oBAAoB,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAUxD,YAAY,CAAC,WAAW,EAAE,SAAS,QAAQ,EAAE,GAAG,QAAQ;CAqCxD"}

package/dist/src/planner/nodes/ordinal-slice-node.js

@@ -77,6 +77,8 @@ export class OrdinalSliceNode extends PlanNode {
             equivClasses: sourcePhysical?.equivClasses,
             constantBindings: sourcePhysical?.constantBindings,
             domainConstraints: sourcePhysical?.domainConstraints,
+            // Slicing a prefix only removes rows — the per-row inclusion claim survives.
+            inds: sourcePhysical?.inds,
             monotonicOn: sourcePhysical?.monotonicOn,
         };
     }