@quereus/quereus 4.4.1 → 4.6.0

package/dist/src/planner/nodes/key-set-semi-join-node.d.ts

@@ -0,0 +1,87 @@
+import { PlanNodeType } from './plan-node-type.js';
+import { PlanNode, type RelationalPlanNode, type BinaryRelationalNode, type PhysicalProperties, type Attribute } from './plan-node.js';
+import type { RelationType } from '../../common/datatype.js';
+import type { Scope } from '../scopes/scope.js';
+import { SeqScanNode, IndexScanNode } from './table-access-nodes.js';
+import type { AccessPath } from '../../vtab/index-descriptor.js';
+/**
+ * Admissible target leaves: a plain sequential scan, or an ordering-only index
+ * walk (`plan=0`, no constraints) — which reads every row exactly like a full
+ * scan and differs only in emission order, a property nothing above the hash
+ * semi join this node replaces could have depended on (see
+ * `rule-key-set-seek`'s leaf gate). Memory-vtab tables always advertise a
+ * primary-key ordering, so their bare scans are ordering-only IndexScans —
+ * admitting only SeqScan would make this node unreachable there.
+ */
+export type KeySetTargetNode = SeqScanNode | IndexScanNode;
+/**
+ * Engine ceiling on the number of seek keys a runtime-materialized key set may
+ * deliver to a module as a multi-seek. Matches the store module's own
+ * `MAX_MULTI_SEEK_KEYS`; above this the runtime always falls back to scanning
+ * the target, which the module was promised (`RuntimeSetSpec.maxCount`).
+ */
+export declare const RUNTIME_SET_MAX_KEYS = 1000;
+/** How the target's access path is rewritten when the runtime decides to seek. */
+export interface KeySetPushdown {
+    /** Index name as it must appear in idxStr (the module's own spelling). */
+    readonly indexName: string;
+    /** Structured identity of that index — always `{ kind: 'index', plan: 'multiSeek' }`. */
+    readonly accessPath: Extract<AccessPath, {
+        kind: 'index';
+    }>;
+    /** Table column index the seek is on (the index's leading key column). */
+    readonly seekColumnIndex: number;
+    /** true ⇒ the index's leading key column is DESC, so keys sort descending. */
+    readonly seekDescending: boolean;
+    /** Engine ceiling the module accepted. Above this the runtime scans instead. */
+    readonly maxKeys: number;
+    /** Seek iff the materialized distinct key count is ≤ this (module-cost break-even). */
+    readonly breakEvenKeys: number;
+}
+/**
+ * Physical semi join that materializes the key-source side into a set once, then
+ * streams the target and probes each row against the set — exactly what the hash
+ * semi join it replaces does — and additionally, when the materialized distinct
+ * key count is small enough (≤ min(maxKeys, breakEvenKeys)), rewrites the target
+ * leaf's `FilterInfo` at runtime into an ordinary single-column `plan=5`
+ * multi-seek so the storage backend reads only the matching rows.
+ *
+ * The probe never goes away: pushdown only changes how many rows the target
+ * emits. An over-fetching seek is trimmed by the probe; a skipped pushdown
+ * degrades to the hash semi join. The plan-time gates in `rule-key-set-seek`
+ * exist to make an under-fetch (rows the seek fails to return, which the probe
+ * cannot resurrect) impossible.
+ */
+export declare class KeySetSemiJoinNode extends PlanNode implements BinaryRelationalNode {
+    /** The access leaf whose FilterInfo gets rewritten at runtime, verbatim. */
+    readonly target: KeySetTargetNode;
+    /** Drained once into the key set. Uncorrelated + deterministic by rule gate. */
+    readonly keySource: RelationalPlanNode;
+    /** Join key attribute on the target side. */
+    readonly targetAttrId: number;
+    /** Join key attribute on the keySource side. */
+    readonly keyAttrId: number;
+    readonly pushdown: KeySetPushdown;
+    readonly nodeType = PlanNodeType.KeySetSemiJoin;
+    constructor(scope: Scope, 
+    /** The access leaf whose FilterInfo gets rewritten at runtime, verbatim. */
+    target: KeySetTargetNode, 
+    /** Drained once into the key set. Uncorrelated + deterministic by rule gate. */
+    keySource: RelationalPlanNode, 
+    /** Join key attribute on the target side. */
+    targetAttrId: number, 
+    /** Join key attribute on the keySource side. */
+    keyAttrId: number, pushdown: KeySetPushdown);
+    get left(): RelationalPlanNode;
+    get right(): RelationalPlanNode;
+    getAttributes(): readonly Attribute[];
+    getType(): RelationType;
+    getChildren(): readonly PlanNode[];
+    getRelations(): readonly [RelationalPlanNode, RelationalPlanNode];
+    get estimatedRows(): number | undefined;
+    computePhysical(childrenPhysical: PhysicalProperties[]): Partial<PhysicalProperties>;
+    withChildren(newChildren: readonly PlanNode[]): PlanNode;
+    toString(): string;
+    getLogicalAttributes(): Record<string, unknown>;
+}
+//# sourceMappingURL=key-set-semi-join-node.d.ts.map

package/dist/src/planner/nodes/key-set-semi-join-node.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"key-set-semi-join-node.d.ts","sourceRoot":"","sources":["../../../../src/planner/nodes/key-set-semi-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,kBAAkB,EAAE,KAAK,SAAS,EAAoB,MAAM,gBAAgB,CAAC;AACzJ,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAMhD,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACrE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAEjE;;;;;;;;GAQG;AACH,MAAM,MAAM,gBAAgB,GAAG,WAAW,GAAG,aAAa,CAAC;AAE3D;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,OAAO,CAAC;AAEzC,kFAAkF;AAClF,MAAM,WAAW,cAAc;IAC9B,0EAA0E;IAC1E,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,yFAAyF;IACzF,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE;QAAE,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IAC5D,0EAA0E;IAC1E,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,8EAA8E;IAC9E,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,gFAAgF;IAChF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,uFAAuF;IACvF,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAC/B;AAED;;;;;;;;;;;;;GAaG;AACH,qBAAa,kBAAmB,SAAQ,QAAS,YAAW,oBAAoB;IAK9E,4EAA4E;aAC5D,MAAM,EAAE,gBAAgB;IACxC,gFAAgF;aAChE,SAAS,EAAE,kBAAkB;IAC7C,6CAA6C;aAC7B,YAAY,EAAE,MAAM;IACpC,gDAAgD;aAChC,SAAS,EAAE,MAAM;aACjB,QAAQ,EAAE,cAAc;IAZzC,SAAkB,QAAQ,+BAA+B;gBAGxD,KAAK,EAAE,KAAK;IACZ,4EAA4E;IAC5D,MAAM,EAAE,gBAAgB;IACxC,gFAAgF;IAChE,SAAS,EAAE,kBAAkB;IAC7C,6CAA6C;IAC7B,YAAY,EAAE,MAAM;IACpC,gDAAgD;IAChC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,cAAc;IAazC,IAAI,IAAI,IAAI,kBAAkB,CAAwB;IACtD,IAAI,KAAK,IAAI,kBAAkB,CAA2B;IAE1D,aAAa,IAAI,SAAS,SAAS,EAAE;IAMrC,OAAO,IAAI,YAAY;IAKvB,WAAW,IAAI,SAAS,QAAQ,EAAE;IAIlC,YAAY,IAAI,SAAS,CAAC,kBAAkB,EAAE,kBAAkB,CAAC;IAIjE,IAAI,aAAa,IAAI,MAAM,GAAG,SAAS,CAEtC;IAED,eAAe,CAAC,gBAAgB,EAAE,kBAAkB,EAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAiCpF,YAAY,CAAC,WAAW,EAAE,SAAS,QAAQ,EAAE,GAAG,QAAQ;IAwB/C,QAAQ,IAAI,MAAM;IAIlB,oBAAoB,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAYxD"}

package/dist/src/planner/nodes/key-set-semi-join-node.js

@@ -0,0 +1,141 @@
+import { PlanNodeType } from './plan-node-type.js';
+import { PlanNode, isRelationalNode } from './plan-node.js';
+import { StatusCode } from '../../common/types.js';
+import { quereusError } from '../../common/errors.js';
+import { hashJoinCost } from '../cost/index.js';
+import { estimateJoinRows } from './join-utils.js';
+import { physicalSourceRows } from '../util/row-estimates.js';
+import { SeqScanNode, IndexScanNode } from './table-access-nodes.js';
+/**
+ * Engine ceiling on the number of seek keys a runtime-materialized key set may
+ * deliver to a module as a multi-seek. Matches the store module's own
+ * `MAX_MULTI_SEEK_KEYS`; above this the runtime always falls back to scanning
+ * the target, which the module was promised (`RuntimeSetSpec.maxCount`).
+ */
+export const RUNTIME_SET_MAX_KEYS = 1000;
+/**
+ * Physical semi join that materializes the key-source side into a set once, then
+ * streams the target and probes each row against the set — exactly what the hash
+ * semi join it replaces does — and additionally, when the materialized distinct
+ * key count is small enough (≤ min(maxKeys, breakEvenKeys)), rewrites the target
+ * leaf's `FilterInfo` at runtime into an ordinary single-column `plan=5`
+ * multi-seek so the storage backend reads only the matching rows.
+ *
+ * The probe never goes away: pushdown only changes how many rows the target
+ * emits. An over-fetching seek is trimmed by the probe; a skipped pushdown
+ * degrades to the hash semi join. The plan-time gates in `rule-key-set-seek`
+ * exist to make an under-fetch (rows the seek fails to return, which the probe
+ * cannot resurrect) impossible.
+ */
+export class KeySetSemiJoinNode extends PlanNode {
+    target;
+    keySource;
+    targetAttrId;
+    keyAttrId;
+    pushdown;
+    nodeType = PlanNodeType.KeySetSemiJoin;
+    constructor(scope, 
+    /** The access leaf whose FilterInfo gets rewritten at runtime, verbatim. */
+    target, 
+    /** Drained once into the key set. Uncorrelated + deterministic by rule gate. */
+    keySource, 
+    /** Join key attribute on the target side. */
+    targetAttrId, 
+    /** Join key attribute on the keySource side. */
+    keyAttrId, pushdown) {
+        // SeqScanNode only declares `estimatedRows` through RelationalPlanNode.
+        const targetRows = target.estimatedRows ?? 100;
+        const keyRows = keySource.estimatedRows ?? 100;
+        // Same self-cost the BloomJoinNode this replaces charged (build the key
+        // set, probe every target row). The saving is in the *target's* row
+        // count, which is not modelled at plan time — the seek-vs-scan decision
+        // is deferred to runtime by design; do not invent a discount here.
+        super(scope, hashJoinCost(keyRows, targetRows));
+        this.target = target;
+        this.keySource = keySource;
+        this.targetAttrId = targetAttrId;
+        this.keyAttrId = keyAttrId;
+        this.pushdown = pushdown;
+    }
+    // BinaryRelationalNode: probe side / build side, mirroring BloomJoinNode.
+    get left() { return this.target; }
+    get right() { return this.keySource; }
+    getAttributes() {
+        // Semi-join semantics: expose only the target side with unchanged ids
+        // (mirrors buildJoinAttributes for 'semi').
+        return this.target.getAttributes();
+    }
+    getType() {
+        // A row-subset of the target: columns and keys survive verbatim.
+        return this.target.getType();
+    }
+    getChildren() {
+        return [this.target, this.keySource];
+    }
+    getRelations() {
+        return [this.target, this.keySource];
+    }
+    get estimatedRows() {
+        return estimateJoinRows(this.left.estimatedRows, this.keySource.estimatedRows, 'semi');
+    }
+    computePhysical(childrenPhysical) {
+        const targetPhysical = childrenPhysical[0];
+        // The output is a row-subset of the target with identical attributes, so
+        // the target's row-level facts survive: FDs, equivalence classes,
+        // constant bindings, domain constraints, and INDs (all per-row claims
+        // that hold on any subset).
+        //
+        // Deliberately NOT propagated: `ordering`, `monotonicOn`, and
+        // `accessCapabilities`. Emission order depends on a decision made at
+        // runtime — seek order (index-key order on the seek column) when
+        // pushing, the leaf's native order when scanning — so claiming either
+        // would let a Sort be elided that the plan actually needs. This is safe
+        // with respect to what already ran: BloomJoinNode.computePhysical
+        // propagates no ordering or monotonicOn either, so nothing above the
+        // join this node replaces could have been built on the leaf's order —
+        // losing those properties is the status quo, not a regression.
+        return {
+            // Same formula as the logical getter, over the PHYSICAL child counts —
+            // the logical getters read `undefined` through the physical access node
+            // this semi-join targets.
+            estimatedRows: estimateJoinRows(physicalSourceRows(targetPhysical, this.left), physicalSourceRows(childrenPhysical[1], this.keySource), 'semi'),
+            fds: targetPhysical?.fds,
+            equivClasses: targetPhysical?.equivClasses,
+            constantBindings: targetPhysical?.constantBindings,
+            domainConstraints: targetPhysical?.domainConstraints,
+            inds: targetPhysical?.inds,
+        };
+    }
+    withChildren(newChildren) {
+        if (newChildren.length !== 2) {
+            quereusError(`KeySetSemiJoinNode expects 2 children, got ${newChildren.length}`, StatusCode.INTERNAL);
+        }
+        const [newTarget, newKeySource] = newChildren;
+        if (!(newTarget instanceof SeqScanNode) && !(newTarget instanceof IndexScanNode)) {
+            quereusError('KeySetSemiJoinNode: first child must be a SeqScanNode or IndexScanNode', StatusCode.INTERNAL);
+        }
+        if (!isRelationalNode(newKeySource)) {
+            quereusError('KeySetSemiJoinNode: second child must be a RelationalPlanNode', StatusCode.INTERNAL);
+        }
+        if (newTarget === this.target && newKeySource === this.keySource) {
+            return this;
+        }
+        return new KeySetSemiJoinNode(this.scope, newTarget, newKeySource, this.targetAttrId, this.keyAttrId, this.pushdown);
+    }
+    toString() {
+        return `KEY SET SEMI JOIN on [${this.targetAttrId}=${this.keyAttrId}] via ${this.pushdown.indexName}`;
+    }
+    getLogicalAttributes() {
+        return {
+            joinType: 'semi',
+            algorithm: 'key-set',
+            indexName: this.pushdown.indexName,
+            seekColumnIndex: this.pushdown.seekColumnIndex,
+            maxKeys: this.pushdown.maxKeys,
+            breakEvenKeys: this.pushdown.breakEvenKeys,
+            targetRows: this.left.estimatedRows,
+            keySourceRows: this.keySource.estimatedRows,
+        };
+    }
+}
+//# sourceMappingURL=key-set-semi-join-node.js.map

package/dist/src/planner/nodes/key-set-semi-join-node.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"key-set-semi-join-node.js","sourceRoot":"","sources":["../../../../src/planner/nodes/key-set-semi-join-node.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAA+F,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAGzJ,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAcrE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC;AAkBzC;;;;;;;;;;;;;GAaG;AACH,MAAM,OAAO,kBAAmB,SAAQ,QAAQ;IAM9B;IAEA;IAEA;IAEA;IACA;IAZC,QAAQ,GAAG,YAAY,CAAC,cAAc,CAAC;IAEzD,YACC,KAAY;IACZ,4EAA4E;IAC5D,MAAwB;IACxC,gFAAgF;IAChE,SAA6B;IAC7C,6CAA6C;IAC7B,YAAoB;IACpC,gDAAgD;IAChC,SAAiB,EACjB,QAAwB;QAExC,wEAAwE;QACxE,MAAM,UAAU,GAAI,MAA6B,CAAC,aAAa,IAAI,GAAG,CAAC;QACvE,MAAM,OAAO,GAAG,SAAS,CAAC,aAAa,IAAI,GAAG,CAAC;QAC/C,wEAAwE;QACxE,oEAAoE;QACpE,wEAAwE;QACxE,mEAAmE;QACnE,KAAK,CAAC,KAAK,EAAE,YAAY,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;QAhBhC,WAAM,GAAN,MAAM,CAAkB;QAExB,cAAS,GAAT,SAAS,CAAoB;QAE7B,iBAAY,GAAZ,YAAY,CAAQ;QAEpB,cAAS,GAAT,SAAS,CAAQ;QACjB,aAAQ,GAAR,QAAQ,CAAgB;IAUzC,CAAC;IAED,0EAA0E;IAC1E,IAAI,IAAI,KAAyB,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IACtD,IAAI,KAAK,KAAyB,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;IAE1D,aAAa;QACZ,sEAAsE;QACtE,4CAA4C;QAC5C,OAAO,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;IACpC,CAAC;IAED,OAAO;QACN,iEAAiE;QACjE,OAAO,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;IAC9B,CAAC;IAED,WAAW;QACV,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IACtC,CAAC;IAED,YAAY;QACX,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IACtC,CAAC;IAED,IAAI,aAAa;QAChB,OAAO,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,SAAS,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;IACxF,CAAC;IAED,eAAe,CAAC,gBAAsC;QACrD,MAAM,cAAc,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAC3C,yEAAyE;QACzE,kEAAkE;QAClE,sEAAsE;QACtE,4BAA4B;QAC5B,EAAE;QACF,8DAA8D;QAC9D,qEAAqE;QACrE,iEAAiE;QACjE,sEAAsE;QACtE,wEAAwE;QACxE,kEAAkE;QAClE,qEAAqE;QACrE,sEAAsE;QACtE,+DAA+D;QAC/D,OAAO;YACN,uEAAuE;YACvE,wEAAwE;YACxE,0BAA0B;YAC1B,aAAa,EAAE,gBAAgB,CAC9B,kBAAkB,CAAC,cAAc,EAAE,IAAI,CAAC,IAAI,CAAC,EAC7C,kBAAkB,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,EACvD,MAAM,CACN;YACD,GAAG,EAAE,cAAc,EAAE,GAAG;YACxB,YAAY,EAAE,cAAc,EAAE,YAAY;YAC1C,gBAAgB,EAAE,cAAc,EAAE,gBAAgB;YAClD,iBAAiB,EAAE,cAAc,EAAE,iBAAiB;YACpD,IAAI,EAAE,cAAc,EAAE,IAAI;SAC1B,CAAC;IACH,CAAC;IAED,YAAY,CAAC,WAAgC;QAC5C,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,YAAY,CAAC,8CAA8C,WAAW,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QACvG,CAAC;QACD,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,WAAW,CAAC;QAC9C,IAAI,CAAC,CAAC,SAAS,YAAY,WAAW,CAAC,IAAI,CAAC,CAAC,SAAS,YAAY,aAAa,CAAC,EAAE,CAAC;YAClF,YAAY,CAAC,wEAAwE,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC7G,CAAC;QACD,IAAI,CAAC,gBAAgB,CAAC,YAAY,CAAC,EAAE,CAAC;YACrC,YAAY,CAAC,+DAA+D,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QACpG,CAAC;QACD,IAAI,SAAS,KAAK,IAAI,CAAC,MAAM,IAAI,YAAY,KAAK,IAAI,CAAC,SAAS,EAAE,CAAC;YAClE,OAAO,IAAI,CAAC;QACb,CAAC;QACD,OAAO,IAAI,kBAAkB,CAC5B,IAAI,CAAC,KAAK,EACV,SAAS,EACT,YAAkC,EAClC,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,QAAQ,CACb,CAAC;IACH,CAAC;IAEQ,QAAQ;QAChB,OAAO,yBAAyB,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,SAAS,SAAS,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC;IACvG,CAAC;IAEQ,oBAAoB;QAC5B,OAAO;YACN,QAAQ,EAAE,MAAM;YAChB,SAAS,EAAE,SAAS;YACpB,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS;YAClC,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,eAAe;YAC9C,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,OAAO;YAC9B,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,aAAa;YAC1C,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,aAAa;YACnC,aAAa,EAAE,IAAI,CAAC,SAAS,CAAC,aAAa;SAC3C,CAAC;IACH,CAAC;CACD"}

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

@@ -1 +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;IAQxD,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"}
+{"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;AAG5F;;;;;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;IAQxD,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

@@ -1,5 +1,6 @@
 import { PlanNode } from './plan-node.js';
 import { PlanNodeType } from './plan-node-type.js';
+import { physicalSourceRows } from '../util/row-estimates.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,
@@ -56,7 +57,7 @@ export class LensAuxiliaryAccessNode extends PlanNode {
         // Pure pass-through of every physical property (attribute IDs preserved),
         // exactly like AssertedKeysNode / AliasNode — the marker carries no rows.
         return {
-            estimatedRows: this.source.estimatedRows,
+            estimatedRows: physicalSourceRows(src, this.source),
             ordering: src.ordering,
             monotonicOn: src.monotonicOn,
             fds: src.fds,

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

@@ -1 +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,oEAAoE;QACpE,wEAAwE;QACxE,sBAAsB;QACtB,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAPH,WAAM,GAAN,MAAM,CAAoB;QAE1B,cAAS,GAAT,SAAS,CAA8B;IAMxD,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"}
+{"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;AAGnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAkD9D;;;;;;;;;;;;;;;;;;;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,oEAAoE;QACpE,wEAAwE;QACxE,sBAAsB;QACtB,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAPH,WAAM,GAAN,MAAM,CAAoB;QAE1B,cAAS,GAAT,SAAS,CAA8B;IAMxD,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,kBAAkB,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC;YACnD,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

@@ -33,6 +33,12 @@ export declare class LimitOffsetNode extends PlanNode implements UnaryRelational
      */
     private constantLimit;
     get estimatedRows(): number | undefined;
+    /**
+     * The LIMIT/OFFSET row estimate as a pure function of the source cardinality,
+     * shared by the logical getter and `computePhysical` (which feeds it the
+     * PHYSICAL source count) so the two cannot drift apart.
+     */
+    private rowsFrom;
     computePhysical(childrenPhysical: PhysicalProperties[]): Partial<PhysicalProperties>;
     toString(): string;
     getLogicalAttributes(): Record<string, unknown>;

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;AAIpE;;;GAGG;AACH,qBAAa,eAAgB,SAAQ,QAAS,YAAW,mBAAmB,EAAE,YAAY;aAMxE,MAAM,EAAE,kBAAkB;aAC1B,KAAK,EAAE,cAAc,GAAG,SAAS;aACjC,MAAM,EAAE,cAAc,GAAG,SAAS;IAPnD,SAAkB,QAAQ,4BAA4B;IACtD,QAAQ,CAAC,cAAc,EAAG,IAAI,CAAU;gBAGvC,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"}
+{"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;AAKpE;;;GAGG;AACH,qBAAa,eAAgB,SAAQ,QAAS,YAAW,mBAAmB,EAAE,YAAY;aAMxE,MAAM,EAAE,kBAAkB;aAC1B,KAAK,EAAE,cAAc,GAAG,SAAS;aACjC,MAAM,EAAE,cAAc,GAAG,SAAS;IAPnD,SAAkB,QAAQ,4BAA4B;IACtD,QAAQ,CAAC,cAAc,EAAG,IAAI,CAAU;gBAGvC,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,CAEtC;IAED;;;;OAIG;IACH,OAAO,CAAC,QAAQ;IAiBhB,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

@@ -5,6 +5,7 @@ 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';
+import { physicalSourceRows } from '../util/row-estimates.js';
 /**
  * Represents a LIMIT/OFFSET operation.
  * It takes an input relation and returns at most 'limit' rows, skipping 'offset' rows.
@@ -81,7 +82,14 @@ export class LimitOffsetNode extends PlanNode {
         return n;
     }
     get estimatedRows() {
-        const sourceRows = this.source.estimatedRows;
+        return this.rowsFrom(this.source.estimatedRows);
+    }
+    /**
+     * The LIMIT/OFFSET row estimate as a pure function of the source cardinality,
+     * shared by the logical getter and `computePhysical` (which feeds it the
+     * PHYSICAL source count) so the two cannot drift apart.
+     */
+    rowsFrom(sourceRows) {
         if (sourceRows === undefined)
             return undefined;
         const limit = this.constantLimit();
@@ -108,7 +116,7 @@ export class LimitOffsetNode extends PlanNode {
             fds = addSingletonFd(sourcePhysical?.fds ?? [], this.getAttributes().length);
         }
         return {
-            estimatedRows: this.estimatedRows,
+            estimatedRows: this.rowsFrom(physicalSourceRows(sourcePhysical, this.source)),
             ordering: sourcePhysical?.ordering,
             // LIMIT/OFFSET preserves FDs/ECs/bindings — slicing rows doesn't break
             // per-row determinations.

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;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;IAM3B;IACA;IACA;IAPC,QAAQ,GAAG,YAAY,CAAC,WAAW,CAAC;IAC7C,cAAc,GAAG,IAAa,CAAC;IAExC,YACC,KAAY,EACI,MAA0B,EAC1B,KAAiC,EACjC,MAAkC,EAClD,qBAA8B;QAE9B,kEAAkE;QAClE,uDAAuD;QACvD,KAAK,CAAC,KAAK,EAAE,qBAAqB,IAAI,IAAI,CAAC,CAAC;QAP5B,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"}
+{"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;AACrD,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAE9D;;;GAGG;AACH,MAAM,OAAO,eAAgB,SAAQ,QAAQ;IAM3B;IACA;IACA;IAPC,QAAQ,GAAG,YAAY,CAAC,WAAW,CAAC;IAC7C,cAAc,GAAG,IAAa,CAAC;IAExC,YACC,KAAY,EACI,MAA0B,EAC1B,KAAiC,EACjC,MAAkC,EAClD,qBAA8B;QAE9B,kEAAkE;QAClE,uDAAuD;QACvD,KAAK,CAAC,KAAK,EAAE,qBAAqB,IAAI,IAAI,CAAC,CAAC;QAP5B,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,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IACjD,CAAC;IAED;;;;OAIG;IACK,QAAQ,CAAC,UAA8B;QAC9C,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,QAAQ,CAAC,kBAAkB,CAAC,cAAc,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YAC7E,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/merge-join-node.d.ts

@@ -44,6 +44,8 @@ export declare class MergeJoinNode extends PlanNode implements BinaryRelationalN
     preserveAttributeIds?: readonly Attribute[] | undefined);
     private buildAttributes;
     getAttributes(): Attribute[];
+    /** Pairs this join may mint value-level facts from — see {@link valueFactPairs}. */
+    private factPairs;
     getType(): RelationType;
     computePhysical(childrenPhysical: PhysicalProperties[]): Partial<PhysicalProperties>;
     get estimatedRows(): number | undefined;

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,EAA+H,KAAK,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAGjL;;;;;;;;;GASG;AACH,qBAAa,aAAc,SAAQ,QAAS,YAAW,oBAAoB,EAAE,WAAW,EAAE,sBAAsB;IAQ9G,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;IAjB5D,SAAkB,QAAQ,0BAA0B;IACpD,QAAQ,CAAC,aAAa,EAAG,IAAI,CAAU;IACvC,QAAQ,CAAC,wBAAwB,EAAG,IAAI,CAAU;IAClD,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;IAc5D,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"}
+{"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,EAAoL,KAAK,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAItO;;;;;;;;;GASG;AACH,qBAAa,aAAc,SAAQ,QAAS,YAAW,oBAAoB,EAAE,WAAW,EAAE,sBAAsB;IAQ9G,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;IAjB5D,SAAkB,QAAQ,0BAA0B;IACpD,QAAQ,CAAC,aAAa,EAAG,IAAI,CAAU;IACvC,QAAQ,CAAC,wBAAwB,EAAG,IAAI,CAAU;IAClD,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;IAc5D,OAAO,CAAC,eAAe;IAOvB,aAAa,IAAI,SAAS,EAAE;IAI5B,oFAAoF;IACpF,OAAO,CAAC,SAAS;IAIjB,OAAO,IAAI,YAAY;IAavB,eAAe,CAAC,gBAAgB,EAAE,kBAAkB,EAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAsDpF,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,8 @@ 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, propagateJoinInds } from './join-utils.js';
+import { buildJoinAttributes, buildJoinRelationType, describeEquiPairs, estimateJoinRows, joinPhysicalRows, propagateJoinMonotonicOn, propagateJoinFds, propagateJoinInds, valueFactPairs } from './join-utils.js';
+import { physicalSourceRows } from '../util/row-estimates.js';
 import { analyzeJoinKeyCoverage, combineJoinKeys } from '../util/key-utils.js';
 /**
  * Physical plan node implementing a merge join.
@@ -60,12 +61,16 @@ export class MergeJoinNode extends PlanNode {
     getAttributes() {
         return this.attributesCache.value;
     }
+    /** Pairs this join may mint value-level facts from — see {@link valueFactPairs}. */
+    factPairs() {
+        return valueFactPairs(this.equiPairs);
+    }
     getType() {
         const leftType = this.left.getType();
         const rightType = this.right.getType();
         const leftIndex = this.left.getAttributeIndex();
         const rightIndex = this.right.getAttributeIndex();
-        const indexPairs = this.equiPairs.map(p => ({
+        const indexPairs = this.factPairs().map(p => ({
             left: leftIndex.get(p.leftAttrId) ?? -1,
             right: rightIndex.get(p.rightAttrId) ?? -1,
         })).filter(p => p.left >= 0 && p.right >= 0);
@@ -78,12 +83,18 @@ export class MergeJoinNode extends PlanNode {
         const leftAttrs = this.left.getAttributes();
         const leftIndex = this.left.getAttributeIndex();
         const rightIndex = this.right.getAttributeIndex();
-        // Map attribute-ID-based equi-pairs to column-index-based pairs
-        const indexPairs = this.equiPairs.map(p => ({
+        // Map attribute-ID-based equi-pairs to column-index-based pairs.
+        // Value-fact consumers only — see `factPairs`.
+        const factPairs = this.factPairs();
+        const indexPairs = factPairs.map(p => ({
             left: leftIndex.get(p.leftAttrId) ?? -1,
             right: rightIndex.get(p.rightAttrId) ?? -1,
         }));
-        const result = analyzeJoinKeyCoverage(this.joinType, leftPhys, rightPhys, this.left.getType(), this.right.getType(), indexPairs, this.left.estimatedRows, this.right.estimatedRows, leftAttrs.length);
+        // PHYSICAL child cardinalities — the logical getters read `undefined`
+        // through a physical access node (see `physicalSourceRows`).
+        const leftRows = physicalSourceRows(leftPhys, this.left);
+        const rightRows = physicalSourceRows(rightPhys, this.right);
+        const result = analyzeJoinKeyCoverage(this.joinType, leftPhys, rightPhys, this.left.getType(), this.right.getType(), indexPairs, leftRows, rightRows, leftAttrs.length);
         // Merge join preserves left-side ordering
         const ordering = (this.joinType === 'semi' || this.joinType === 'anti' || this.joinType === 'inner' || this.joinType === 'cross')
             ? leftPhys.ordering
@@ -92,10 +103,12 @@ export class MergeJoinNode extends PlanNode {
         const fdResult = propagateJoinFds(this.joinType, leftPhys, rightPhys, indexPairs, leftAttrs.length, totalCols, result.preservedKeys);
         return {
             ordering,
-            estimatedRows: result.estimatedRows,
+            estimatedRows: joinPhysicalRows(this.joinType, result.estimatedRows, leftRows, rightRows),
             // MergeJoin physically guarantees monotonicOn on equi-pair attrIds when both
             // inputs were monotonic on their respective X (the merge join's whole point).
-            monotonicOn: propagateJoinMonotonicOn(this.joinType, leftPhys, rightPhys, this.equiPairs),
+            // Value-discriminating pairs only: a NOCASE run collapses value-distinct
+            // rows into one key run, so per-side value monotonicity is not preserved.
+            monotonicOn: propagateJoinMonotonicOn(this.joinType, leftPhys, rightPhys, factPairs),
             fds: fdResult.fds,
             equivClasses: fdResult.equivClasses,
             constantBindings: fdResult.constantBindings,
@@ -151,7 +164,7 @@ export class MergeJoinNode extends PlanNode {
         return {
             joinType: this.joinType,
             algorithm: 'merge',
-            equiPairs: this.equiPairs.map(p => ({ left: p.leftAttrId, right: p.rightAttrId })),
+            equiPairs: describeEquiPairs(this.equiPairs),
             hasResidual: !!this.residualCondition,
             leftRows: this.left.estimatedRows,
             rightRows: this.right.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,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;IASzB;IAEA;IACA;IAEA;IAEA;IAEA;IAjBC,QAAQ,GAAG,YAAY,CAAC,SAAS,CAAC;IAC3C,aAAa,GAAG,IAAa,CAAC;IAC9B,wBAAwB,GAAG,IAAa,CAAC;IAC1C,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,wEAAwE;QACxE,uEAAuE;QACvE,gCAAgC;QAChC,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC9D,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAlBH,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;QAW3D,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"}
+{"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,iBAAiB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,cAAc,EAAqB,MAAM,iBAAiB,CAAC;AACtO,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,sBAAsB,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAE/E;;;;;;;;;GASG;AACH,MAAM,OAAO,aAAc,SAAQ,QAAQ;IASzB;IAEA;IACA;IAEA;IAEA;IAEA;IAjBC,QAAQ,GAAG,YAAY,CAAC,SAAS,CAAC;IAC3C,aAAa,GAAG,IAAa,CAAC;IAC9B,wBAAwB,GAAG,IAAa,CAAC;IAC1C,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,wEAAwE;QACxE,uEAAuE;QACvE,gCAAgC;QAChC,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC9D,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAlBH,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;QAW3D,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,oFAAoF;IAC5E,SAAS;QAChB,OAAO,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvC,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,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC7C,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,iEAAiE;QACjE,+CAA+C;QAC/C,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QACnC,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACtC,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,sEAAsE;QACtE,6DAA6D;QAC7D,MAAM,QAAQ,GAAG,kBAAkB,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,SAAS,GAAG,kBAAkB,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAE5D,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,QAAQ,EAAE,SAAS,EAC/B,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,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,aAAa,EAAE,QAAQ,EAAE,SAAS,CAAC;YACzF,6EAA6E;YAC7E,8EAA8E;YAC9E,yEAAyE;YACzE,0EAA0E;YAC1E,WAAW,EAAE,wBAAwB,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC;YACpF,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,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC;YAC5C,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

@@ -42,6 +42,11 @@ export declare class OrdinalSliceNode extends PlanNode implements UnaryRelationa
     getChildren(): readonly PlanNode[];
     getRelations(): readonly [RelationalPlanNode];
     get estimatedRows(): number | undefined;
+    /**
+     * The slice's row estimate as a pure function of the source cardinality —
+     * shared with `computePhysical`, which feeds it the PHYSICAL source count.
+     */
+    private rowsFrom;
     computePhysical(childrenPhysical: PhysicalProperties[]): Partial<PhysicalProperties>;
     toString(): string;
     getLogicalAttributes(): Record<string, unknown>;

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;IAO/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"}
+{"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;AAMhD;;;;;;;;;;;;;;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;IAO/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,CAEtC;IAED;;;OAGG;IACH,OAAO,CAAC,QAAQ;IAMhB,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

@@ -3,6 +3,7 @@ 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 { physicalSourceRows } from '../util/row-estimates.js';
 /**
  * Physical node representing a monotonic LIMIT/OFFSET pushdown over an
  * access path that advertises `supportsOrdinalSeek`. Replaces the
@@ -61,7 +62,13 @@ export class OrdinalSliceNode extends PlanNode {
         return [this.source];
     }
     get estimatedRows() {
-        const sourceRows = this.source.estimatedRows;
+        return this.rowsFrom(this.source.estimatedRows);
+    }
+    /**
+     * The slice's row estimate as a pure function of the source cardinality —
+     * shared with `computePhysical`, which feeds it the PHYSICAL source count.
+     */
+    rowsFrom(sourceRows) {
         if (sourceRows === undefined)
             return undefined;
         // We don't know the literal value of limitExpr here; use a conservative cap.
@@ -73,7 +80,7 @@ export class OrdinalSliceNode extends PlanNode {
         // accessCapabilities are NOT propagated past the slice — the slice consumed
         // the ordinal-seek capability.
         return {
-            estimatedRows: this.estimatedRows,
+            estimatedRows: this.rowsFrom(physicalSourceRows(sourcePhysical, this.source)),
             ordering: sourcePhysical?.ordering,
             fds: sourcePhysical?.fds,
             equivClasses: sourcePhysical?.equivClasses,

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

@@ -1 +1 @@
-{"version":3,"file":"ordinal-slice-node.js","sourceRoot":"","sources":["../../../../src/planner/nodes/ordinal-slice-node.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAmH,gBAAgB,EAAE,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;;;;;;;;;;;;;;GAcG;AACH,MAAM,OAAO,gBAAiB,SAAQ,QAAQ;IAK5B;IAEA;IAEA;IAEA;IAEA;IAZC,QAAQ,GAAG,YAAY,CAAC,YAAY,CAAC;IAEvD,YACC,KAAY,EACI,MAA0B;IAC1C,8EAA8E;IAC9D,MAAc;IAC9B,sDAAsD;IACtC,UAAsC;IACtD,qDAAqD;IACrC,SAAqC;IACrD,yDAAyD;IACzC,SAAyB,EACzC,qBAA8B;QAE9B,6EAA6E;QAC7E,kCAAkC;QAClC,KAAK,CAAC,KAAK,EAAE,qBAAqB,IAAI,IAAI,CAAC,CAAC;QAb5B,WAAM,GAAN,MAAM,CAAoB;QAE1B,WAAM,GAAN,MAAM,CAAQ;QAEd,eAAU,GAAV,UAAU,CAA4B;QAEtC,cAAS,GAAT,SAAS,CAA4B;QAErC,cAAS,GAAT,SAAS,CAAgB;IAM1C,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,MAAM,QAAQ,GAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,IAAI,CAAC,UAAU;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpD,IAAI,IAAI,CAAC,SAAS;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAClD,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;QAC/C,6EAA6E;QAC7E,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;IAChE,CAAC;IAED,eAAe,CAAC,gBAAsC;QACrD,MAAM,cAAc,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAC3C,wEAAwE;QACxE,4EAA4E;QAC5E,+BAA+B;QAC/B,OAAO;YACN,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,QAAQ,EAAE,cAAc,EAAE,QAAQ;YAClC,GAAG,EAAE,cAAc,EAAE,GAAG;YACxB,YAAY,EAAE,cAAc,EAAE,YAAY;YAC1C,gBAAgB,EAAE,cAAc,EAAE,gBAAgB;YAClD,iBAAiB,EAAE,cAAc,EAAE,iBAAiB;YACpD,6EAA6E;YAC7E,IAAI,EAAE,cAAc,EAAE,IAAI;YAC1B,WAAW,EAAE,cAAc,EAAE,WAAW;SACxC,CAAC;IACH,CAAC;IAEQ,QAAQ;QAChB,MAAM,KAAK,GAAa,CAAC,eAAe,CAAC,CAAC;QAC1C,IAAI,IAAI,CAAC,UAAU;YAAE,KAAK,CAAC,IAAI,CAAC,UAAU,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC/E,IAAI,IAAI,CAAC,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAC5E,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC;QACtD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxB,CAAC;IAEQ,oBAAoB;QAC5B,MAAM,KAAK,GAA4B;YACtC,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,SAAS,EAAE,IAAI,CAAC,SAAS;SACzB,CAAC;QACF,IAAI,IAAI,CAAC,UAAU;YAAE,KAAK,CAAC,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtE,IAAI,IAAI,CAAC,SAAS;YAAE,KAAK,CAAC,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnE,OAAO,KAAK,CAAC;IACd,CAAC;IAED,YAAY,CAAC,WAAgC;QAC5C,MAAM,cAAc,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChF,IAAI,WAAW,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;YAC3C,YAAY,CAAC,4BAA4B,cAAc,kBAAkB,WAAW,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QACrH,CAAC;QAED,MAAM,CAAC,SAAS,EAAE,GAAG,IAAI,CAAC,GAAG,WAAW,CAAC;QACzC,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;YAClC,YAAY,CAAC,4DAA4D,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QACjG,CAAC;QAED,IAAI,SAAqC,CAAC;QAC1C,IAAI,QAAoC,CAAC;QACzC,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACrB,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAmB,CAAC;QAC3C,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACpB,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,CAAmB,CAAC;QAC1C,CAAC;QAED,MAAM,aAAa,GAAG,SAAS,KAAK,IAAI,CAAC,MAAM,CAAC;QAChD,MAAM,aAAa,GAAG,SAAS,KAAK,IAAI,CAAC,UAAU,CAAC;QACpD,MAAM,YAAY,GAAG,QAAQ,KAAK,IAAI,CAAC,SAAS,CAAC;QACjD,IAAI,CAAC,aAAa,IAAI,CAAC,aAAa,IAAI,CAAC,YAAY,EAAE,CAAC;YACvD,OAAO,IAAI,CAAC;QACb,CAAC;QAED,OAAO,IAAI,gBAAgB,CAC1B,IAAI,CAAC,KAAK,EACV,SAA+B,EAC/B,IAAI,CAAC,MAAM,EACX,SAAS,EACT,QAAQ,EACR,IAAI,CAAC,SAAS,CACd,CAAC;IACH,CAAC;CACD"}
+{"version":3,"file":"ordinal-slice-node.js","sourceRoot":"","sources":["../../../../src/planner/nodes/ordinal-slice-node.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAmH,gBAAgB,EAAE,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;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAE9D;;;;;;;;;;;;;;GAcG;AACH,MAAM,OAAO,gBAAiB,SAAQ,QAAQ;IAK5B;IAEA;IAEA;IAEA;IAEA;IAZC,QAAQ,GAAG,YAAY,CAAC,YAAY,CAAC;IAEvD,YACC,KAAY,EACI,MAA0B;IAC1C,8EAA8E;IAC9D,MAAc;IAC9B,sDAAsD;IACtC,UAAsC;IACtD,qDAAqD;IACrC,SAAqC;IACrD,yDAAyD;IACzC,SAAyB,EACzC,qBAA8B;QAE9B,6EAA6E;QAC7E,kCAAkC;QAClC,KAAK,CAAC,KAAK,EAAE,qBAAqB,IAAI,IAAI,CAAC,CAAC;QAb5B,WAAM,GAAN,MAAM,CAAoB;QAE1B,WAAM,GAAN,MAAM,CAAQ;QAEd,eAAU,GAAV,UAAU,CAA4B;QAEtC,cAAS,GAAT,SAAS,CAA4B;QAErC,cAAS,GAAT,SAAS,CAAgB;IAM1C,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,MAAM,QAAQ,GAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,IAAI,CAAC,UAAU;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpD,IAAI,IAAI,CAAC,SAAS;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAClD,OAAO,QAAQ,CAAC;IACjB,CAAC;IAED,YAAY;QACX,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtB,CAAC;IAED,IAAI,aAAa;QAChB,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IACjD,CAAC;IAED;;;OAGG;IACK,QAAQ,CAAC,UAA8B;QAC9C,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC/C,6EAA6E;QAC7E,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;IAChE,CAAC;IAED,eAAe,CAAC,gBAAsC;QACrD,MAAM,cAAc,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAC3C,wEAAwE;QACxE,4EAA4E;QAC5E,+BAA+B;QAC/B,OAAO;YACN,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC,cAAc,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YAC7E,QAAQ,EAAE,cAAc,EAAE,QAAQ;YAClC,GAAG,EAAE,cAAc,EAAE,GAAG;YACxB,YAAY,EAAE,cAAc,EAAE,YAAY;YAC1C,gBAAgB,EAAE,cAAc,EAAE,gBAAgB;YAClD,iBAAiB,EAAE,cAAc,EAAE,iBAAiB;YACpD,6EAA6E;YAC7E,IAAI,EAAE,cAAc,EAAE,IAAI;YAC1B,WAAW,EAAE,cAAc,EAAE,WAAW;SACxC,CAAC;IACH,CAAC;IAEQ,QAAQ;QAChB,MAAM,KAAK,GAAa,CAAC,eAAe,CAAC,CAAC;QAC1C,IAAI,IAAI,CAAC,UAAU;YAAE,KAAK,CAAC,IAAI,CAAC,UAAU,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC/E,IAAI,IAAI,CAAC,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAC5E,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC;QACtD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxB,CAAC;IAEQ,oBAAoB;QAC5B,MAAM,KAAK,GAA4B;YACtC,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,SAAS,EAAE,IAAI,CAAC,SAAS;SACzB,CAAC;QACF,IAAI,IAAI,CAAC,UAAU;YAAE,KAAK,CAAC,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtE,IAAI,IAAI,CAAC,SAAS;YAAE,KAAK,CAAC,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnE,OAAO,KAAK,CAAC;IACd,CAAC;IAED,YAAY,CAAC,WAAgC;QAC5C,MAAM,cAAc,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChF,IAAI,WAAW,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;YAC3C,YAAY,CAAC,4BAA4B,cAAc,kBAAkB,WAAW,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QACrH,CAAC;QAED,MAAM,CAAC,SAAS,EAAE,GAAG,IAAI,CAAC,GAAG,WAAW,CAAC;QACzC,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;YAClC,YAAY,CAAC,4DAA4D,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QACjG,CAAC;QAED,IAAI,SAAqC,CAAC;QAC1C,IAAI,QAAoC,CAAC;QACzC,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACrB,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAmB,CAAC;QAC3C,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACpB,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,CAAmB,CAAC;QAC1C,CAAC;QAED,MAAM,aAAa,GAAG,SAAS,KAAK,IAAI,CAAC,MAAM,CAAC;QAChD,MAAM,aAAa,GAAG,SAAS,KAAK,IAAI,CAAC,UAAU,CAAC;QACpD,MAAM,YAAY,GAAG,QAAQ,KAAK,IAAI,CAAC,SAAS,CAAC;QACjD,IAAI,CAAC,aAAa,IAAI,CAAC,aAAa,IAAI,CAAC,YAAY,EAAE,CAAC;YACvD,OAAO,IAAI,CAAC;QACb,CAAC;QAED,OAAO,IAAI,gBAAgB,CAC1B,IAAI,CAAC,KAAK,EACV,SAA+B,EAC/B,IAAI,CAAC,MAAM,EACX,SAAS,EACT,QAAQ,EACR,IAAI,CAAC,SAAS,CACd,CAAC;IACH,CAAC;CACD"}

package/dist/src/planner/nodes/plan-node-type.d.ts

@@ -50,6 +50,7 @@ export declare enum PlanNodeType {
     NestedLoopJoin = "NestedLoopJoin",
     HashJoin = "HashJoin",
     MergeJoin = "MergeJoin",
+    KeySetSemiJoin = "KeySetSemiJoin",// Semi join that materializes the key set, then multi-seeks the target with it
     AsofScan = "AsofScan",// Streaming asof join: per left row, latest right with key ≤ left's
     OrdinalSlice = "OrdinalSlice",// O(log N) seek to kth row over a monotonic, ordinal-seek-capable leaf
     Materialize = "Materialize",// Materialize intermediate results

package/dist/src/planner/nodes/plan-node-type.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"plan-node-type.d.ts","sourceRoot":"","sources":["../../../../src/planner/nodes/plan-node-type.ts"],"names":[],"mappings":"AAAA,oBAAY,YAAY;IAEtB,KAAK,UAAU;IACf,cAAc,mBAAmB;IACjC,QAAQ,aAAa;IACrB,YAAY,iBAAiB;IAC7B,SAAS,cAAc;IACvB,MAAM,WAAW;IACjB,OAAO,YAAY;IACnB,QAAQ,aAAa;IACrB,SAAS,cAAc;IACvB,MAAM,WAAW;IACjB,IAAI,SAAS;IACb,WAAW,gBAAgB;IAC3B,IAAI,SAAS;IACb,YAAY,iBAAiB;IAC7B,GAAG,QAAQ;IACX,YAAY,iBAAiB;IAC7B,uBAAuB,4BAA4B;IACnD,EAAE,OAAO;IACT,MAAM,WAAW;IACjB,UAAU,eAAe;IAGzB,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,cAAc,mBAAmB;IACjC,MAAM,WAAW;IACjB,YAAY,iBAAiB,CAAG,+EAA+E;IAC/G,eAAe,oBAAoB;IACnC,WAAW,gBAAgB;IAC3B,SAAS,cAAc;IACvB,WAAW,gBAAgB;IAC3B,SAAS,cAAc;IACvB,UAAU,eAAe;IACzB,QAAQ,aAAa;IACrB,sBAAsB,2BAA2B;IACjD,uBAAuB,4BAA4B;IACnD,oBAAoB,yBAAyB;IAC7C,eAAe,oBAAoB;IACnC,aAAa,kBAAkB;IAC/B,UAAU,eAAe;IACzB,aAAa,kBAAkB,CAAG,sDAAsD;IACxF,aAAa,kBAAkB;IAG/B,OAAO,YAAY,CAAe,2BAA2B;IAC7D,SAAS,cAAc,CAAW,sBAAsB;IACxD,SAAS,cAAc,CAAW,sBAAsB;IACxD,WAAW,gBAAgB,CAAO,+CAA+C;IACjF,aAAa,kBAAkB,CAAG,2DAA2D;IAC7F,WAAW,gBAAgB,CAAO,kCAAkC;IACpE,eAAe,oBAAoB,CAAG,6BAA6B;IACnE,aAAa,kBAAkB,CAAO,0BAA0B;IAChE,cAAc,mBAAmB;IACjC,QAAQ,aAAa;IACrB,SAAS,cAAc;IACvB,QAAQ,aAAa,CAAa,oEAAoE;IACtG,YAAY,iBAAiB,CAAK,uEAAuE;IACzG,WAAW,gBAAgB,CAAO,mCAAmC;IAGrE,OAAO,YAAY;IACnB,eAAe,oBAAoB;IACnC,kBAAkB,uBAAuB;IACzC,UAAU,eAAe;IACzB,OAAO,YAAY;IACnB,QAAQ,aAAa;IACrB,QAAQ,aAAa;IACrB,IAAI,SAAS;IACb,OAAO,YAAY;IACnB,kBAAkB,uBAAuB;IACzC,kBAAkB,uBAAuB;IACzC,OAAO,YAAY;IACnB,MAAM,WAAW;IACjB,SAAS,cAAc;IACvB,IAAI,SAAS;IACb,cAAc,mBAAmB;IACjC,sBAAsB,2BAA2B;IACjD,iBAAiB,sBAAsB;IAGvC,KAAK,UAAU,CAAG,kDAAkD;IACpE,YAAY,iBAAiB,CAAG,sFAAsF;IACtH,mBAAmB,wBAAwB,CAAG,2HAA2H;IACzK,MAAM,WAAW;IAClB,YAAY,iBAAiB;IAC5B,YAAY,iBAAiB,CAAG,0EAA0E;IAC1G,SAAS,cAAc,CAAG,0BAA0B;IACpD,iBAAiB,sBAAsB;IAGvC,WAAW,gBAAgB;IAC3B,SAAS,cAAc;IAGvB,MAAM,WAAW;IACjB,OAAO,YAAY;IACnB,aAAa,kBAAkB;IAC/B,WAAW,gBAAgB;IAC3B,UAAU,eAAe;IACzB,WAAW,gBAAgB;IAC3B,aAAa,kBAAkB;IAG/B,KAAK,UAAU;IACf,aAAa,kBAAkB;IAC/B,WAAW,gBAAgB;IAC3B,gBAAgB,qBAAqB;IACrC,IAAI,SAAS;IAGb,SAAS,cAAc;CACxB"}
+{"version":3,"file":"plan-node-type.d.ts","sourceRoot":"","sources":["../../../../src/planner/nodes/plan-node-type.ts"],"names":[],"mappings":"AAAA,oBAAY,YAAY;IAEtB,KAAK,UAAU;IACf,cAAc,mBAAmB;IACjC,QAAQ,aAAa;IACrB,YAAY,iBAAiB;IAC7B,SAAS,cAAc;IACvB,MAAM,WAAW;IACjB,OAAO,YAAY;IACnB,QAAQ,aAAa;IACrB,SAAS,cAAc;IACvB,MAAM,WAAW;IACjB,IAAI,SAAS;IACb,WAAW,gBAAgB;IAC3B,IAAI,SAAS;IACb,YAAY,iBAAiB;IAC7B,GAAG,QAAQ;IACX,YAAY,iBAAiB;IAC7B,uBAAuB,4BAA4B;IACnD,EAAE,OAAO;IACT,MAAM,WAAW;IACjB,UAAU,eAAe;IAGzB,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,cAAc,mBAAmB;IACjC,MAAM,WAAW;IACjB,YAAY,iBAAiB,CAAG,+EAA+E;IAC/G,eAAe,oBAAoB;IACnC,WAAW,gBAAgB;IAC3B,SAAS,cAAc;IACvB,WAAW,gBAAgB;IAC3B,SAAS,cAAc;IACvB,UAAU,eAAe;IACzB,QAAQ,aAAa;IACrB,sBAAsB,2BAA2B;IACjD,uBAAuB,4BAA4B;IACnD,oBAAoB,yBAAyB;IAC7C,eAAe,oBAAoB;IACnC,aAAa,kBAAkB;IAC/B,UAAU,eAAe;IACzB,aAAa,kBAAkB,CAAG,sDAAsD;IACxF,aAAa,kBAAkB;IAG/B,OAAO,YAAY,CAAe,2BAA2B;IAC7D,SAAS,cAAc,CAAW,sBAAsB;IACxD,SAAS,cAAc,CAAW,sBAAsB;IACxD,WAAW,gBAAgB,CAAO,+CAA+C;IACjF,aAAa,kBAAkB,CAAG,2DAA2D;IAC7F,WAAW,gBAAgB,CAAO,kCAAkC;IACpE,eAAe,oBAAoB,CAAG,6BAA6B;IACnE,aAAa,kBAAkB,CAAO,0BAA0B;IAChE,cAAc,mBAAmB;IACjC,QAAQ,aAAa;IACrB,SAAS,cAAc;IACvB,cAAc,mBAAmB,CAAG,+EAA+E;IAEnH,QAAQ,aAAa,CAAa,oEAAoE;IACtG,YAAY,iBAAiB,CAAK,uEAAuE;IACzG,WAAW,gBAAgB,CAAO,mCAAmC;IAGrE,OAAO,YAAY;IACnB,eAAe,oBAAoB;IACnC,kBAAkB,uBAAuB;IACzC,UAAU,eAAe;IACzB,OAAO,YAAY;IACnB,QAAQ,aAAa;IACrB,QAAQ,aAAa;IACrB,IAAI,SAAS;IACb,OAAO,YAAY;IACnB,kBAAkB,uBAAuB;IACzC,kBAAkB,uBAAuB;IACzC,OAAO,YAAY;IACnB,MAAM,WAAW;IACjB,SAAS,cAAc;IACvB,IAAI,SAAS;IACb,cAAc,mBAAmB;IACjC,sBAAsB,2BAA2B;IACjD,iBAAiB,sBAAsB;IAGvC,KAAK,UAAU,CAAG,kDAAkD;IACpE,YAAY,iBAAiB,CAAG,sFAAsF;IACtH,mBAAmB,wBAAwB,CAAG,2HAA2H;IACzK,MAAM,WAAW;IAClB,YAAY,iBAAiB;IAC5B,YAAY,iBAAiB,CAAG,0EAA0E;IAC1G,SAAS,cAAc,CAAG,0BAA0B;IACpD,iBAAiB,sBAAsB;IAGvC,WAAW,gBAAgB;IAC3B,SAAS,cAAc;IAGvB,MAAM,WAAW;IACjB,OAAO,YAAY;IACnB,aAAa,kBAAkB;IAC/B,WAAW,gBAAgB;IAC3B,UAAU,eAAe;IACzB,WAAW,gBAAgB;IAC3B,aAAa,kBAAkB;IAG/B,KAAK,UAAU;IACf,aAAa,kBAAkB;IAC/B,WAAW,gBAAgB;IAC3B,gBAAgB,qBAAqB;IACrC,IAAI,SAAS;IAGb,SAAS,cAAc;CACxB"}

package/dist/src/planner/nodes/plan-node-type.js

@@ -54,6 +54,7 @@ export var PlanNodeType;
     PlanNodeType["NestedLoopJoin"] = "NestedLoopJoin";
     PlanNodeType["HashJoin"] = "HashJoin";
     PlanNodeType["MergeJoin"] = "MergeJoin";
+    PlanNodeType["KeySetSemiJoin"] = "KeySetSemiJoin";
     PlanNodeType["AsofScan"] = "AsofScan";
     PlanNodeType["OrdinalSlice"] = "OrdinalSlice";
     PlanNodeType["Materialize"] = "Materialize";