@quereus/quereus 2.9.0 → 3.0.0

package/dist/src/planner/nodes/join-utils.d.ts

@@ -1,4 +1,4 @@
-import type { Attribute, MonotonicOnInfo, PhysicalProperties } from './plan-node.js';
+import type { Attribute, ConstantBinding, DomainConstraint, FunctionalDependency, MonotonicOnInfo, PhysicalProperties } from './plan-node.js';
 import type { JoinType } from './join-node.js';
 import type { RelationType, ColRef } from '../../common/datatype.js';
 /**
@@ -42,6 +42,29 @@ export declare function propagateJoinMonotonicOn(joinType: JoinType, leftPhys: P
     leftAttrId: number;
     rightAttrId: number;
 }>): readonly MonotonicOnInfo[] | undefined;
+/**
+ * Propagate functional dependencies and equivalence classes through a join.
+ *
+ * Rules:
+ * - inner / cross: union of left and right FDs (right's column indices shifted
+ *   by leftColumnCount). For each equi-pair (L, R'), add bi-directional FDs
+ *   `{L} → {R'}` and `{R'} → {L}` and merge `L ≡ R'` into the EC list.
+ * - left outer: keep left's FDs/ECs on left's columns only. Right's FDs/ECs and
+ *   equi-pair FDs/ECs are dropped — NULL-padded rows can violate them.
+ * - right outer: mirror of left outer.
+ * - full outer: drop both sides' FDs/ECs (conservative).
+ * - semi / anti: left's FDs/ECs survive; no right contribution and no equi-pair
+ *   FDs (right columns are not in the output).
+ */
+export declare function propagateJoinFds(joinType: JoinType, leftPhys: PhysicalProperties | undefined, rightPhys: PhysicalProperties | undefined, equiPairs: ReadonlyArray<{
+    left: number;
+    right: number;
+}>, leftColumnCount: number, totalColumnCount: number, preservedKeys: ReadonlyArray<ReadonlyArray<number>>): {
+    fds?: ReadonlyArray<FunctionalDependency>;
+    equivClasses?: ReadonlyArray<ReadonlyArray<number>>;
+    constantBindings?: ReadonlyArray<ConstantBinding>;
+    domainConstraints?: ReadonlyArray<DomainConstraint>;
+};
 /**
  * Estimate the number of output rows for a join given the input cardinalities.
  */

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

@@ -1 +1 @@
-{"version":3,"file":"join-utils.d.ts","sourceRoot":"","sources":["../../../../src/planner/nodes/join-utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACrF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAErE;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAClC,SAAS,EAAE,SAAS,SAAS,EAAE,EAC/B,UAAU,EAAE,SAAS,SAAS,EAAE,EAChC,QAAQ,EAAE,QAAQ,EAClB,oBAAoB,CAAC,EAAE,SAAS,SAAS,EAAE,GACzC,SAAS,EAAE,CAcb;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACpC,QAAQ,EAAE,YAAY,EACtB,SAAS,EAAE,YAAY,EACvB,QAAQ,EAAE,QAAQ,EAClB,IAAI,CAAC,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,GACzC,YAAY,CAkCd;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,wBAAwB,CACvC,QAAQ,EAAE,QAAQ,EAClB,QAAQ,EAAE,kBAAkB,GAAG,SAAS,EACxC,SAAS,EAAE,kBAAkB,GAAG,SAAS,EACzC,SAAS,EAAE,aAAa,CAAC;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC,GACnE,SAAS,eAAe,EAAE,GAAG,SAAS,CA8BxC;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAC/B,QAAQ,EAAE,MAAM,GAAG,SAAS,EAC5B,SAAS,EAAE,MAAM,GAAG,SAAS,EAC7B,QAAQ,EAAE,QAAQ,GAChB,MAAM,GAAG,SAAS,CAoBpB"}
+{"version":3,"file":"join-utils.d.ts","sourceRoot":"","sources":["../../../../src/planner/nodes/join-utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAC9I,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAarE;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAClC,SAAS,EAAE,SAAS,SAAS,EAAE,EAC/B,UAAU,EAAE,SAAS,SAAS,EAAE,EAChC,QAAQ,EAAE,QAAQ,EAClB,oBAAoB,CAAC,EAAE,SAAS,SAAS,EAAE,GACzC,SAAS,EAAE,CAcb;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACpC,QAAQ,EAAE,YAAY,EACtB,SAAS,EAAE,YAAY,EACvB,QAAQ,EAAE,QAAQ,EAClB,IAAI,CAAC,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,GACzC,YAAY,CAkCd;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,wBAAwB,CACvC,QAAQ,EAAE,QAAQ,EAClB,QAAQ,EAAE,kBAAkB,GAAG,SAAS,EACxC,SAAS,EAAE,kBAAkB,GAAG,SAAS,EACzC,SAAS,EAAE,aAAa,CAAC;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC,GACnE,SAAS,eAAe,EAAE,GAAG,SAAS,CA8BxC;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,gBAAgB,CAC/B,QAAQ,EAAE,QAAQ,EAClB,QAAQ,EAAE,kBAAkB,GAAG,SAAS,EACxC,SAAS,EAAE,kBAAkB,GAAG,SAAS,EACzC,SAAS,EAAE,aAAa,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,EACzD,eAAe,EAAE,MAAM,EACvB,gBAAgB,EAAE,MAAM,EACxB,aAAa,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,GACjD;IACF,GAAG,CAAC,EAAE,aAAa,CAAC,oBAAoB,CAAC,CAAC;IAC1C,YAAY,CAAC,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC;IACpD,gBAAgB,CAAC,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IAClD,iBAAiB,CAAC,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;CACpD,CAoFA;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAC/B,QAAQ,EAAE,MAAM,GAAG,SAAS,EAC5B,SAAS,EAAE,MAAM,GAAG,SAAS,EAC7B,QAAQ,EAAE,QAAQ,GAChB,MAAM,GAAG,SAAS,CAoBpB"}

package/dist/src/planner/nodes/join-utils.js

@@ -1,3 +1,4 @@
+import { addEquivalence, addFd, closeConstantBindingsOverEcs, mergeConstantBindings, mergeDomainConstraints, mergeEquivClasses, mergeFds, shiftConstantBindings, shiftDomainConstraints, shiftEquivClasses, shiftFds, superkeyToFd, } from '../util/fd-utils.js';
 /**
  * Build the output attributes for a join node.
  *
@@ -105,6 +106,91 @@ export function propagateJoinMonotonicOn(joinType, leftPhys, rightPhys, equiPair
     }
     return result.length > 0 ? result : undefined;
 }
+/**
+ * Propagate functional dependencies and equivalence classes through a join.
+ *
+ * Rules:
+ * - inner / cross: union of left and right FDs (right's column indices shifted
+ *   by leftColumnCount). For each equi-pair (L, R'), add bi-directional FDs
+ *   `{L} → {R'}` and `{R'} → {L}` and merge `L ≡ R'` into the EC list.
+ * - left outer: keep left's FDs/ECs on left's columns only. Right's FDs/ECs and
+ *   equi-pair FDs/ECs are dropped — NULL-padded rows can violate them.
+ * - right outer: mirror of left outer.
+ * - full outer: drop both sides' FDs/ECs (conservative).
+ * - semi / anti: left's FDs/ECs survive; no right contribution and no equi-pair
+ *   FDs (right columns are not in the output).
+ */
+export function propagateJoinFds(joinType, leftPhys, rightPhys, equiPairs, leftColumnCount, totalColumnCount, preservedKeys) {
+    const leftFds = leftPhys?.fds ?? [];
+    const rightFds = rightPhys?.fds ?? [];
+    const leftEC = leftPhys?.equivClasses ?? [];
+    const rightEC = rightPhys?.equivClasses ?? [];
+    const leftBindings = leftPhys?.constantBindings ?? [];
+    const rightBindings = rightPhys?.constantBindings ?? [];
+    const leftDomains = leftPhys?.domainConstraints ?? [];
+    const rightDomains = rightPhys?.domainConstraints ?? [];
+    const opts = { keyHints: preservedKeys };
+    /** Layer `preservedKeys` onto `fds` as `key → all_other_join_cols` FDs. */
+    const withKeyFds = (fds) => {
+        let out = fds;
+        for (const key of preservedKeys) {
+            const keyFd = superkeyToFd(key, totalColumnCount);
+            if (keyFd)
+                out = addFd(out, keyFd, opts);
+        }
+        return out;
+    };
+    const wrap = (fds, equiv, bindings, domains) => ({
+        fds: fds.length > 0 ? fds : undefined,
+        equivClasses: equiv.length > 0 ? equiv : undefined,
+        constantBindings: bindings.length > 0 ? bindings : undefined,
+        domainConstraints: domains.length > 0 ? domains : undefined,
+    });
+    switch (joinType) {
+        case 'inner':
+        case 'cross': {
+            let fds = mergeFds(leftFds, shiftFds(rightFds, leftColumnCount), opts);
+            let equiv = mergeEquivClasses(leftEC, shiftEquivClasses(rightEC, leftColumnCount));
+            for (const p of equiPairs) {
+                const rShifted = p.right + leftColumnCount;
+                fds = addFd(fds, { determinants: [p.left], dependents: [rShifted] }, opts);
+                fds = addFd(fds, { determinants: [rShifted], dependents: [p.left] }, opts);
+                equiv = addEquivalence(equiv, p.left, rShifted);
+            }
+            fds = withKeyFds(fds);
+            // Bindings: union of both sides, then close over the merged EC list so
+            // a one-sided constant `t.k = 5` plus an equi-pair `t.k = u.k` lands as
+            // a binding covering both `t.k` and `u.k`.
+            const mergedBindings = mergeConstantBindings(leftBindings, shiftConstantBindings(rightBindings, leftColumnCount));
+            const bindings = closeConstantBindingsOverEcs(mergedBindings, equiv);
+            const domains = mergeDomainConstraints(leftDomains, shiftDomainConstraints(rightDomains, leftColumnCount));
+            return wrap(fds, equiv, bindings, domains);
+        }
+        case 'left': {
+            // Left's bindings survive on left's columns; right's are dropped (the
+            // NULL-padding from unmatched left rows breaks any right-side pin).
+            const fds = withKeyFds(leftFds.slice());
+            return wrap(fds, leftEC.map(c => c.slice()), leftBindings.map(b => ({ ...b })), leftDomains.slice());
+        }
+        case 'right': {
+            let fds = shiftFds(rightFds, leftColumnCount);
+            fds = withKeyFds(fds);
+            const equiv = shiftEquivClasses(rightEC, leftColumnCount);
+            const bindings = shiftConstantBindings(rightBindings, leftColumnCount);
+            const domains = shiftDomainConstraints(rightDomains, leftColumnCount);
+            return wrap(fds, equiv, bindings, domains);
+        }
+        case 'full':
+            return {};
+        case 'semi':
+        case 'anti': {
+            const fds = withKeyFds(leftFds.slice());
+            return wrap(fds, leftEC.map(c => c.slice()), leftBindings.map(b => ({ ...b })), leftDomains.slice());
+        }
+        default:
+            return {};
+    }
+}
 /**
  * Estimate the number of output rows for a join given the input cardinalities.
  */

package/dist/src/planner/nodes/join-utils.js.map

@@ -1 +1 @@
-{"version":3,"file":"join-utils.js","sourceRoot":"","sources":["../../../../src/planner/nodes/join-utils.ts"],"names":[],"mappings":"AAaA;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAClC,SAA+B,EAC/B,UAAgC,EAChC,QAAkB,EAClB,oBAA2C;IAE3C,IAAI,oBAAoB;QAAE,OAAO,oBAAoB,CAAC,KAAK,EAAiB,CAAC;IAC7E,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC,KAAK,EAAiB,CAAC;IAExF,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC9B,MAAM,UAAU,GAAG,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,MAAM,CAAC;QAC/D,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC1F,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAG,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,CAAC;QAC9D,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,UAAU,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACpC,QAAsB,EACtB,SAAuB,EACvB,QAAkB,EAClB,IAA2C;IAE3C,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QAChD,OAAO;YACN,SAAS,EAAE,UAAU;YACrB,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,UAAU,EAAE,QAAQ,CAAC,UAAU;YAC/B,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,cAAc,EAAE,QAAQ,CAAC,cAAc;SACvC,CAAC;IACH,CAAC;IAED,MAAM,eAAe,GAAG;QACvB,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YAC7B,MAAM,UAAU,GAAG,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,MAAM,CAAC;YAC/D,OAAO,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7E,CAAC,CAAC;QACF,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YAC9B,MAAM,UAAU,GAAG,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,CAAC;YAC9D,OAAO,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7E,CAAC,CAAC;KACF,CAAC;IAEF,MAAM,KAAK,GAAG,CAAC,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,OAAO,CAAC;QAC3D,QAAQ,CAAC,KAAK,IAAI,SAAS,CAAC,KAAK,CAAC;IAEnC,OAAO;QACN,SAAS,EAAE,UAAU;QACrB,OAAO,EAAE,eAAe;QACxB,KAAK;QACL,UAAU,EAAE,QAAQ,CAAC,UAAU,IAAI,SAAS,CAAC,UAAU;QACvD,IAAI,EAAE,CAAC,IAAI,IAAI,EAAE,CAAe;QAChC,cAAc,EAAE,CAAC,GAAG,QAAQ,CAAC,cAAc,EAAE,GAAG,SAAS,CAAC,cAAc,CAAC;KACzE,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,wBAAwB,CACvC,QAAkB,EAClB,QAAwC,EACxC,SAAyC,EACzC,SAAqE;IAErE,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC;IAElE,MAAM,OAAO,GAAG,QAAQ,EAAE,WAAW,CAAC;IACtC,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QAChD,OAAO,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5D,CAAC;IAED,MAAM,QAAQ,GAAG,SAAS,EAAE,WAAW,CAAC;IACxC,IAAI,CAAC,OAAO,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7F,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE7C,MAAM,aAAa,GAAG,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,MAAM,CAAC;IAClE,MAAM,cAAc,GAAG,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,OAAO,CAAC;IAEpE,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,CAAC,CAAC;QAC1D,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,WAAW,IAAI,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC;QAC3F,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC;QACpC,IAAI,aAAa,EAAE,CAAC;YACnB,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QAC1E,CAAC;QACD,IAAI,cAAc,EAAE,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QAC3E,CAAC;IACF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAC/B,QAA4B,EAC5B,SAA6B,EAC7B,QAAkB;IAElB,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAExE,QAAQ,QAAQ,EAAE,CAAC;QAClB,KAAK,OAAO;YACX,OAAO,QAAQ,GAAG,SAAS,CAAC;QAC7B,KAAK,OAAO;YACX,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,GAAG,CAAC,CAAC;QAChD,KAAK,MAAM;YACV,OAAO,QAAQ,CAAC;QACjB,KAAK,OAAO;YACX,OAAO,SAAS,CAAC;QAClB,KAAK,MAAM;YACV,OAAO,QAAQ,GAAG,SAAS,CAAC;QAC7B,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACV,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC;QAChD;YACC,OAAO,QAAQ,GAAG,SAAS,GAAG,GAAG,CAAC;IACpC,CAAC;AACF,CAAC"}
+{"version":3,"file":"join-utils.js","sourceRoot":"","sources":["../../../../src/planner/nodes/join-utils.ts"],"names":[],"mappings":"AAGA,OAAO,EACN,cAAc,EAAE,KAAK,EACrB,4BAA4B,EAC5B,qBAAqB,EACrB,sBAAsB,EACtB,iBAAiB,EAAE,QAAQ,EAC3B,qBAAqB,EACrB,sBAAsB,EACtB,iBAAiB,EAAE,QAAQ,EAC3B,YAAY,GACZ,MAAM,qBAAqB,CAAC;AAW7B;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAClC,SAA+B,EAC/B,UAAgC,EAChC,QAAkB,EAClB,oBAA2C;IAE3C,IAAI,oBAAoB;QAAE,OAAO,oBAAoB,CAAC,KAAK,EAAiB,CAAC;IAC7E,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC,KAAK,EAAiB,CAAC;IAExF,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC9B,MAAM,UAAU,GAAG,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,MAAM,CAAC;QAC/D,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC1F,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAG,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,CAAC;QAC9D,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,UAAU,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACpC,QAAsB,EACtB,SAAuB,EACvB,QAAkB,EAClB,IAA2C;IAE3C,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QAChD,OAAO;YACN,SAAS,EAAE,UAAU;YACrB,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,UAAU,EAAE,QAAQ,CAAC,UAAU;YAC/B,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,cAAc,EAAE,QAAQ,CAAC,cAAc;SACvC,CAAC;IACH,CAAC;IAED,MAAM,eAAe,GAAG;QACvB,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YAC7B,MAAM,UAAU,GAAG,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,MAAM,CAAC;YAC/D,OAAO,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7E,CAAC,CAAC;QACF,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YAC9B,MAAM,UAAU,GAAG,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,CAAC;YAC9D,OAAO,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7E,CAAC,CAAC;KACF,CAAC;IAEF,MAAM,KAAK,GAAG,CAAC,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,OAAO,CAAC;QAC3D,QAAQ,CAAC,KAAK,IAAI,SAAS,CAAC,KAAK,CAAC;IAEnC,OAAO;QACN,SAAS,EAAE,UAAU;QACrB,OAAO,EAAE,eAAe;QACxB,KAAK;QACL,UAAU,EAAE,QAAQ,CAAC,UAAU,IAAI,SAAS,CAAC,UAAU;QACvD,IAAI,EAAE,CAAC,IAAI,IAAI,EAAE,CAAe;QAChC,cAAc,EAAE,CAAC,GAAG,QAAQ,CAAC,cAAc,EAAE,GAAG,SAAS,CAAC,cAAc,CAAC;KACzE,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,wBAAwB,CACvC,QAAkB,EAClB,QAAwC,EACxC,SAAyC,EACzC,SAAqE;IAErE,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC;IAElE,MAAM,OAAO,GAAG,QAAQ,EAAE,WAAW,CAAC;IACtC,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QAChD,OAAO,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5D,CAAC;IAED,MAAM,QAAQ,GAAG,SAAS,EAAE,WAAW,CAAC;IACxC,IAAI,CAAC,OAAO,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7F,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE7C,MAAM,aAAa,GAAG,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,MAAM,CAAC;IAClE,MAAM,cAAc,GAAG,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,OAAO,CAAC;IAEpE,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,CAAC,CAAC;QAC1D,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,WAAW,IAAI,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC;QAC3F,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC;QACpC,IAAI,aAAa,EAAE,CAAC;YACnB,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QAC1E,CAAC;QACD,IAAI,cAAc,EAAE,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QAC3E,CAAC;IACF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/C,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,gBAAgB,CAC/B,QAAkB,EAClB,QAAwC,EACxC,SAAyC,EACzC,SAAyD,EACzD,eAAuB,EACvB,gBAAwB,EACxB,aAAmD;IAOnD,MAAM,OAAO,GAAG,QAAQ,EAAE,GAAG,IAAI,EAAE,CAAC;IACpC,MAAM,QAAQ,GAAG,SAAS,EAAE,GAAG,IAAI,EAAE,CAAC;IACtC,MAAM,MAAM,GAAG,QAAQ,EAAE,YAAY,IAAI,EAAE,CAAC;IAC5C,MAAM,OAAO,GAAG,SAAS,EAAE,YAAY,IAAI,EAAE,CAAC;IAC9C,MAAM,YAAY,GAAG,QAAQ,EAAE,gBAAgB,IAAI,EAAE,CAAC;IACtD,MAAM,aAAa,GAAG,SAAS,EAAE,gBAAgB,IAAI,EAAE,CAAC;IACxD,MAAM,WAAW,GAAG,QAAQ,EAAE,iBAAiB,IAAI,EAAE,CAAC;IACtD,MAAM,YAAY,GAAG,SAAS,EAAE,iBAAiB,IAAI,EAAE,CAAC;IAExD,MAAM,IAAI,GAAG,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC;IAEzC,2EAA2E;IAC3E,MAAM,UAAU,GAAG,CAAC,GAAwC,EAAuC,EAAE;QACpG,IAAI,GAAG,GAAG,GAAG,CAAC;QACd,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAC;YAClD,IAAI,KAAK;gBAAE,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC1C,CAAC;QACD,OAAO,GAAG,CAAC;IACZ,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,CACZ,GAAwC,EACxC,KAA2C,EAC3C,QAAwC,EACxC,OAAwC,EACvC,EAAE,CAAC,CAAC;QACL,GAAG,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS;QACrC,YAAY,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;QAClD,gBAAgB,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;QAC5D,iBAAiB,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;KAC3D,CAAC,CAAC;IAEH,QAAQ,QAAQ,EAAE,CAAC;QAClB,KAAK,OAAO,CAAC;QACb,KAAK,OAAO,CAAC,CAAC,CAAC;YACd,IAAI,GAAG,GAAwC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC,EAAE,IAAI,CAAC,CAAC;YAC5G,IAAI,KAAK,GAAyC,iBAAiB,CAAC,MAAM,EAAE,iBAAiB,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC,CAAC;YACzH,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC3B,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,GAAG,eAAe,CAAC;gBAC3C,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;gBAC3E,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;gBAC3E,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACjD,CAAC;YACD,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;YACtB,uEAAuE;YACvE,wEAAwE;YACxE,2CAA2C;YAC3C,MAAM,cAAc,GAAG,qBAAqB,CAC3C,YAAY,EACZ,qBAAqB,CAAC,aAAa,EAAE,eAAe,CAAC,CACrD,CAAC;YACF,MAAM,QAAQ,GAAG,4BAA4B,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;YACrE,MAAM,OAAO,GAAG,sBAAsB,CACrC,WAAW,EACX,sBAAsB,CAAC,YAAY,EAAE,eAAe,CAAC,CACrD,CAAC;YACF,OAAO,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC5C,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACb,sEAAsE;YACtE,oEAAoE;YACpE,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;YACxC,OAAO,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC;QACtG,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACd,IAAI,GAAG,GAAwC,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;YACnF,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;YACtB,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;YAC1D,MAAM,QAAQ,GAAG,qBAAqB,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC;YACvE,MAAM,OAAO,GAAG,sBAAsB,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC;YACtE,OAAO,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC5C,CAAC;QACD,KAAK,MAAM;YACV,OAAO,EAAE,CAAC;QACX,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC,CAAC,CAAC;YACb,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;YACxC,OAAO,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC;QACtG,CAAC;QACD;YACC,OAAO,EAAE,CAAC;IACZ,CAAC;AACF,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAC/B,QAA4B,EAC5B,SAA6B,EAC7B,QAAkB;IAElB,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAExE,QAAQ,QAAQ,EAAE,CAAC;QAClB,KAAK,OAAO;YACX,OAAO,QAAQ,GAAG,SAAS,CAAC;QAC7B,KAAK,OAAO;YACX,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,GAAG,CAAC,CAAC;QAChD,KAAK,MAAM;YACV,OAAO,QAAQ,CAAC;QACjB,KAAK,OAAO;YACX,OAAO,SAAS,CAAC;QAClB,KAAK,MAAM;YACV,OAAO,QAAQ,GAAG,SAAS,CAAC;QAC7B,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACV,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC;QAChD;YACC,OAAO,QAAQ,GAAG,SAAS,GAAG,GAAG,CAAC;IACpC,CAAC;AACF,CAAC"}

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;IAW3E,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;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"}

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

@@ -62,7 +62,12 @@ export class LimitOffsetNode extends PlanNode {
         return {
             estimatedRows: this.estimatedRows,
             ordering: sourcePhysical?.ordering,
-            uniqueKeys: sourcePhysical?.uniqueKeys,
+            // LIMIT/OFFSET preserves FDs/ECs/bindings — slicing rows doesn't break
+            // per-row determinations.
+            fds: sourcePhysical?.fds,
+            equivClasses: sourcePhysical?.equivClasses,
+            constantBindings: sourcePhysical?.constantBindings,
+            domainConstraints: sourcePhysical?.domainConstraints,
             // 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,UAAU,EAAE,cAAc,EAAE,UAAU;YACtC,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;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"}

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,EAA0F,KAAK,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAG5I;;;;;;;;;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;IAIvB,eAAe,CAAC,gBAAgB,EAAE,kBAAkB,EAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAkCpF,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;CAcxD"}
+{"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;IA2CpF,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,8 +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 } from './join-utils.js';
-import { analyzeJoinKeyCoverage } from '../util/key-utils.js';
+import { buildJoinAttributes, buildJoinRelationType, estimateJoinRows, propagateJoinMonotonicOn, propagateJoinFds } from './join-utils.js';
+import { analyzeJoinKeyCoverage, combineJoinKeys } from '../util/key-utils.js';
 /**
  * Physical plan node implementing a merge join.
  *
@@ -56,7 +56,16 @@ export class MergeJoinNode extends PlanNode {
         return this.attributesCache.value;
     }
     getType() {
-        return buildJoinRelationType(this.left.getType(), this.right.getType(), this.joinType, []);
+        const leftType = this.left.getType();
+        const rightType = this.right.getType();
+        const leftAttrs = this.left.getAttributes();
+        const rightAttrs = this.right.getAttributes();
+        const indexPairs = this.equiPairs.map(p => ({
+            left: leftAttrs.findIndex(a => a.id === p.leftAttrId),
+            right: rightAttrs.findIndex(a => a.id === p.rightAttrId),
+        })).filter(p => p.left >= 0 && p.right >= 0);
+        const keys = combineJoinKeys(leftType.keys, rightType.keys, this.joinType, leftType.columns.length, indexPairs);
+        return buildJoinRelationType(leftType, rightType, this.joinType, keys);
     }
     computePhysical(childrenPhysical) {
         const leftPhys = childrenPhysical[0];
@@ -73,13 +82,18 @@ export class MergeJoinNode extends PlanNode {
         const ordering = (this.joinType === 'semi' || this.joinType === 'anti' || this.joinType === 'inner' || this.joinType === 'cross')
             ? leftPhys.ordering
             : undefined;
+        const totalCols = this.getAttributes().length;
+        const fdResult = propagateJoinFds(this.joinType, leftPhys, rightPhys, indexPairs, leftAttrs.length, totalCols, result.preservedKeys);
         return {
             ordering,
-            uniqueKeys: result.uniqueKeys,
             estimatedRows: result.estimatedRows,
             // 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),
+            fds: fdResult.fds,
+            equivClasses: fdResult.equivClasses,
+            constantBindings: fdResult.constantBindings,
+            domainConstraints: fdResult.domainConstraints,
         };
     }
     get estimatedRows() {
@@ -127,7 +141,7 @@ export class MergeJoinNode extends PlanNode {
         return `${this.joinType.toUpperCase()} MERGE JOIN on [${pairs}]`;
     }
     getLogicalAttributes() {
-        const attrs = {
+        return {
             joinType: this.joinType,
             algorithm: 'merge',
             equiPairs: this.equiPairs.map(p => ({ left: p.leftAttrId, right: p.rightAttrId })),
@@ -135,10 +149,6 @@ export class MergeJoinNode extends PlanNode {
             leftRows: this.left.estimatedRows,
             rightRows: this.right.estimatedRows,
         };
-        if (this.physical?.uniqueKeys) {
-            attrs.uniqueKeys = this.physical.uniqueKeys;
-        }
-        return attrs;
     }
 }
 //# sourceMappingURL=merge-join-node.js.map

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,EAAqB,MAAM,iBAAiB,CAAC;AAC5I,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAE9D;;;;;;;;;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,OAAO,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAC5F,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,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;QAE9C,gEAAgE;QAChE,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC3C,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC;YACrD,KAAK,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,WAAW,CAAC;SACxD,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,OAAO;YACN,QAAQ;YACR,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,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;SACzF,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,MAAM,KAAK,GAA4B;YACtC,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;QACF,IAAI,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,CAAC;YAC/B,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;QAC7C,CAAC;QACD,OAAO,KAAK,CAAC;IACd,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,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,aAAa,EAAE,CAAC;QAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;QAC9C,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC3C,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC;YACrD,KAAK,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,WAAW,CAAC;SACxD,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,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;QAE9C,gEAAgE;QAChE,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC3C,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC;YACrD,KAAK,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,WAAW,CAAC;SACxD,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"}

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;IAa3E,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;IAgB3E,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

@@ -67,13 +67,16 @@ export class OrdinalSliceNode extends PlanNode {
     }
     computePhysical(childrenPhysical) {
         const sourcePhysical = childrenPhysical[0];
-        // Slicing a sorted prefix preserves ordering, uniqueKeys, and monotonicOn.
+        // Slicing a sorted prefix preserves ordering, FDs/ECs, and monotonicOn.
         // accessCapabilities are NOT propagated past the slice — the slice consumed
         // the ordinal-seek capability.
         return {
             estimatedRows: this.estimatedRows,
             ordering: sourcePhysical?.ordering,
-            uniqueKeys: sourcePhysical?.uniqueKeys,
+            fds: sourcePhysical?.fds,
+            equivClasses: sourcePhysical?.equivClasses,
+            constantBindings: sourcePhysical?.constantBindings,
+            domainConstraints: sourcePhysical?.domainConstraints,
             monotonicOn: sourcePhysical?.monotonicOn,
         };
     }

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,KAAK,CAAC,KAAK,EAAE,qBAAqB,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC;QAX7C,WAAM,GAAN,MAAM,CAAoB;QAE1B,WAAM,GAAN,MAAM,CAAQ;QAEd,eAAU,GAAV,UAAU,CAA4B;QAEtC,cAAS,GAAT,SAAS,CAA4B;QAErC,cAAS,GAAT,SAAS,CAAgB;IAI1C,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,2EAA2E;QAC3E,4EAA4E;QAC5E,+BAA+B;QAC/B,OAAO;YACN,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,QAAQ,EAAE,cAAc,EAAE,QAAQ;YAClC,UAAU,EAAE,cAAc,EAAE,UAAU;YACtC,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;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,KAAK,CAAC,KAAK,EAAE,qBAAqB,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC;QAX7C,WAAM,GAAN,MAAM,CAAoB;QAE1B,WAAM,GAAN,MAAM,CAAQ;QAEd,eAAU,GAAV,UAAU,CAA4B;QAEtC,cAAS,GAAT,SAAS,CAA4B;QAErC,cAAS,GAAT,SAAS,CAAgB;IAI1C,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,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

@@ -38,6 +38,7 @@ export declare enum PlanNodeType {
     IndexScan = "IndexScan",// Physical index scan
     IndexSeek = "IndexSeek",// Physical index seek
     EmptyResult = "EmptyResult",// Physical empty result (impossible predicate)
+    EmptyRelation = "EmptyRelation",// Schema-polymorphic zero-row relation (const-fold result)
     RemoteQuery = "RemoteQuery",// Physical remote query execution
     StreamAggregate = "StreamAggregate",// Physical ordered aggregate
     HashAggregate = "HashAggregate",// Physical hash aggregate

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,eAAe,oBAAoB;IACnC,WAAW,gBAAgB;IAC3B,SAAS,cAAc;IACvB,WAAW,gBAAgB;IAC3B,SAAS,cAAc;IACvB,UAAU,eAAe;IACzB,QAAQ,aAAa;IACrB,eAAe,oBAAoB;IACnC,aAAa,kBAAkB;IAC/B,UAAU,eAAe;IACzB,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,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,MAAM,WAAW;IAClB,YAAY,iBAAiB;IAC5B,SAAS,cAAc,CAAG,0BAA0B;IACpD,iBAAiB,sBAAsB;IAGvC,WAAW,gBAAgB;IAC3B,SAAS,cAAc;IAGvB,MAAM,WAAW;IACjB,OAAO,YAAY;IACnB,aAAa,kBAAkB;IAC/B,UAAU,eAAe;IACzB,WAAW,gBAAgB;IAC3B,aAAa,kBAAkB;IAG/B,KAAK,UAAU;IACf,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,eAAe,oBAAoB;IACnC,WAAW,gBAAgB;IAC3B,SAAS,cAAc;IACvB,WAAW,gBAAgB;IAC3B,SAAS,cAAc;IACvB,UAAU,eAAe;IACzB,QAAQ,aAAa;IACrB,eAAe,oBAAoB;IACnC,aAAa,kBAAkB;IAC/B,UAAU,eAAe;IACzB,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,MAAM,WAAW;IAClB,YAAY,iBAAiB;IAC5B,SAAS,cAAc,CAAG,0BAA0B;IACpD,iBAAiB,sBAAsB;IAGvC,WAAW,gBAAgB;IAC3B,SAAS,cAAc;IAGvB,MAAM,WAAW;IACjB,OAAO,YAAY;IACnB,aAAa,kBAAkB;IAC/B,UAAU,eAAe;IACzB,WAAW,gBAAgB;IAC3B,aAAa,kBAAkB;IAG/B,KAAK,UAAU;IACf,IAAI,SAAS;IAGb,SAAS,cAAc;CACxB"}

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

@@ -42,6 +42,7 @@ export var PlanNodeType;
     PlanNodeType["IndexScan"] = "IndexScan";
     PlanNodeType["IndexSeek"] = "IndexSeek";
     PlanNodeType["EmptyResult"] = "EmptyResult";
+    PlanNodeType["EmptyRelation"] = "EmptyRelation";
     PlanNodeType["RemoteQuery"] = "RemoteQuery";
     PlanNodeType["StreamAggregate"] = "StreamAggregate";
     PlanNodeType["HashAggregate"] = "HashAggregate";

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

@@ -1 +1 @@
-{"version":3,"file":"plan-node-type.js","sourceRoot":"","sources":["../../../../src/planner/nodes/plan-node-type.ts"],"names":[],"mappings":"AAAA,MAAM,CAAN,IAAY,YAoGX;AApGD,WAAY,YAAY;IACtB,+BAA+B;IAC/B,+BAAe,CAAA;IACf,iDAAiC,CAAA;IACjC,qCAAqB,CAAA;IACrB,6CAA6B,CAAA;IAC7B,uCAAuB,CAAA;IACvB,iCAAiB,CAAA;IACjB,mCAAmB,CAAA;IACnB,qCAAqB,CAAA;IACrB,uCAAuB,CAAA;IACvB,iCAAiB,CAAA;IACjB,6BAAa,CAAA;IACb,2CAA2B,CAAA;IAC3B,6BAAa,CAAA;IACb,6CAA6B,CAAA;IAC7B,2BAAW,CAAA;IACX,6CAA6B,CAAA;IAC7B,mEAAmD,CAAA;IACnD,yBAAS,CAAA;IACT,iCAAiB,CAAA;IACjB,yCAAyB,CAAA;IAEzB,gBAAgB;IAChB,iCAAiB,CAAA;IACjB,iCAAiB,CAAA;IACjB,iDAAiC,CAAA;IACjC,iCAAiB,CAAA;IACjB,mDAAmC,CAAA;IACnC,2CAA2B,CAAA;IAC3B,uCAAuB,CAAA;IACvB,2CAA2B,CAAA;IAC3B,uCAAuB,CAAA;IACvB,yCAAyB,CAAA;IACzB,qCAAqB,CAAA;IACrB,mDAAmC,CAAA;IACnC,+CAA+B,CAAA;IAC/B,yCAAyB,CAAA;IACzB,+CAA+B,CAAA;IAE/B,kCAAkC;IAClC,mCAAmB,CAAA;IACnB,uCAAuB,CAAA;IACvB,uCAAuB,CAAA;IACvB,2CAA2B,CAAA;IAC3B,2CAA2B,CAAA;IAC3B,mDAAmC,CAAA;IACnC,+CAA+B,CAAA;IAC/B,iDAAiC,CAAA;IACjC,qCAAqB,CAAA;IACrB,uCAAuB,CAAA;IACvB,qCAAqB,CAAA;IACrB,6CAA6B,CAAA;IAC7B,2CAA2B,CAAA;IAE3B,0BAA0B;IAC1B,mCAAmB,CAAA;IACnB,mDAAmC,CAAA;IACnC,yDAAyC,CAAA;IACzC,yCAAyB,CAAA;IACzB,mCAAmB,CAAA;IACnB,qCAAqB,CAAA;IACrB,qCAAqB,CAAA;IACrB,6BAAa,CAAA;IACb,mCAAmB,CAAA;IACnB,yDAAyC,CAAA;IACzC,yDAAyC,CAAA;IACzC,mCAAmB,CAAA;IACnB,iCAAiB,CAAA;IACjB,uCAAuB,CAAA;IACvB,6BAAa,CAAA;IACb,iDAAiC,CAAA;IACjC,iEAAiD,CAAA;IACjD,uDAAuC,CAAA;IAEvC,2BAA2B;IAC3B,+BAAe,CAAA;IACf,iCAAiB,CAAA;IAClB,6CAA6B,CAAA;IAC5B,uCAAuB,CAAA;IACvB,uDAAuC,CAAA;IAEvC,sBAAsB;IACtB,2CAA2B,CAAA;IAC3B,uCAAuB,CAAA;IAEvB,UAAU;IACV,iCAAiB,CAAA;IACjB,mCAAmB,CAAA;IACnB,+CAA+B,CAAA;IAC/B,yCAAyB,CAAA;IACzB,2CAA2B,CAAA;IAC3B,+CAA+B,CAAA;IAE/B,kBAAkB;IAClB,+BAAe,CAAA;IACf,6BAAa,CAAA;IAEb,oBAAoB;IACpB,uCAAuB,CAAA;AACzB,CAAC,EApGW,YAAY,KAAZ,YAAY,QAoGvB"}
+{"version":3,"file":"plan-node-type.js","sourceRoot":"","sources":["../../../../src/planner/nodes/plan-node-type.ts"],"names":[],"mappings":"AAAA,MAAM,CAAN,IAAY,YAqGX;AArGD,WAAY,YAAY;IACtB,+BAA+B;IAC/B,+BAAe,CAAA;IACf,iDAAiC,CAAA;IACjC,qCAAqB,CAAA;IACrB,6CAA6B,CAAA;IAC7B,uCAAuB,CAAA;IACvB,iCAAiB,CAAA;IACjB,mCAAmB,CAAA;IACnB,qCAAqB,CAAA;IACrB,uCAAuB,CAAA;IACvB,iCAAiB,CAAA;IACjB,6BAAa,CAAA;IACb,2CAA2B,CAAA;IAC3B,6BAAa,CAAA;IACb,6CAA6B,CAAA;IAC7B,2BAAW,CAAA;IACX,6CAA6B,CAAA;IAC7B,mEAAmD,CAAA;IACnD,yBAAS,CAAA;IACT,iCAAiB,CAAA;IACjB,yCAAyB,CAAA;IAEzB,gBAAgB;IAChB,iCAAiB,CAAA;IACjB,iCAAiB,CAAA;IACjB,iDAAiC,CAAA;IACjC,iCAAiB,CAAA;IACjB,mDAAmC,CAAA;IACnC,2CAA2B,CAAA;IAC3B,uCAAuB,CAAA;IACvB,2CAA2B,CAAA;IAC3B,uCAAuB,CAAA;IACvB,yCAAyB,CAAA;IACzB,qCAAqB,CAAA;IACrB,mDAAmC,CAAA;IACnC,+CAA+B,CAAA;IAC/B,yCAAyB,CAAA;IACzB,+CAA+B,CAAA;IAE/B,kCAAkC;IAClC,mCAAmB,CAAA;IACnB,uCAAuB,CAAA;IACvB,uCAAuB,CAAA;IACvB,2CAA2B,CAAA;IAC3B,+CAA+B,CAAA;IAC/B,2CAA2B,CAAA;IAC3B,mDAAmC,CAAA;IACnC,+CAA+B,CAAA;IAC/B,iDAAiC,CAAA;IACjC,qCAAqB,CAAA;IACrB,uCAAuB,CAAA;IACvB,qCAAqB,CAAA;IACrB,6CAA6B,CAAA;IAC7B,2CAA2B,CAAA;IAE3B,0BAA0B;IAC1B,mCAAmB,CAAA;IACnB,mDAAmC,CAAA;IACnC,yDAAyC,CAAA;IACzC,yCAAyB,CAAA;IACzB,mCAAmB,CAAA;IACnB,qCAAqB,CAAA;IACrB,qCAAqB,CAAA;IACrB,6BAAa,CAAA;IACb,mCAAmB,CAAA;IACnB,yDAAyC,CAAA;IACzC,yDAAyC,CAAA;IACzC,mCAAmB,CAAA;IACnB,iCAAiB,CAAA;IACjB,uCAAuB,CAAA;IACvB,6BAAa,CAAA;IACb,iDAAiC,CAAA;IACjC,iEAAiD,CAAA;IACjD,uDAAuC,CAAA;IAEvC,2BAA2B;IAC3B,+BAAe,CAAA;IACf,iCAAiB,CAAA;IAClB,6CAA6B,CAAA;IAC5B,uCAAuB,CAAA;IACvB,uDAAuC,CAAA;IAEvC,sBAAsB;IACtB,2CAA2B,CAAA;IAC3B,uCAAuB,CAAA;IAEvB,UAAU;IACV,iCAAiB,CAAA;IACjB,mCAAmB,CAAA;IACnB,+CAA+B,CAAA;IAC/B,yCAAyB,CAAA;IACzB,2CAA2B,CAAA;IAC3B,+CAA+B,CAAA;IAE/B,kBAAkB;IAClB,+BAAe,CAAA;IACf,6BAAa,CAAA;IAEb,oBAAoB;IACpB,uCAAuB,CAAA;AACzB,CAAC,EArGW,YAAY,KAAZ,YAAY,QAqGvB"}

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

@@ -17,6 +17,164 @@ export interface MonotonicOnInfo {
     /** Direction; default 'asc'. */
     readonly direction: 'asc' | 'desc';
 }
+/**
+ * A functional dependency on a relational node's output columns: when the
+ * values of `determinants` are fixed, the values of `dependents` are also
+ * fixed for every row.
+ *
+ * Column indices are output-column indices.
+ *
+ * - `determinants` empty means "constant": the dependents take a single value
+ *   for every row in the relation. An FD `∅ → all_cols` is the canonical
+ *   marker for an "at-most-one-row" relation.
+ * - A unique key `K` is encoded as the FD `K → (all_cols \ K)`. Consumers ask
+ *   "is K a superkey?" via `isSuperkey(K, fds, columnCount)` from
+ *   `planner/util/fd-utils.ts`.
+ * - The set is non-canonical — only the FDs each operator can prove are
+ *   stored. Use `computeClosure` to derive what a set of attributes implies.
+ * - The full-relation case (`K = all_cols`, i.e. set semantics with no smaller
+ *   discoverable key) is communicated via `RelationType.isSet`, not an FD.
+ * - `guard`, when present, restricts the FD to predicates that entail every
+ *   clause in the conjunction. A guarded FD never participates in closure;
+ *   `FilterNode` activates it (strips the guard) when its predicate implies
+ *   the guard, after which it propagates as an ordinary unconditional FD.
+ */
+export interface FunctionalDependency {
+    /** Determinant column indices in the node's output. Empty array means "constant" (no row variation). */
+    readonly determinants: readonly number[];
+    /** Dependent column indices in the node's output. Non-empty. */
+    readonly dependents: readonly number[];
+    /** When defined, the FD only activates if a surrounding predicate entails every clause. */
+    readonly guard?: GuardPredicate;
+    /** Optional provenance tag — informational for diagnostics, ignored by dedup. */
+    readonly source?: ConstraintProvenance;
+}
+/**
+ * Origin of an inferred constraint (FD / binding / domain). Optional and
+ * informational — dedup helpers in `fd-utils.ts` compare structural fields
+ * only, so identical constraints from different sources collapse to one and
+ * the kept entry's provenance is whichever was merged first. When a declared
+ * CHECK and a hoisted assertion produce structurally-identical contributions,
+ * the table reference merges declared-check facts first, so `declared-check`
+ * wins.
+ */
+export interface ConstraintProvenance {
+    readonly kind: 'declared-check' | 'assertion';
+    /** Lowercased assertion name when kind === 'assertion'. */
+    readonly name?: string;
+}
+/**
+ * Predicate guarding a conditional functional dependency. All clauses must be
+ * entailed by the surrounding predicate (conjunctively) before the guarded FD
+ * activates.
+ */
+export interface GuardPredicate {
+    readonly clauses: readonly GuardClause[];
+}
+/**
+ * Narrow guard-clause vocabulary recognized by predicate-implies-guard
+ * checking. Each shape is something `extractEqualityFds` / EC / binding layers
+ * can already reason about, so activation is a structural check.
+ *
+ * Shapes:
+ * - `eq-literal` / `eq-column` / `is-null` — equality and null-test atoms.
+ * - `range` — open or closed interval on one column, matching `DomainConstraint`
+ *   range shape. Inclusivity flags for absent bounds are unobservable but
+ *   stored conservatively as `false`. Discharge subsumption ("filter ⊆ guard")
+ *   is via per-side bound comparison.
+ * - `or-of` — flat disjunction of the other shapes; recognizers flatten nested
+ *   `or-of` clauses at construction time so a sub-clause is never itself an
+ *   `or-of`.
+ *
+ * `IN (lit, ...)` and `NOT col` shapes are pre-normalized at recognition time
+ * into the same vocabulary (IN-list → `or-of [eq-literal]`, `NOT col` →
+ * `eq-literal { col, value: 0 }`).
+ */
+export type GuardClause = {
+    readonly kind: 'eq-literal';
+    readonly column: number;
+    readonly value: SqlValue;
+} | {
+    readonly kind: 'eq-column';
+    readonly left: number;
+    readonly right: number;
+} | {
+    readonly kind: 'is-null';
+    readonly column: number;
+    readonly negated: boolean;
+} | {
+    readonly kind: 'range';
+    readonly column: number;
+    readonly min?: SqlValue;
+    readonly max?: SqlValue;
+    readonly minInclusive: boolean;
+    readonly maxInclusive: boolean;
+} | {
+    readonly kind: 'or-of';
+    readonly clauses: readonly GuardClause[];
+};
+/**
+ * A pinned-constant value associated with a `ConstantBinding`. Either a
+ * compile-time literal `SqlValue`, or a bound parameter identified by
+ * `paramRef` (numeric 1-based index for `?`, string name for `:foo`-style).
+ */
+export type ConstantValue = {
+    readonly kind: 'literal';
+    readonly value: SqlValue;
+} | {
+    readonly kind: 'parameter';
+    readonly paramRef: string | number;
+};
+/**
+ * Output columns pinned to a single value across every row of one execution.
+ * Companion to `∅ → col` FDs: that FD records *that* a column is constant,
+ * while a `ConstantBinding` additionally records *what value* it is pinned
+ * to. Downstream rules (predicate inference through ECs, ordering pruning)
+ * consume bindings directly instead of re-walking predicate ASTs.
+ */
+export interface ConstantBinding {
+    /** Output column indices pinned to `value`. */
+    readonly attrs: readonly number[];
+    readonly value: ConstantValue;
+    /** Optional provenance tag — informational, ignored by dedup. */
+    readonly source?: ConstraintProvenance;
+}
+/**
+ * A bound on the values a single output column can take across every row of one
+ * execution. Sourced from declared CHECK constraints at the table reference and
+ * propagated like FDs/ECs/bindings — see `planner/util/fd-utils.ts` for the
+ * merge/project/shift helpers.
+ *
+ * - `range`: an open or closed interval. `min`/`max` are absent for unbounded
+ *   sides; `minInclusive`/`maxInclusive` are ignored when the corresponding
+ *   bound is absent.
+ * - `enum`: a finite set of allowed values.
+ *
+ * Multiple constraints may exist on the same column (and even on the same kind)
+ * — intersection is deferred to the predicate-contradiction-detection ticket.
+ */
+export type DomainConstraint = {
+    readonly kind: 'range';
+    /** Output column index. */
+    readonly column: number;
+    /** Lower bound, when known. */
+    readonly min?: SqlValue;
+    /** Upper bound, when known. */
+    readonly max?: SqlValue;
+    /** Lower bound is inclusive. Ignored when `min` is absent. */
+    readonly minInclusive: boolean;
+    /** Upper bound is inclusive. Ignored when `max` is absent. */
+    readonly maxInclusive: boolean;
+    /** Optional provenance tag — informational, ignored by dedup. */
+    readonly source?: ConstraintProvenance;
+} | {
+    readonly kind: 'enum';
+    /** Output column index. */
+    readonly column: number;
+    readonly values: ReadonlyArray<SqlValue>;
+    /** Optional provenance tag — informational, ignored by dedup. */
+    readonly source?: ConstraintProvenance;
+};
 /**
  * Physical properties that execution nodes can provide or require
  */
@@ -29,11 +187,35 @@ export interface PhysicalProperties {
     /** Estimated number of rows this node will produce */
     estimatedRows?: number;
     /**
-     * Column sets that are guaranteed unique in the output.
-     * Unlike logical keys which are schema-defined, these are derived from
-     * the operation (e.g., DISTINCT creates a unique key on all columns)
+     * Functional dependencies that hold over the output stream. The canonical
+     * representation of "what determines what" — unique keys are encoded as
+     * FDs `K → (all_cols \ K)`, and `∅ → all_cols` encodes "at-most-one-row".
+     * Use `computeClosure` / `isSuperkey` / `hasAnyKey` / `hasSingletonFd`
+     * from `planner/util/fd-utils.ts` to query them.
+     */
+    fds?: ReadonlyArray<FunctionalDependency>;
+    /**
+     * Equivalence classes over the node's output columns. Each class is a set
+     * of column indices known to hold equal values for every row. Derived from
+     * equality predicates and equi-join conditions.
+     */
+    equivClasses?: ReadonlyArray<ReadonlyArray<number>>;
+    /**
+     * Output columns pinned to a known constant value within a single execution.
+     * Mirrors `∅ → col` FDs but carries the *value* so downstream rules
+     * (predicate inference, ordering pruning) can rewrite predicates without
+     * re-walking the source predicate AST. Parameters (`?` / `:foo`) count as
+     * constants here because they are bound once before iteration.
+     */
+    constantBindings?: ReadonlyArray<ConstantBinding>;
+    /**
+     * Per-column value bounds (range or enum) provable for every row in the
+     * stream. Sourced from declared CHECK constraints at the table reference and
+     * propagated through unary/binary operators using the same projection rules
+     * as FDs/ECs/bindings. Multiple constraints on the same column may coexist;
+     * intersection across constraints is deferred to a follow-up ticket.
      */
-    uniqueKeys?: number[][];
+    domainConstraints?: ReadonlyArray<DomainConstraint>;
     /**
      * Attributes the relation is monotonically ordered on. Stronger than `ordering`:
      * meaningful only for total-order-preserving sources (vtab access plans that