@quereus/quereus 2.9.0 → 3.0.1

package/dist/src/planner/analysis/sat-checker.js

@@ -0,0 +1,393 @@
+/**
+ * Per-column constraint-satisfiability checker.
+ *
+ * Folds the conjunction of (predicate conjuncts ∧ source domain constraints ∧
+ * literal constant bindings) into per-column accumulators, then asks:
+ * "is there any value of every mentioned column that satisfies every fact?"
+ *
+ * The fragment is intentionally narrow:
+ *   - Single-column comparisons against literals (= / == / != / < / <= / > / >=).
+ *   - Single-column BETWEEN literal AND literal (positive form).
+ *   - Single-column IN (lit, lit, ...) and intersection across IN-lists.
+ *     The empty form `x IN ()` is also recognized as trivially `unsat`.
+ *   - Range from `DomainConstraint { kind: 'range' }`.
+ *   - Enum from `DomainConstraint { kind: 'enum' }`.
+ *   - Literal `ConstantBinding`.
+ *
+ * Everything else (LIKE, function calls, cross-column comparisons, OR-trees,
+ * CASE, IS NULL, NOT IN with non-literal RHS, …) marks the touched columns as
+ * `sawUnknown`. The checker only ever returns `unsat` when an in-scope subset
+ * proves a contradiction — false positives are never emitted.
+ *
+ * Used by `rule-filter-contradiction` to recognize `Filter(child, false)` cases
+ * that const-folding can then collapse to `EmptyRelationNode`.
+ */
+import { ColumnReferenceNode } from '../nodes/reference.js';
+import { BetweenNode, BinaryOpNode, CastNode, CollateNode, LiteralNode, UnaryOpNode, } from '../nodes/scalar.js';
+import { InNode } from '../nodes/subquery.js';
+import { compareSqlValues } from '../../util/comparison.js';
+import { flipComparison } from './predicate-shape.js';
+/** Cap on the number of conjuncts we attempt to absorb. Mirrors `MAX_FDS_PER_NODE`. */
+const MAX_CONJUNCTS = 64;
+/** Cap on |allowedValues| / |excluded| before we collapse to `sawUnknown`. */
+const MAX_VALUES_PER_COL = 64;
+/**
+ * Returns `'unsat'` iff the conjunction is provably contradictory within the
+ * supported fragment; `'sat'` when no contradiction is found and every
+ * mentioned clause was in scope; `'unknown'` otherwise. Never returns false
+ * `'unsat'`.
+ *
+ * `attrIndex(attrId)` maps an attribute id visible to the predicate's
+ * `ColumnReferenceNode`s back to the physical column index used by
+ * `domains` / `bindings`. Pass an identity-style mapper if the caller has
+ * already aligned them.
+ *
+ * `getCollation(col)` is optional; when supplied, equality / range comparisons
+ * for that column use the named collation (TEXT only — numeric comparisons are
+ * collation-independent). Defaults to BINARY.
+ */
+export function checkSatisfiability(conjuncts, domains, bindings, attrIndex, getCollation) {
+    if (conjuncts.length > MAX_CONJUNCTS)
+        return 'unknown';
+    const accs = new Map();
+    const collationOf = (col) => getCollation?.(col) ?? 'BINARY';
+    const cmp = (a, b, col) => compareSqlValues(a, b, collationOf(col));
+    // 1) Seed accumulators from declared domains.
+    for (const d of domains) {
+        const acc = getOrCreate(accs, d.column);
+        if (d.kind === 'range') {
+            if (d.min !== undefined && d.min !== null) {
+                tightenLower(acc, d.min, d.minInclusive, d.column, cmp);
+            }
+            if (d.max !== undefined && d.max !== null) {
+                tightenUpper(acc, d.max, d.maxInclusive, d.column, cmp);
+            }
+        }
+        else {
+            intersectAllowed(acc, d.values, d.column, cmp);
+        }
+    }
+    // 2) Seed accumulators from literal constant bindings. Parameter bindings
+    // carry no compile-time value, so they cannot prove a contradiction.
+    for (const b of bindings) {
+        if (b.value.kind !== 'literal')
+            continue;
+        const v = b.value.value;
+        if (v === null)
+            continue;
+        for (const col of b.attrs) {
+            const acc = getOrCreate(accs, col);
+            tightenLower(acc, v, true, col, cmp);
+            tightenUpper(acc, v, true, col, cmp);
+            intersectAllowed(acc, [v], col, cmp);
+        }
+    }
+    // 3) Absorb each conjunct.
+    for (const conj of conjuncts) {
+        absorb(conj, accs, attrIndex, cmp);
+    }
+    // 4) Decide per-column.
+    let anyUnknown = false;
+    for (const [col, acc] of accs) {
+        // Collapse allowedValues with the range.
+        if (acc.allowedValues !== undefined) {
+            const filtered = [];
+            for (const v of acc.allowedValues) {
+                if (!withinRange(acc, v, col, cmp))
+                    continue;
+                if (containsValue(acc.excluded, v, col, cmp))
+                    continue;
+                filtered.push(v);
+            }
+            if (filtered.length === 0)
+                return 'unsat';
+            acc.allowedValues = filtered;
+        }
+        // Range emptiness.
+        if (acc.minValue !== undefined && acc.maxValue !== undefined) {
+            const c = cmp(acc.minValue, acc.maxValue, col);
+            if (c > 0)
+                return 'unsat';
+            if (c === 0 && (!acc.minInclusive || !acc.maxInclusive))
+                return 'unsat';
+            // Point range pinched by an exclusion.
+            if (c === 0 && acc.minInclusive && acc.maxInclusive && containsValue(acc.excluded, acc.minValue, col, cmp)) {
+                return 'unsat';
+            }
+        }
+        // Singleton allowed value excluded.
+        if (acc.allowedValues && acc.allowedValues.length === 1) {
+            if (containsValue(acc.excluded, acc.allowedValues[0], col, cmp))
+                return 'unsat';
+        }
+        if (acc.sawUnknown)
+            anyUnknown = true;
+    }
+    return anyUnknown ? 'unknown' : 'sat';
+}
+function getOrCreate(accs, col) {
+    let acc = accs.get(col);
+    if (!acc) {
+        acc = {
+            minInclusive: false,
+            maxInclusive: false,
+            excluded: [],
+            sawUnknown: false,
+        };
+        accs.set(col, acc);
+    }
+    return acc;
+}
+function tightenLower(acc, value, inclusive, col, cmp) {
+    if (acc.minValue === undefined) {
+        acc.minValue = value;
+        acc.minInclusive = inclusive;
+        return;
+    }
+    const c = cmp(value, acc.minValue, col);
+    if (c > 0) {
+        acc.minValue = value;
+        acc.minInclusive = inclusive;
+    }
+    else if (c === 0 && acc.minInclusive && !inclusive) {
+        acc.minInclusive = false;
+    }
+}
+function tightenUpper(acc, value, inclusive, col, cmp) {
+    if (acc.maxValue === undefined) {
+        acc.maxValue = value;
+        acc.maxInclusive = inclusive;
+        return;
+    }
+    const c = cmp(value, acc.maxValue, col);
+    if (c < 0) {
+        acc.maxValue = value;
+        acc.maxInclusive = inclusive;
+    }
+    else if (c === 0 && acc.maxInclusive && !inclusive) {
+        acc.maxInclusive = false;
+    }
+}
+function intersectAllowed(acc, values, col, cmp) {
+    const nonNull = [];
+    for (const v of values)
+        if (v !== null)
+            nonNull.push(v);
+    if (nonNull.length > MAX_VALUES_PER_COL) {
+        acc.sawUnknown = true;
+        return;
+    }
+    if (acc.allowedValues === undefined) {
+        acc.allowedValues = nonNull.slice();
+        return;
+    }
+    const intersected = [];
+    for (const v of acc.allowedValues) {
+        if (containsValue(nonNull, v, col, cmp))
+            intersected.push(v);
+    }
+    acc.allowedValues = intersected;
+}
+function containsValue(arr, value, col, cmp) {
+    for (const v of arr) {
+        if (cmp(v, value, col) === 0)
+            return true;
+    }
+    return false;
+}
+function withinRange(acc, value, col, cmp) {
+    if (acc.minValue !== undefined) {
+        const c = cmp(value, acc.minValue, col);
+        if (c < 0)
+            return false;
+        if (c === 0 && !acc.minInclusive)
+            return false;
+    }
+    if (acc.maxValue !== undefined) {
+        const c = cmp(value, acc.maxValue, col);
+        if (c > 0)
+            return false;
+        if (c === 0 && !acc.maxInclusive)
+            return false;
+    }
+    return true;
+}
+/**
+ * Strip type-preserving wrappers (CAST, COLLATE) to expose the underlying
+ * literal / column reference for shape matching.
+ */
+function unwrap(n) {
+    let cur = n;
+    while (cur instanceof CastNode || cur instanceof CollateNode)
+        cur = cur.operand;
+    return cur;
+}
+function literalOf(n) {
+    const u = unwrap(n);
+    if (!(u instanceof LiteralNode))
+        return undefined;
+    const v = u.expression.value;
+    if (v instanceof Promise)
+        return undefined;
+    return v;
+}
+function columnOf(n, attrIndex) {
+    const u = unwrap(n);
+    if (!(u instanceof ColumnReferenceNode))
+        return undefined;
+    return attrIndex(u.attributeId);
+}
+/**
+ * Walk every column reference inside `n` and mark its accumulator `sawUnknown`.
+ * Used when a sub-expression doesn't fit the recognized shape — we still flag
+ * "we saw something about this column" so callers don't claim a clean `sat`.
+ */
+function markUnknownForColumns(n, accs, attrIndex) {
+    const stack = [n];
+    while (stack.length > 0) {
+        const cur = stack.pop();
+        if (cur instanceof ColumnReferenceNode) {
+            const idx = attrIndex(cur.attributeId);
+            if (idx !== undefined)
+                getOrCreate(accs, idx).sawUnknown = true;
+            continue;
+        }
+        for (const child of cur.getChildren()) {
+            if ('expression' in child)
+                stack.push(child);
+        }
+    }
+}
+function absorb(conj, accs, attrIndex, cmp) {
+    if (conj instanceof BinaryOpNode) {
+        const op = conj.expression.operator;
+        switch (op) {
+            case '=':
+            case '==':
+            case '!=':
+            case '<>':
+            case '<':
+            case '<=':
+            case '>':
+            case '>=': {
+                absorbBinary(conj, op, accs, attrIndex, cmp);
+                return;
+            }
+            default: {
+                markUnknownForColumns(conj, accs, attrIndex);
+                return;
+            }
+        }
+    }
+    if (conj instanceof BetweenNode) {
+        if (conj.expression.not === true) {
+            markUnknownForColumns(conj, accs, attrIndex);
+            return;
+        }
+        const col = columnOf(conj.expr, attrIndex);
+        const lo = literalOf(conj.lower);
+        const hi = literalOf(conj.upper);
+        if (col === undefined || lo === undefined || hi === undefined || lo === null || hi === null) {
+            markUnknownForColumns(conj, accs, attrIndex);
+            return;
+        }
+        const acc = getOrCreate(accs, col);
+        tightenLower(acc, lo, true, col, cmp);
+        tightenUpper(acc, hi, true, col, cmp);
+        return;
+    }
+    if (conj instanceof InNode) {
+        // Only literal-only IN-lists with a column-reference condition can
+        // contribute to the enum/intersection reasoning.
+        if (conj.source !== undefined) {
+            markUnknownForColumns(conj, accs, attrIndex);
+            return;
+        }
+        const col = columnOf(conj.condition, attrIndex);
+        if (col === undefined) {
+            // Non-column LHS (e.g. `(a + b) IN (...)`) — out of scope.
+            markUnknownForColumns(conj, accs, attrIndex);
+            return;
+        }
+        if (!conj.values || conj.values.length === 0) {
+            // `x IN ()` is always false → empty allowedValues forces the decision
+            // loop's `filtered.length === 0` step to return `unsat`.
+            intersectAllowed(getOrCreate(accs, col), [], col, cmp);
+            return;
+        }
+        const values = [];
+        for (const v of conj.values) {
+            const lit = literalOf(v);
+            if (lit === undefined) {
+                markUnknownForColumns(conj, accs, attrIndex);
+                return;
+            }
+            values.push(lit);
+        }
+        intersectAllowed(getOrCreate(accs, col), values, col, cmp);
+        return;
+    }
+    if (conj instanceof UnaryOpNode) {
+        // `IS NULL` / `IS NOT NULL` / `NOT (...)` — out of scope for v1.
+        markUnknownForColumns(conj, accs, attrIndex);
+        return;
+    }
+    // Anything else: literal-bool / CASE / function call / etc.
+    markUnknownForColumns(conj, accs, attrIndex);
+}
+function absorbBinary(conj, op, accs, attrIndex, cmp) {
+    // Normalize `lit op col` → `col flipped lit`.
+    let col = columnOf(conj.left, attrIndex);
+    let lit = literalOf(conj.right);
+    let normOp = op;
+    if (col === undefined) {
+        col = columnOf(conj.right, attrIndex);
+        lit = literalOf(conj.left);
+        normOp = flipComparison(op);
+    }
+    if (col === undefined || lit === undefined) {
+        markUnknownForColumns(conj, accs, attrIndex);
+        return;
+    }
+    // NULL literal in a comparison → result is NULL/UNKNOWN; treat as
+    // out-of-scope. Domain reasoning here would over-conclude unsat.
+    if (lit === null) {
+        markUnknownForColumns(conj, accs, attrIndex);
+        return;
+    }
+    const acc = getOrCreate(accs, col);
+    switch (normOp) {
+        case '=':
+        case '==':
+            tightenLower(acc, lit, true, col, cmp);
+            tightenUpper(acc, lit, true, col, cmp);
+            intersectAllowed(acc, [lit], col, cmp);
+            return;
+        case '!=':
+        case '<>':
+            if (acc.excluded.length < MAX_VALUES_PER_COL) {
+                if (!containsValue(acc.excluded, lit, col, cmp))
+                    acc.excluded.push(lit);
+            }
+            else {
+                acc.sawUnknown = true;
+            }
+            return;
+        case '<':
+            tightenUpper(acc, lit, false, col, cmp);
+            return;
+        case '<=':
+            tightenUpper(acc, lit, true, col, cmp);
+            return;
+        case '>':
+            tightenLower(acc, lit, false, col, cmp);
+            return;
+        case '>=':
+            tightenLower(acc, lit, true, col, cmp);
+            return;
+        default:
+            markUnknownForColumns(conj, accs, attrIndex);
+            return;
+    }
+}
+//# sourceMappingURL=sat-checker.js.map

package/dist/src/planner/analysis/sat-checker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sat-checker.js","sourceRoot":"","sources":["../../../../src/planner/analysis/sat-checker.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAQH,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EACN,WAAW,EACX,YAAY,EACZ,QAAQ,EACR,WAAW,EACX,WAAW,EACX,WAAW,GACX,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAsBtD,uFAAuF;AACvF,MAAM,aAAa,GAAG,EAAE,CAAC;AACzB,8EAA8E;AAC9E,MAAM,kBAAkB,GAAG,EAAE,CAAC;AAE9B;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,mBAAmB,CAClC,SAAwC,EACxC,OAAwC,EACxC,QAAwC,EACxC,SAAiD,EACjD,YAAkD;IAElD,IAAI,SAAS,CAAC,MAAM,GAAG,aAAa;QAAE,OAAO,SAAS,CAAC;IAEvD,MAAM,IAAI,GAAG,IAAI,GAAG,EAA6B,CAAC;IAClD,MAAM,WAAW,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC;IAC7E,MAAM,GAAG,GAAG,CAAC,CAAW,EAAE,CAAW,EAAE,GAAW,EAAU,EAAE,CAC7D,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;IAE1C,8CAA8C;IAC9C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QACxC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;gBAC3C,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACzD,CAAC;YACD,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;gBAC3C,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACzD,CAAC;QACF,CAAC;aAAM,CAAC;YACP,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAChD,CAAC;IACF,CAAC;IAED,0EAA0E;IAC1E,qEAAqE;IACrE,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QACzC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;QACxB,IAAI,CAAC,KAAK,IAAI;YAAE,SAAS;QACzB,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YAC3B,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACnC,YAAY,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACrC,YAAY,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACrC,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACtC,CAAC;IACF,CAAC;IAED,2BAA2B;IAC3B,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC9B,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;IACpC,CAAC;IAED,wBAAwB;IACxB,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;QAC/B,yCAAyC;QACzC,IAAI,GAAG,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;YACrC,MAAM,QAAQ,GAAe,EAAE,CAAC;YAChC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC;gBACnC,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC;oBAAE,SAAS;gBAC7C,IAAI,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC;oBAAE,SAAS;gBACvD,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClB,CAAC;YACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,OAAO,CAAC;YAC1C,GAAG,CAAC,aAAa,GAAG,QAAQ,CAAC;QAC9B,CAAC;QAED,mBAAmB;QACnB,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC9D,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YAC/C,IAAI,CAAC,GAAG,CAAC;gBAAE,OAAO,OAAO,CAAC;YAC1B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,YAAY,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC;gBAAE,OAAO,OAAO,CAAC;YACxE,uCAAuC;YACvC,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,YAAY,IAAI,GAAG,CAAC,YAAY,IAAI,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;gBAC5G,OAAO,OAAO,CAAC;YAChB,CAAC;QACF,CAAC;QAED,oCAAoC;QACpC,IAAI,GAAG,CAAC,aAAa,IAAI,GAAG,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzD,IAAI,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC;gBAAE,OAAO,OAAO,CAAC;QACjF,CAAC;QAED,IAAI,GAAG,CAAC,UAAU;YAAE,UAAU,GAAG,IAAI,CAAC;IACvC,CAAC;IAED,OAAO,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;AACvC,CAAC;AAED,SAAS,WAAW,CAAC,IAAoC,EAAE,GAAW;IACrE,IAAI,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACxB,IAAI,CAAC,GAAG,EAAE,CAAC;QACV,GAAG,GAAG;YACL,YAAY,EAAE,KAAK;YACnB,YAAY,EAAE,KAAK;YACnB,QAAQ,EAAE,EAAE;YACZ,UAAU,EAAE,KAAK;SACjB,CAAC;QACF,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,SAAS,YAAY,CACpB,GAAsB,EACtB,KAAe,EACf,SAAkB,EAClB,GAAW,EACX,GAAsD;IAEtD,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChC,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC;QACrB,GAAG,CAAC,YAAY,GAAG,SAAS,CAAC;QAC7B,OAAO;IACR,CAAC;IACD,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IACxC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACX,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC;QACrB,GAAG,CAAC,YAAY,GAAG,SAAS,CAAC;IAC9B,CAAC;SAAM,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,YAAY,IAAI,CAAC,SAAS,EAAE,CAAC;QACtD,GAAG,CAAC,YAAY,GAAG,KAAK,CAAC;IAC1B,CAAC;AACF,CAAC;AAED,SAAS,YAAY,CACpB,GAAsB,EACtB,KAAe,EACf,SAAkB,EAClB,GAAW,EACX,GAAsD;IAEtD,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChC,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC;QACrB,GAAG,CAAC,YAAY,GAAG,SAAS,CAAC;QAC7B,OAAO;IACR,CAAC;IACD,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IACxC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACX,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC;QACrB,GAAG,CAAC,YAAY,GAAG,SAAS,CAAC;IAC9B,CAAC;SAAM,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,YAAY,IAAI,CAAC,SAAS,EAAE,CAAC;QACtD,GAAG,CAAC,YAAY,GAAG,KAAK,CAAC;IAC1B,CAAC;AACF,CAAC;AAED,SAAS,gBAAgB,CACxB,GAAsB,EACtB,MAA+B,EAC/B,GAAW,EACX,GAAsD;IAEtD,MAAM,OAAO,GAAe,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,MAAM;QAAE,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxD,IAAI,OAAO,CAAC,MAAM,GAAG,kBAAkB,EAAE,CAAC;QACzC,GAAG,CAAC,UAAU,GAAG,IAAI,CAAC;QACtB,OAAO;IACR,CAAC;IACD,IAAI,GAAG,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACrC,GAAG,CAAC,aAAa,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC;QACpC,OAAO;IACR,CAAC;IACD,MAAM,WAAW,GAAe,EAAE,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC;QACnC,IAAI,aAAa,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC;IACD,GAAG,CAAC,aAAa,GAAG,WAAW,CAAC;AACjC,CAAC;AAED,SAAS,aAAa,CACrB,GAA4B,EAC5B,KAAe,EACf,GAAW,EACX,GAAsD;IAEtD,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QACrB,IAAI,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;IAC3C,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CACnB,GAAsB,EACtB,KAAe,EACf,GAAW,EACX,GAAsD;IAEtD,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACxC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QACxB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY;YAAE,OAAO,KAAK,CAAC;IAChD,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACxC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QACxB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY;YAAE,OAAO,KAAK,CAAC;IAChD,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;GAGG;AACH,SAAS,MAAM,CAAC,CAAiB;IAChC,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,OAAO,GAAG,YAAY,QAAQ,IAAI,GAAG,YAAY,WAAW;QAAE,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC;IAChF,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,SAAS,SAAS,CAAC,CAAiB;IACnC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,CAAC,CAAC,CAAC,YAAY,WAAW,CAAC;QAAE,OAAO,SAAS,CAAC;IAClD,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC;IAC7B,IAAI,CAAC,YAAY,OAAO;QAAE,OAAO,SAAS,CAAC;IAC3C,OAAO,CAAC,CAAC;AACV,CAAC;AAED,SAAS,QAAQ,CAChB,CAAiB,EACjB,SAAiD;IAEjD,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,CAAC,CAAC,CAAC,YAAY,mBAAmB,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1D,OAAO,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;AACjC,CAAC;AAED;;;;GAIG;AACH,SAAS,qBAAqB,CAC7B,CAAiB,EACjB,IAAoC,EACpC,SAAiD;IAEjD,MAAM,KAAK,GAAqB,CAAC,CAAC,CAAC,CAAC;IACpC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACzB,IAAI,GAAG,YAAY,mBAAmB,EAAE,CAAC;YACxC,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YACvC,IAAI,GAAG,KAAK,SAAS;gBAAE,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC;YAChE,SAAS;QACV,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,WAAW,EAAE,EAAE,CAAC;YACvC,IAAI,YAAY,IAAI,KAAK;gBAAE,KAAK,CAAC,IAAI,CAAC,KAAuB,CAAC,CAAC;QAChE,CAAC;IACF,CAAC;AACF,CAAC;AAED,SAAS,MAAM,CACd,IAAoB,EACpB,IAAoC,EACpC,SAAiD,EACjD,GAAsD;IAEtD,IAAI,IAAI,YAAY,YAAY,EAAE,CAAC;QAClC,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;QACpC,QAAQ,EAAE,EAAE,CAAC;YACZ,KAAK,GAAG,CAAC;YACT,KAAK,IAAI,CAAC;YACV,KAAK,IAAI,CAAC;YACV,KAAK,IAAI,CAAC;YACV,KAAK,GAAG,CAAC;YACT,KAAK,IAAI,CAAC;YACV,KAAK,GAAG,CAAC;YACT,KAAK,IAAI,CAAC,CAAC,CAAC;gBACX,YAAY,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;gBAC7C,OAAO;YACR,CAAC;YACD,OAAO,CAAC,CAAC,CAAC;gBACT,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;gBAC7C,OAAO;YACR,CAAC;QACF,CAAC;IACF,CAAC;IACD,IAAI,IAAI,YAAY,WAAW,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;YAClC,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;YAC7C,OAAO;QACR,CAAC;QACD,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC3C,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAI,GAAG,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAC7F,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;YAC7C,OAAO;QACR,CAAC;QACD,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACnC,YAAY,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACtC,YAAY,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACtC,OAAO;IACR,CAAC;IACD,IAAI,IAAI,YAAY,MAAM,EAAE,CAAC;QAC5B,mEAAmE;QACnE,iDAAiD;QACjD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC/B,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;YAC7C,OAAO;QACR,CAAC;QACD,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QAChD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACvB,2DAA2D;YAC3D,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;YAC7C,OAAO;QACR,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9C,sEAAsE;YACtE,yDAAyD;YACzD,gBAAgB,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACvD,OAAO;QACR,CAAC;QACD,MAAM,MAAM,GAAe,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACvB,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;gBAC7C,OAAO;YACR,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClB,CAAC;QACD,gBAAgB,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3D,OAAO;IACR,CAAC;IACD,IAAI,IAAI,YAAY,WAAW,EAAE,CAAC;QACjC,iEAAiE;QACjE,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAC7C,OAAO;IACR,CAAC;IACD,4DAA4D;IAC5D,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,YAAY,CACpB,IAAkB,EAClB,EAAU,EACV,IAAoC,EACpC,SAAiD,EACjD,GAAsD;IAEtD,8CAA8C;IAC9C,IAAI,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACzC,IAAI,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACvB,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACtC,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QAC5C,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAC7C,OAAO;IACR,CAAC;IACD,kEAAkE;IAClE,iEAAiE;IACjE,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QAClB,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAC7C,OAAO;IACR,CAAC;IACD,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACnC,QAAQ,MAAM,EAAE,CAAC;QAChB,KAAK,GAAG,CAAC;QACT,KAAK,IAAI;YACR,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACvC,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACvC,gBAAgB,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACvC,OAAO;QACR,KAAK,IAAI,CAAC;QACV,KAAK,IAAI;YACR,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,kBAAkB,EAAE,CAAC;gBAC9C,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;oBAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACzE,CAAC;iBAAM,CAAC;gBACP,GAAG,CAAC,UAAU,GAAG,IAAI,CAAC;YACvB,CAAC;YACD,OAAO;QACR,KAAK,GAAG;YACP,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACxC,OAAO;QACR,KAAK,IAAI;YACR,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACvC,OAAO;QACR,KAAK,GAAG;YACP,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACxC,OAAO;QACR,KAAK,IAAI;YACR,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACvC,OAAO;QACR;YACC,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;YAC7C,OAAO;IACT,CAAC;AACF,CAAC"}

package/dist/src/planner/building/table.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"table.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/table.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAEhD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAG9D;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,OAAO,EAAE,eAAe,GAAG,YAAY,CAyBtG"}
+{"version":3,"file":"table.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/table.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAEhD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAG9D;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,OAAO,EAAE,eAAe,GAAG,YAAY,CA0BtG"}

package/dist/src/planner/building/table.js

@@ -23,7 +23,7 @@ export function buildTableReference(fromClause, context) {
     const tableSchema = resolveTableSchema(context, fromClause.table.name, fromClause.table.schema);
     // Resolve vtab module at build time
     const vtabModuleInfo = resolveVtabModule(context, tableSchema.vtabModuleName);
-    const tableRef = new TableReferenceNode(context.scope, tableSchema, vtabModuleInfo.module, vtabModuleInfo.auxData, undefined, readCommitted);
+    const tableRef = new TableReferenceNode(context.scope, tableSchema, vtabModuleInfo.module, vtabModuleInfo.auxData, undefined, readCommitted, context.schemaManager);
     // Wrap in RetrieveNode to establish vtab/Quereus boundary
     return new RetrieveNode(context.scope, tableRef, tableRef);
 }

package/dist/src/planner/building/table.js.map

@@ -1 +1 @@
-{"version":3,"file":"table.js","sourceRoot":"","sources":["../../../../src/planner/building/table.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAEnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEzD,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAErG;;;;;;;;;GASG;AACH,MAAM,UAAU,mBAAmB,CAAC,UAA0B,EAAE,OAAwB;IACvF,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACjC,MAAM,IAAI,YAAY,CAAC,sEAAsE,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;IACrH,CAAC;IAED,kDAAkD;IAClD,MAAM,aAAa,GAAG,oBAAoB,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAEpE,6FAA6F;IAC7F,MAAM,WAAW,GAAG,kBAAkB,CAAC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAEhG,oCAAoC;IACpC,MAAM,cAAc,GAAG,iBAAiB,CAAC,OAAO,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IAE9E,MAAM,QAAQ,GAAG,IAAI,kBAAkB,CACtC,OAAO,CAAC,KAAK,EACb,WAAW,EACX,cAAc,CAAC,MAAM,EACrB,cAAc,CAAC,OAAO,EACtB,SAAS,EACT,aAAa,CACb,CAAC;IAEF,0DAA0D;IAC1D,OAAO,IAAI,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;AAC5D,CAAC"}
+{"version":3,"file":"table.js","sourceRoot":"","sources":["../../../../src/planner/building/table.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAEnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEzD,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAErG;;;;;;;;;GASG;AACH,MAAM,UAAU,mBAAmB,CAAC,UAA0B,EAAE,OAAwB;IACvF,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACjC,MAAM,IAAI,YAAY,CAAC,sEAAsE,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;IACrH,CAAC;IAED,kDAAkD;IAClD,MAAM,aAAa,GAAG,oBAAoB,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAEpE,6FAA6F;IAC7F,MAAM,WAAW,GAAG,kBAAkB,CAAC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAEhG,oCAAoC;IACpC,MAAM,cAAc,GAAG,iBAAiB,CAAC,OAAO,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IAE9E,MAAM,QAAQ,GAAG,IAAI,kBAAkB,CACtC,OAAO,CAAC,KAAK,EACb,WAAW,EACX,cAAc,CAAC,MAAM,EACrB,cAAc,CAAC,OAAO,EACtB,SAAS,EACT,aAAa,EACb,OAAO,CAAC,aAAa,CACrB,CAAC;IAEF,0DAA0D;IAC1D,OAAO,IAAI,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;AAC5D,CAAC"}

package/dist/src/planner/framework/characteristics.d.ts

@@ -27,9 +27,18 @@ export declare class PlanNodeCharacteristics {
     static getMonotonicOn(node: PlanNode): readonly MonotonicOnInfo[];
     static isMonotonicOn(node: PlanNode, attrId: number): MonotonicOnInfo | undefined;
     static estimatesRows(node: PlanNode): number;
+    /**
+     * True iff the relation is guaranteed to produce at most one row — i.e.,
+     * the singleton FD `∅ → all_cols` holds. (Replaces the legacy `[[]]`
+     * uniqueKeys marker.)
+     */
     static guaranteesUniqueRows(node: PlanNode): boolean;
+    /**
+     * True iff the relation has at least one non-trivial unique key — i.e., an
+     * FD whose determinants form a superkey of all output columns, with the
+     * determinant set strictly smaller than the full column list.
+     */
     static hasUniqueKeys(node: PlanNode): boolean;
-    static getUniqueKeys(node: PlanNode): number[][] | undefined;
     static isRelational(node: PlanNode): node is RelationalPlanNode;
     static producesRows(node: PlanNode): node is RelationalPlanNode;
     static isScalar(node: PlanNode): boolean;

package/dist/src/planner/framework/characteristics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"characteristics.d.ts","sourceRoot":"","sources":["../../../../src/planner/framework/characteristics.ts"],"names":[],"mappings":"AACA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,kBAAkB,EAAE,cAAc,EAAE,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAE1I,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAKzD;;GAEG;AACH,qBAAa,uBAAuB;IAEnC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAI9C,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAI1C,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAI/C,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAI5C,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,YAAY;IAIvD,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAK5C,MAAM,CAAC,gBAAgB,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAIhD,MAAM,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAMjD,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,GAAG;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,EAAE,GAAG,SAAS;IAKnF,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,eAAe,EAAE;IAIjE,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,eAAe,GAAG,SAAS;IAKjF,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM;IAI5C,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAIpD,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAI7C,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,EAAE,EAAE,GAAG,SAAS;IAK5D,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,kBAAkB;IAI/D,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,kBAAkB;IAI/D,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAIxC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAKtC,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAK3C,MAAM,CAAC,gBAAgB,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;CAIhD;AAED;;GAEG;AACH,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IACjD,YAAY,IAAI,cAAc,GAAG,IAAI,CAAC;IACtC,aAAa,CAAC,YAAY,EAAE,cAAc,GAAG,IAAI,GAAG,QAAQ,CAAC;CAC7D;AAED;;GAEG;AACH,MAAM,WAAW,sBAAuB,SAAQ,QAAQ;IACvD,aAAa,IAAI,SAAS,cAAc,EAAE,CAAC;CAC3C;AAED;;GAEG;AACH,MAAM,WAAW,mBAAoB,SAAQ,gBAAgB;IAC5D,oBAAoB,IAAI,OAAO,CAAC;IAChC,WAAW,CAAC,KAAK,EAAE,cAAc,GAAG,cAAc,CAAC;CACnD;AAED;;GAEG;AACH,MAAM,WAAW,kBAAmB,SAAQ,kBAAkB;IAC7D,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,eAAe,IAAI,YAAY,GAAG,YAAY,GAAG,YAAY,GAAG,SAAS,CAAC;CAC1E;AAED;;GAEG;AACH,MAAM,WAAW,kBAAmB,SAAQ,kBAAkB;IAC7D,eAAe,IAAI,SAAS,cAAc,EAAE,CAAC;IAC7C,uBAAuB,IAAI,SAAS;QAAE,IAAI,EAAE,cAAc,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACnG,gBAAgB,IAAI,OAAO,CAAC;IAC5B,kBAAkB,IAAI,OAAO,CAAC;IAC9B,SAAS,IAAI,kBAAkB,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC5C,WAAW,IAAI,SAAS;QAAE,UAAU,EAAE,cAAc,CAAC;QAAC,SAAS,EAAE,KAAK,GAAG,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,OAAO,GAAG,MAAM,CAAA;KAAE,EAAE,CAAC;IAC9G,YAAY,CAAC,IAAI,EAAE,SAAS;QAAE,UAAU,EAAE,cAAc,CAAC;QAAC,SAAS,EAAE,KAAK,GAAG,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,OAAO,GAAG,MAAM,CAAA;KAAE,EAAE,GAAG,QAAQ,CAAC;CAC7H;AAED;;GAEG;AACH,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC7C,kBAAkB,IAAI,cAAc,GAAG,SAAS,CAAC;IACjD,mBAAmB,IAAI,cAAc,GAAG,SAAS,CAAC;CAClD;AAED;;GAEG;AACH,MAAM,WAAW,qBAAsB,SAAQ,QAAQ;IACtD,gFAAgF;IAChF,sBAAsB,IAAI,MAAM,CAAC;IACjC,4DAA4D;IAC5D,oBAAoB,IAAI,aAAa,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpE,8DAA8D;IAC9D,0BAA0B,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;CACpE;AAED;;GAEG;AACH,MAAM,WAAW,iBAAkB,SAAQ,kBAAkB;IAC5D,cAAc,IAAI,SAAS;QAAE,IAAI,EAAE,cAAc,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC1F,eAAe,CAAC,WAAW,EAAE,SAAS;QAAE,IAAI,EAAE,cAAc,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,EAAE,GAAG,QAAQ,CAAC;CAChH;AAED;;GAEG;AACH,MAAM,WAAW,WAAY,SAAQ,kBAAkB;IACtD,WAAW,IAAI,OAAO,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC;IAC/E,gBAAgB,IAAI,cAAc,GAAG,SAAS,CAAC;IAC/C,aAAa,IAAI,kBAAkB,CAAC;IACpC,cAAc,IAAI,kBAAkB,CAAC;IACrC,eAAe,IAAI,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;CACjD;AAED;;GAEG;AACH,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC7C,gBAAgB,IAAI,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,IAAI,OAAO,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,UAAW,SAAQ,kBAAkB;IACrD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IACvC,QAAQ,CAAC,mBAAmB,EAAE,cAAc,GAAG,kBAAkB,GAAG,SAAS,CAAC;IAC9E,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,YAAY,IAAI,kBAAkB,CAAC;CACnC;AAED;;GAEG;AACH,MAAM,WAAW,sBAAuB,SAAQ,cAAc;IAC7D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC;CACpC;AAED;;GAEG;AACH,MAAM,WAAW,qBAAsB,SAAQ,cAAc;IAC5D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,wBAAyB,SAAQ,cAAc;IAC/D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC;CAC7C;AAED;;GAEG;AACH,MAAM,WAAW,sBAAuB,SAAQ,kBAAkB;IACjE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,sBAAsB,EAAE,eAAe,CAAC;CACjD;AAED;;GAEG;AACH,qBAAa,mBAAmB;IAC/B,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,gBAAgB;IAOrE,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,mBAAmB;IAMxE,MAAM,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,sBAAsB;IAIxE,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,kBAAkB;IAOhE,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,kBAAkB;IAQhE,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,WAAW;IAOtD,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,YAAY;IAOpD,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,qBAAqB;IAK7E,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,iBAAiB;IAM5D,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,WAAW;IAQlD,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,YAAY;IAKrD,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,UAAU;IAQhD,MAAM,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,sBAAsB;IAUxE,MAAM,CAAC,gBAAgB,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,qBAAqB;IAWtE,MAAM,CAAC,mBAAmB,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,wBAAwB;IAa5E,MAAM,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,sBAAsB;CAOxE;AAED;;GAEG;AACH,qBAAa,kBAAkB;IAC9B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAkD;IAEnF,MAAM,CAAC,QAAQ,CACd,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,CAAC,IAAI,EAAE,QAAQ,KAAK,OAAO,GACnC,IAAI;IAIP,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO;IAKjE,MAAM,CAAC,UAAU,CAChB,KAAK,EAAE,SAAS,QAAQ,EAAE,EAC1B,UAAU,EAAE,MAAM,GAChB,QAAQ,EAAE;IAMb,MAAM,CAAC,kBAAkB,IAAI,MAAM,EAAE;IAIrC,MAAM,CAAC,UAAU,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;CAG9C;AAED;;GAEG;AACH,qBAAa,eAAe;IAC3B,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAoB3C,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAkB3C,OAAO,CAAC,MAAM,CAAC,4BAA4B;IAK3C,MAAM,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM;CAIhD;AAED;;GAEG;AACH,qBAAa,iBAAiB;IAC7B,MAAM,CAAC,WAAW,CAAC,SAAS,EAAE,cAAc,EAAE,UAAU,EAAE,QAAQ,GAAG,OAAO;IAS5E,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,cAAc,GAAG,OAAO;IAMxE,OAAO,CAAC,MAAM,CAAC,uBAAuB;CAKtC"}
+{"version":3,"file":"characteristics.d.ts","sourceRoot":"","sources":["../../../../src/planner/framework/characteristics.ts"],"names":[],"mappings":"AACA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,kBAAkB,EAAE,cAAc,EAAE,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAE1I,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAMzD;;GAEG;AACH,qBAAa,uBAAuB;IAEnC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAI9C,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAI1C,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAI/C,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAI5C,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,YAAY;IAIvD,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAK5C,MAAM,CAAC,gBAAgB,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAIhD,MAAM,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAMjD,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,GAAG;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,EAAE,GAAG,SAAS;IAKnF,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,eAAe,EAAE;IAIjE,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,eAAe,GAAG,SAAS;IAKjF,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM;IAI5C;;;;OAIG;IACH,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAWpD;;;;OAIG;IACH,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAO7C,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,kBAAkB;IAI/D,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,kBAAkB;IAI/D,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAIxC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAKtC,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAK3C,MAAM,CAAC,gBAAgB,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;CAIhD;AAED;;GAEG;AACH,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IACjD,YAAY,IAAI,cAAc,GAAG,IAAI,CAAC;IACtC,aAAa,CAAC,YAAY,EAAE,cAAc,GAAG,IAAI,GAAG,QAAQ,CAAC;CAC7D;AAED;;GAEG;AACH,MAAM,WAAW,sBAAuB,SAAQ,QAAQ;IACvD,aAAa,IAAI,SAAS,cAAc,EAAE,CAAC;CAC3C;AAED;;GAEG;AACH,MAAM,WAAW,mBAAoB,SAAQ,gBAAgB;IAC5D,oBAAoB,IAAI,OAAO,CAAC;IAChC,WAAW,CAAC,KAAK,EAAE,cAAc,GAAG,cAAc,CAAC;CACnD;AAED;;GAEG;AACH,MAAM,WAAW,kBAAmB,SAAQ,kBAAkB;IAC7D,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,eAAe,IAAI,YAAY,GAAG,YAAY,GAAG,YAAY,GAAG,SAAS,CAAC;CAC1E;AAED;;GAEG;AACH,MAAM,WAAW,kBAAmB,SAAQ,kBAAkB;IAC7D,eAAe,IAAI,SAAS,cAAc,EAAE,CAAC;IAC7C,uBAAuB,IAAI,SAAS;QAAE,IAAI,EAAE,cAAc,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACnG,gBAAgB,IAAI,OAAO,CAAC;IAC5B,kBAAkB,IAAI,OAAO,CAAC;IAC9B,SAAS,IAAI,kBAAkB,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC5C,WAAW,IAAI,SAAS;QAAE,UAAU,EAAE,cAAc,CAAC;QAAC,SAAS,EAAE,KAAK,GAAG,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,OAAO,GAAG,MAAM,CAAA;KAAE,EAAE,CAAC;IAC9G,YAAY,CAAC,IAAI,EAAE,SAAS;QAAE,UAAU,EAAE,cAAc,CAAC;QAAC,SAAS,EAAE,KAAK,GAAG,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,OAAO,GAAG,MAAM,CAAA;KAAE,EAAE,GAAG,QAAQ,CAAC;CAC7H;AAED;;GAEG;AACH,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC7C,kBAAkB,IAAI,cAAc,GAAG,SAAS,CAAC;IACjD,mBAAmB,IAAI,cAAc,GAAG,SAAS,CAAC;CAClD;AAED;;GAEG;AACH,MAAM,WAAW,qBAAsB,SAAQ,QAAQ;IACtD,gFAAgF;IAChF,sBAAsB,IAAI,MAAM,CAAC;IACjC,4DAA4D;IAC5D,oBAAoB,IAAI,aAAa,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpE,8DAA8D;IAC9D,0BAA0B,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;CACpE;AAED;;GAEG;AACH,MAAM,WAAW,iBAAkB,SAAQ,kBAAkB;IAC5D,cAAc,IAAI,SAAS;QAAE,IAAI,EAAE,cAAc,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC1F,eAAe,CAAC,WAAW,EAAE,SAAS;QAAE,IAAI,EAAE,cAAc,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,EAAE,GAAG,QAAQ,CAAC;CAChH;AAED;;GAEG;AACH,MAAM,WAAW,WAAY,SAAQ,kBAAkB;IACtD,WAAW,IAAI,OAAO,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC;IAC/E,gBAAgB,IAAI,cAAc,GAAG,SAAS,CAAC;IAC/C,aAAa,IAAI,kBAAkB,CAAC;IACpC,cAAc,IAAI,kBAAkB,CAAC;IACrC,eAAe,IAAI,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;CACjD;AAED;;GAEG;AACH,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC7C,gBAAgB,IAAI,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,IAAI,OAAO,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,UAAW,SAAQ,kBAAkB;IACrD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IACvC,QAAQ,CAAC,mBAAmB,EAAE,cAAc,GAAG,kBAAkB,GAAG,SAAS,CAAC;IAC9E,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,YAAY,IAAI,kBAAkB,CAAC;CACnC;AAED;;GAEG;AACH,MAAM,WAAW,sBAAuB,SAAQ,cAAc;IAC7D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC;CACpC;AAED;;GAEG;AACH,MAAM,WAAW,qBAAsB,SAAQ,cAAc;IAC5D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,wBAAyB,SAAQ,cAAc;IAC/D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC;CAC7C;AAED;;GAEG;AACH,MAAM,WAAW,sBAAuB,SAAQ,kBAAkB;IACjE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,sBAAsB,EAAE,eAAe,CAAC;CACjD;AAED;;GAEG;AACH,qBAAa,mBAAmB;IAC/B,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,gBAAgB;IAOrE,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,mBAAmB;IAMxE,MAAM,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,sBAAsB;IAIxE,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,kBAAkB;IAOhE,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,kBAAkB;IAQhE,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,WAAW;IAOtD,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,YAAY;IAOpD,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,qBAAqB;IAK7E,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,iBAAiB;IAM5D,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,WAAW;IAQlD,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,YAAY;IAKrD,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,UAAU;IAQhD,MAAM,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,sBAAsB;IAUxE,MAAM,CAAC,gBAAgB,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,qBAAqB;IAWtE,MAAM,CAAC,mBAAmB,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,wBAAwB;IAa5E,MAAM,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,IAAI,sBAAsB;CAOxE;AAED;;GAEG;AACH,qBAAa,kBAAkB;IAC9B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAkD;IAEnF,MAAM,CAAC,QAAQ,CACd,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,CAAC,IAAI,EAAE,QAAQ,KAAK,OAAO,GACnC,IAAI;IAIP,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO;IAKjE,MAAM,CAAC,UAAU,CAChB,KAAK,EAAE,SAAS,QAAQ,EAAE,EAC1B,UAAU,EAAE,MAAM,GAChB,QAAQ,EAAE;IAMb,MAAM,CAAC,kBAAkB,IAAI,MAAM,EAAE;IAIrC,MAAM,CAAC,UAAU,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;CAG9C;AAED;;GAEG;AACH,qBAAa,eAAe;IAC3B,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAoB3C,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAkB3C,OAAO,CAAC,MAAM,CAAC,4BAA4B;IAK3C,MAAM,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM;CAIhD;AAED;;GAEG;AACH,qBAAa,iBAAiB;IAC7B,MAAM,CAAC,WAAW,CAAC,SAAS,EAAE,cAAc,EAAE,UAAU,EAAE,QAAQ,GAAG,OAAO;IAS5E,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,cAAc,GAAG,OAAO;IAMxE,OAAO,CAAC,MAAM,CAAC,uBAAuB;CAKtC"}

package/dist/src/planner/framework/characteristics.js

@@ -7,6 +7,7 @@
  * optimization rules.
  */
 import { isRelationalNode } from '../nodes/plan-node.js';
+import { hasAnyKey, hasSingletonFd } from '../util/fd-utils.js';
 // Default row estimate when not available
 const DEFAULT_ROW_ESTIMATE = 1000;
 /**
@@ -55,14 +56,32 @@ export class PlanNodeCharacteristics {
     static estimatesRows(node) {
         return node.physical.estimatedRows ?? DEFAULT_ROW_ESTIMATE;
     }
+    /**
+     * True iff the relation is guaranteed to produce at most one row — i.e.,
+     * the singleton FD `∅ → all_cols` holds. (Replaces the legacy `[[]]`
+     * uniqueKeys marker.)
+     */
     static guaranteesUniqueRows(node) {
-        return node.physical.uniqueKeys?.some(key => key.length === 0) === true;
+        if (!isRelationalNode(node))
+            return false;
+        const colCount = node.getAttributes().length;
+        if (colCount === 0) {
+            // Zero-column relation: at-most-one-row claim comes via estimatedRows
+            // since the singleton FD isn't representable.
+            return node.physical.estimatedRows === 1;
+        }
+        return hasSingletonFd(node.physical.fds, colCount);
     }
+    /**
+     * True iff the relation has at least one non-trivial unique key — i.e., an
+     * FD whose determinants form a superkey of all output columns, with the
+     * determinant set strictly smaller than the full column list.
+     */
     static hasUniqueKeys(node) {
-        return node.physical.uniqueKeys !== undefined && node.physical.uniqueKeys.length > 0;
-    }
-    static getUniqueKeys(node) {
-        return node.physical.uniqueKeys;
+        if (!isRelationalNode(node))
+            return false;
+        const colCount = node.getAttributes().length;
+        return hasAnyKey(node.physical.fds, colCount);
     }
     // Relational capabilities
     static isRelational(node) {

package/dist/src/planner/framework/characteristics.js.map

@@ -1 +1 @@
-{"version":3,"file":"characteristics.js","sourceRoot":"","sources":["../../../../src/planner/framework/characteristics.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD;;;;;;GAMG;AAGH,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAIzD,0CAA0C;AAC1C,MAAM,oBAAoB,GAAG,IAAI,CAAC;AAElC;;GAEG;AACH,MAAM,OAAO,uBAAuB;IACnC,8BAA8B;IAC9B,MAAM,CAAC,cAAc,CAAC,IAAc;QACnC,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC;IACzC,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,IAAc;QAC/B,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC;IACzC,CAAC;IAED,MAAM,CAAC,eAAe,CAAC,IAAc;QACpC,OAAO,IAAI,CAAC,QAAQ,CAAC,aAAa,KAAK,KAAK,CAAC;IAC9C,CAAC;IAED,MAAM,CAAC,YAAY,CAAC,IAAc;QACjC,OAAO,IAAI,CAAC,QAAQ,CAAC,UAAU,KAAK,KAAK,CAAC;IAC3C,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,IAAc;QAC/B,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,KAAK,IAAI,IAAI,UAAU,IAAI,IAAI,CAAC;IAC9D,CAAC;IAED,MAAM,CAAC,YAAY,CAAC,IAAc;QACjC,OAAO,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC;IAED,wBAAwB;IACxB,MAAM,CAAC,gBAAgB,CAAC,IAAc;QACrC,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;IAClF,CAAC;IAED,MAAM,CAAC,iBAAiB,CAAC,IAAc;QACtC,4EAA4E;QAC5E,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACpC,OAAO,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE,CAAC;IAED,MAAM,CAAC,WAAW,CAAC,IAAc;QAChC,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;IAC/B,CAAC;IAED,2BAA2B;IAC3B,MAAM,CAAC,cAAc,CAAC,IAAc;QACnC,OAAO,IAAI,CAAC,QAAQ,CAAC,WAAW,IAAI,EAAE,CAAC;IACxC,CAAC;IAED,MAAM,CAAC,aAAa,CAAC,IAAc,EAAE,MAAc;QAClD,OAAO,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IAClE,CAAC;IAED,uBAAuB;IACvB,MAAM,CAAC,aAAa,CAAC,IAAc;QAClC,OAAO,IAAI,CAAC,QAAQ,CAAC,aAAa,IAAI,oBAAoB,CAAC;IAC5D,CAAC;IAED,MAAM,CAAC,oBAAoB,CAAC,IAAc;QACzC,OAAO,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC;IACzE,CAAC;IAED,MAAM,CAAC,aAAa,CAAC,IAAc;QAClC,OAAO,IAAI,CAAC,QAAQ,CAAC,UAAU,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;IACtF,CAAC;IAED,MAAM,CAAC,aAAa,CAAC,IAAc;QAClC,OAAO,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;IACjC,CAAC;IAED,0BAA0B;IAC1B,MAAM,CAAC,YAAY,CAAC,IAAc;QACjC,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,MAAM,CAAC,YAAY,CAAC,IAAc;QACjC,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,MAAM,CAAC,QAAQ,CAAC,IAAc;QAC7B,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,SAAS,KAAK,QAAQ,CAAC;IAC9C,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,IAAc;QAC3B,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,SAAS,KAAK,MAAM,CAAC;IAC5C,CAAC;IAED,8BAA8B;IAC9B,MAAM,CAAC,WAAW,CAAC,IAAc;QAChC,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAC/C,OAAO,aAAa,GAAG,KAAK,CAAC,CAAC,oBAAoB;IACnD,CAAC;IAED,MAAM,CAAC,gBAAgB,CAAC,IAAc;QACrC,wEAAwE;QACxE,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;CACD;AAiJD;;GAEG;AACH,MAAM,OAAO,mBAAmB;IAC/B,MAAM,CAAC,oBAAoB,CAAC,IAAc;QACzC,OAAO,cAAc,IAAI,IAAI;YAC5B,OAAQ,IAAY,CAAC,YAAY,KAAK,UAAU;YAChD,eAAe,IAAI,IAAI;YACvB,OAAQ,IAAY,CAAC,aAAa,KAAK,UAAU,CAAC;IACpD,CAAC;IAED,MAAM,CAAC,oBAAoB,CAAC,IAAc;QACzC,OAAO,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC;YACrC,sBAAsB,IAAI,IAAI;YAC9B,OAAQ,IAAY,CAAC,oBAAoB,KAAK,UAAU,CAAC;IAC3D,CAAC;IAED,MAAM,CAAC,iBAAiB,CAAC,IAAc;QACtC,OAAO,eAAe,IAAI,IAAI,IAAI,OAAQ,IAAY,CAAC,aAAa,KAAK,UAAU,CAAC;IACrF,CAAC;IAED,MAAM,CAAC,aAAa,CAAC,IAAc;QAClC,OAAO,uBAAuB,CAAC,YAAY,CAAC,IAAI,CAAC;YAChD,aAAa,IAAI,IAAI;YACrB,iBAAiB,IAAI,IAAI;YACzB,OAAQ,IAAY,CAAC,eAAe,KAAK,UAAU,CAAC;IACtD,CAAC;IAED,MAAM,CAAC,aAAa,CAAC,IAAc;QAClC,OAAO,uBAAuB,CAAC,YAAY,CAAC,IAAI,CAAC;YAChD,iBAAiB,IAAI,IAAI;YACzB,OAAQ,IAAY,CAAC,eAAe,KAAK,UAAU;YACnD,yBAAyB,IAAI,IAAI;YACjC,OAAQ,IAAY,CAAC,uBAAuB,KAAK,UAAU,CAAC;IAC9D,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,IAAc;QAC/B,OAAO,aAAa,IAAI,IAAI;YAC3B,OAAQ,IAAY,CAAC,WAAW,KAAK,UAAU;YAC/C,cAAc,IAAI,IAAI;YACtB,OAAQ,IAAY,CAAC,YAAY,KAAK,UAAU,CAAC;IACnD,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,IAAc;QAC5B,OAAO,oBAAoB,IAAI,IAAI;YAClC,OAAQ,IAAY,CAAC,kBAAkB,KAAK,UAAU;YACtD,qBAAqB,IAAI,IAAI;YAC7B,OAAQ,IAAY,CAAC,mBAAmB,KAAK,UAAU,CAAC;IAC1D,CAAC;IAED,MAAM,CAAC,uBAAuB,CAAC,IAAc;QAC5C,OAAO,wBAAwB,IAAI,IAAI;YACtC,CAAC,OAAQ,IAAY,CAAC,sBAAsB,KAAK,QAAQ,IAAI,OAAQ,IAAY,CAAC,sBAAsB,KAAK,UAAU,CAAC,CAAC;IAC3H,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,IAAc;QAC/B,OAAO,uBAAuB,CAAC,YAAY,CAAC,IAAI,CAAC;YAChD,gBAAgB,IAAI,IAAI;YACxB,OAAQ,IAAY,CAAC,cAAc,KAAK,UAAU,CAAC;IACrD,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,IAAc;QAC3B,OAAO,uBAAuB,CAAC,YAAY,CAAC,IAAI,CAAC;YAChD,aAAa,IAAI,IAAI;YACrB,OAAQ,IAAY,CAAC,WAAW,KAAK,UAAU;YAC/C,eAAe,IAAI,IAAI;YACvB,gBAAgB,IAAI,IAAI,CAAC;IAC3B,CAAC;IAED,MAAM,CAAC,QAAQ,CAAC,IAAc;QAC7B,OAAO,kBAAkB,IAAI,IAAI;YAChC,OAAQ,IAAY,CAAC,gBAAgB,KAAK,UAAU,CAAC;IACvD,CAAC;IAED,MAAM,CAAC,KAAK,CAAC,IAAc;QAC1B,OAAO,uBAAuB,CAAC,YAAY,CAAC,IAAI,CAAC;YAChD,SAAS,IAAI,IAAI;YACjB,OAAQ,IAAY,CAAC,OAAO,KAAK,QAAQ;YACzC,cAAc,IAAI,IAAI;YACtB,OAAQ,IAAY,CAAC,YAAY,KAAK,UAAU,CAAC;IACnD,CAAC;IAED,MAAM,CAAC,iBAAiB,CAAC,IAAc;QACtC,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACxB,OAAO,uBAAuB,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC5C,aAAa,IAAI,IAAI;YACrB,OAAQ,IAAY,CAAC,WAAW,KAAK,QAAQ;YAC7C,aAAa,IAAI,IAAI;YACrB,OAAQ,IAAY,CAAC,WAAW,KAAK,QAAQ;YAC7C,YAAY,IAAI,IAAI,CAAC;IACvB,CAAC;IAED,MAAM,CAAC,gBAAgB,CAAC,IAAc;QACrC,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACxB,4EAA4E;QAC5E,OAAO,IAAI,CAAC,QAAQ,KAAK,oBAAoB;YAC5C,uBAAuB,CAAC,QAAQ,CAAC,IAAI,CAAC;YACtC,cAAc,IAAI,IAAI;YACtB,OAAQ,IAAY,CAAC,YAAY,KAAK,QAAQ;YAC9C,YAAY,IAAI,IAAI;YACpB,OAAQ,IAAY,CAAC,UAAU,KAAK,SAAS,CAAC;IAChD,CAAC;IAED,MAAM,CAAC,mBAAmB,CAAC,IAAc;QACxC,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACxB,kGAAkG;QAClG,OAAO,uBAAuB,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC5C,cAAc,IAAI,IAAI;YACtB,OAAQ,IAAY,CAAC,YAAY,KAAK,QAAQ;YAC9C,YAAY,IAAI,IAAI;YACpB,OAAQ,IAAY,CAAC,UAAU,KAAK,SAAS;YAC7C,MAAM,IAAI,IAAI;YACd,KAAK,CAAC,OAAO,CAAE,IAAY,CAAC,IAAI,CAAC;YACjC,gBAAgB,IAAI,IAAI,CAAC;IAC3B,CAAC;IAED,MAAM,CAAC,iBAAiB,CAAC,IAAc;QACtC,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACxB,OAAO,uBAAuB,CAAC,YAAY,CAAC,IAAI,CAAC;YAChD,SAAS,IAAI,IAAI;YACjB,OAAQ,IAAY,CAAC,OAAO,KAAK,QAAQ;YACzC,wBAAwB,IAAI,IAAI,CAAC;IACnC,CAAC;CACD;AAED;;GAEG;AACH,MAAM,OAAO,kBAAkB;IACtB,MAAM,CAAU,SAAS,GAAG,IAAI,GAAG,EAAuC,CAAC;IAEnF,MAAM,CAAC,QAAQ,CACd,UAAkB,EAClB,QAAqC;QAErC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC1C,CAAC;IAED,MAAM,CAAC,aAAa,CAAC,IAAc,EAAE,UAAkB;QACtD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAChD,OAAO,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC1C,CAAC;IAED,MAAM,CAAC,UAAU,CAChB,KAA0B,EAC1B,UAAkB;QAElB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAChD,IAAI,CAAC,QAAQ;YAAE,OAAO,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC/B,CAAC;IAED,MAAM,CAAC,kBAAkB;QACxB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1C,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,UAAkB;QACnC,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC1C,CAAC;;AAGF;;GAEG;AACH,MAAM,OAAO,eAAe;IAC3B,MAAM,CAAC,WAAW,CAAC,IAAc;QAChC,sCAAsC;QACtC,IAAI,CAAC,uBAAuB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YACjD,OAAO,KAAK,CAAC;QACd,CAAC;QAED,6CAA6C;QAC7C,IAAI,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAK,IAAY,CAAC,QAAQ,EAAE,EAAE,CAAC;YACpE,OAAO,KAAK,CAAC;QACd,CAAC;QAED,6CAA6C;QAC7C,IAAI,uBAAuB,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YAClD,0DAA0D;YAC1D,OAAO,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,CAAC;QAChD,CAAC;QAED,OAAO,IAAI,CAAC;IACb,CAAC;IAED,MAAM,CAAC,WAAW,CAAC,IAAc;QAChC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,OAAO,KAAK,CAAC;QACd,CAAC;QAED,6BAA6B;QAC7B,IAAI,uBAAuB,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/C,OAAO,IAAI,CAAC;QACb,CAAC;QAED,mCAAmC;QACnC,IAAI,uBAAuB,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YACpD,OAAO,IAAI,CAAC;QACb,CAAC;QAED,OAAO,KAAK,CAAC;IACd,CAAC;IAEO,MAAM,CAAC,4BAA4B,CAAC,IAAc;QACzD,OAAO,uBAAuB,CAAC,WAAW,CAAC,IAAI,CAAC;YAC/C,uBAAuB,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC;IAED,MAAM,CAAC,iBAAiB,CAAC,IAAc;QACtC,MAAM,aAAa,GAAG,uBAAuB,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAClE,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,GAAG,GAAG,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;IAC9D,CAAC;CACD;AAED;;GAEG;AACH,MAAM,OAAO,iBAAiB;IAC7B,MAAM,CAAC,WAAW,CAAC,SAAyB,EAAE,UAAoB;QACjE,IAAI,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3D,OAAO,KAAK,CAAC;QACd,CAAC;QAED,yDAAyD;QACzD,OAAO,IAAI,CAAC,uBAAuB,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IAC5D,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,KAAqB,EAAE,KAAqB;QAC7D,8CAA8C;QAC9C,OAAO,uBAAuB,CAAC,eAAe,CAAC,KAAK,CAAC;YACpD,uBAAuB,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC;IAEO,MAAM,CAAC,uBAAuB,CAAC,UAA0B,EAAE,WAAqB;QACvF,4CAA4C;QAC5C,sCAAsC;QACtC,OAAO,IAAI,CAAC;IACb,CAAC;CACD;AAED,iCAAiC;AACjC,kBAAkB,CAAC,QAAQ,CAAC,oBAAoB,EAAE,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;AAC5F,kBAAkB,CAAC,QAAQ,CAAC,cAAc,EAAE,mBAAmB,CAAC,aAAa,CAAC,CAAC;AAC/E,kBAAkB,CAAC,QAAQ,CAAC,aAAa,EAAE,mBAAmB,CAAC,aAAa,CAAC,CAAC;AAC9E,kBAAkB,CAAC,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC,UAAU,CAAC,CAAC;AACpE,kBAAkB,CAAC,QAAQ,CAAC,YAAY,EAAE,mBAAmB,CAAC,UAAU,CAAC,CAAC;AAC1E,kBAAkB,CAAC,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC;AAChE,kBAAkB,CAAC,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC,QAAQ,CAAC,CAAC;AACnE,kBAAkB,CAAC,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC,KAAK,CAAC,CAAC;AAC9D,kBAAkB,CAAC,QAAQ,CAAC,kBAAkB,EAAE,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;AACvF,kBAAkB,CAAC,QAAQ,CAAC,iBAAiB,EAAE,mBAAmB,CAAC,gBAAgB,CAAC,CAAC;AACrF,kBAAkB,CAAC,QAAQ,CAAC,oBAAoB,EAAE,mBAAmB,CAAC,mBAAmB,CAAC,CAAC;AAC3F,kBAAkB,CAAC,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,iBAAiB,CAAC,CAAC"}
+{"version":3,"file":"characteristics.js","sourceRoot":"","sources":["../../../../src/planner/framework/characteristics.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD;;;;;;GAMG;AAGH,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAGzD,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAEhE,0CAA0C;AAC1C,MAAM,oBAAoB,GAAG,IAAI,CAAC;AAElC;;GAEG;AACH,MAAM,OAAO,uBAAuB;IACnC,8BAA8B;IAC9B,MAAM,CAAC,cAAc,CAAC,IAAc;QACnC,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC;IACzC,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,IAAc;QAC/B,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC;IACzC,CAAC;IAED,MAAM,CAAC,eAAe,CAAC,IAAc;QACpC,OAAO,IAAI,CAAC,QAAQ,CAAC,aAAa,KAAK,KAAK,CAAC;IAC9C,CAAC;IAED,MAAM,CAAC,YAAY,CAAC,IAAc;QACjC,OAAO,IAAI,CAAC,QAAQ,CAAC,UAAU,KAAK,KAAK,CAAC;IAC3C,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,IAAc;QAC/B,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,KAAK,IAAI,IAAI,UAAU,IAAI,IAAI,CAAC;IAC9D,CAAC;IAED,MAAM,CAAC,YAAY,CAAC,IAAc;QACjC,OAAO,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC;IAED,wBAAwB;IACxB,MAAM,CAAC,gBAAgB,CAAC,IAAc;QACrC,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;IAClF,CAAC;IAED,MAAM,CAAC,iBAAiB,CAAC,IAAc;QACtC,4EAA4E;QAC5E,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACpC,OAAO,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE,CAAC;IAED,MAAM,CAAC,WAAW,CAAC,IAAc;QAChC,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;IAC/B,CAAC;IAED,2BAA2B;IAC3B,MAAM,CAAC,cAAc,CAAC,IAAc;QACnC,OAAO,IAAI,CAAC,QAAQ,CAAC,WAAW,IAAI,EAAE,CAAC;IACxC,CAAC;IAED,MAAM,CAAC,aAAa,CAAC,IAAc,EAAE,MAAc;QAClD,OAAO,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IAClE,CAAC;IAED,uBAAuB;IACvB,MAAM,CAAC,aAAa,CAAC,IAAc;QAClC,OAAO,IAAI,CAAC,QAAQ,CAAC,aAAa,IAAI,oBAAoB,CAAC;IAC5D,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,oBAAoB,CAAC,IAAc;QACzC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC;QAC7C,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;YACpB,sEAAsE;YACtE,8CAA8C;YAC9C,OAAO,IAAI,CAAC,QAAQ,CAAC,aAAa,KAAK,CAAC,CAAC;QAC1C,CAAC;QACD,OAAO,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IACpD,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,aAAa,CAAC,IAAc;QAClC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC;QAC7C,OAAO,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAC/C,CAAC;IAED,0BAA0B;IAC1B,MAAM,CAAC,YAAY,CAAC,IAAc;QACjC,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,MAAM,CAAC,YAAY,CAAC,IAAc;QACjC,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,MAAM,CAAC,QAAQ,CAAC,IAAc;QAC7B,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,SAAS,KAAK,QAAQ,CAAC;IAC9C,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,IAAc;QAC3B,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,SAAS,KAAK,MAAM,CAAC;IAC5C,CAAC;IAED,8BAA8B;IAC9B,MAAM,CAAC,WAAW,CAAC,IAAc;QAChC,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAC/C,OAAO,aAAa,GAAG,KAAK,CAAC,CAAC,oBAAoB;IACnD,CAAC;IAED,MAAM,CAAC,gBAAgB,CAAC,IAAc;QACrC,wEAAwE;QACxE,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;CACD;AAiJD;;GAEG;AACH,MAAM,OAAO,mBAAmB;IAC/B,MAAM,CAAC,oBAAoB,CAAC,IAAc;QACzC,OAAO,cAAc,IAAI,IAAI;YAC5B,OAAQ,IAAY,CAAC,YAAY,KAAK,UAAU;YAChD,eAAe,IAAI,IAAI;YACvB,OAAQ,IAAY,CAAC,aAAa,KAAK,UAAU,CAAC;IACpD,CAAC;IAED,MAAM,CAAC,oBAAoB,CAAC,IAAc;QACzC,OAAO,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC;YACrC,sBAAsB,IAAI,IAAI;YAC9B,OAAQ,IAAY,CAAC,oBAAoB,KAAK,UAAU,CAAC;IAC3D,CAAC;IAED,MAAM,CAAC,iBAAiB,CAAC,IAAc;QACtC,OAAO,eAAe,IAAI,IAAI,IAAI,OAAQ,IAAY,CAAC,aAAa,KAAK,UAAU,CAAC;IACrF,CAAC;IAED,MAAM,CAAC,aAAa,CAAC,IAAc;QAClC,OAAO,uBAAuB,CAAC,YAAY,CAAC,IAAI,CAAC;YAChD,aAAa,IAAI,IAAI;YACrB,iBAAiB,IAAI,IAAI;YACzB,OAAQ,IAAY,CAAC,eAAe,KAAK,UAAU,CAAC;IACtD,CAAC;IAED,MAAM,CAAC,aAAa,CAAC,IAAc;QAClC,OAAO,uBAAuB,CAAC,YAAY,CAAC,IAAI,CAAC;YAChD,iBAAiB,IAAI,IAAI;YACzB,OAAQ,IAAY,CAAC,eAAe,KAAK,UAAU;YACnD,yBAAyB,IAAI,IAAI;YACjC,OAAQ,IAAY,CAAC,uBAAuB,KAAK,UAAU,CAAC;IAC9D,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,IAAc;QAC/B,OAAO,aAAa,IAAI,IAAI;YAC3B,OAAQ,IAAY,CAAC,WAAW,KAAK,UAAU;YAC/C,cAAc,IAAI,IAAI;YACtB,OAAQ,IAAY,CAAC,YAAY,KAAK,UAAU,CAAC;IACnD,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,IAAc;QAC5B,OAAO,oBAAoB,IAAI,IAAI;YAClC,OAAQ,IAAY,CAAC,kBAAkB,KAAK,UAAU;YACtD,qBAAqB,IAAI,IAAI;YAC7B,OAAQ,IAAY,CAAC,mBAAmB,KAAK,UAAU,CAAC;IAC1D,CAAC;IAED,MAAM,CAAC,uBAAuB,CAAC,IAAc;QAC5C,OAAO,wBAAwB,IAAI,IAAI;YACtC,CAAC,OAAQ,IAAY,CAAC,sBAAsB,KAAK,QAAQ,IAAI,OAAQ,IAAY,CAAC,sBAAsB,KAAK,UAAU,CAAC,CAAC;IAC3H,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,IAAc;QAC/B,OAAO,uBAAuB,CAAC,YAAY,CAAC,IAAI,CAAC;YAChD,gBAAgB,IAAI,IAAI;YACxB,OAAQ,IAAY,CAAC,cAAc,KAAK,UAAU,CAAC;IACrD,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,IAAc;QAC3B,OAAO,uBAAuB,CAAC,YAAY,CAAC,IAAI,CAAC;YAChD,aAAa,IAAI,IAAI;YACrB,OAAQ,IAAY,CAAC,WAAW,KAAK,UAAU;YAC/C,eAAe,IAAI,IAAI;YACvB,gBAAgB,IAAI,IAAI,CAAC;IAC3B,CAAC;IAED,MAAM,CAAC,QAAQ,CAAC,IAAc;QAC7B,OAAO,kBAAkB,IAAI,IAAI;YAChC,OAAQ,IAAY,CAAC,gBAAgB,KAAK,UAAU,CAAC;IACvD,CAAC;IAED,MAAM,CAAC,KAAK,CAAC,IAAc;QAC1B,OAAO,uBAAuB,CAAC,YAAY,CAAC,IAAI,CAAC;YAChD,SAAS,IAAI,IAAI;YACjB,OAAQ,IAAY,CAAC,OAAO,KAAK,QAAQ;YACzC,cAAc,IAAI,IAAI;YACtB,OAAQ,IAAY,CAAC,YAAY,KAAK,UAAU,CAAC;IACnD,CAAC;IAED,MAAM,CAAC,iBAAiB,CAAC,IAAc;QACtC,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACxB,OAAO,uBAAuB,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC5C,aAAa,IAAI,IAAI;YACrB,OAAQ,IAAY,CAAC,WAAW,KAAK,QAAQ;YAC7C,aAAa,IAAI,IAAI;YACrB,OAAQ,IAAY,CAAC,WAAW,KAAK,QAAQ;YAC7C,YAAY,IAAI,IAAI,CAAC;IACvB,CAAC;IAED,MAAM,CAAC,gBAAgB,CAAC,IAAc;QACrC,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACxB,4EAA4E;QAC5E,OAAO,IAAI,CAAC,QAAQ,KAAK,oBAAoB;YAC5C,uBAAuB,CAAC,QAAQ,CAAC,IAAI,CAAC;YACtC,cAAc,IAAI,IAAI;YACtB,OAAQ,IAAY,CAAC,YAAY,KAAK,QAAQ;YAC9C,YAAY,IAAI,IAAI;YACpB,OAAQ,IAAY,CAAC,UAAU,KAAK,SAAS,CAAC;IAChD,CAAC;IAED,MAAM,CAAC,mBAAmB,CAAC,IAAc;QACxC,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACxB,kGAAkG;QAClG,OAAO,uBAAuB,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC5C,cAAc,IAAI,IAAI;YACtB,OAAQ,IAAY,CAAC,YAAY,KAAK,QAAQ;YAC9C,YAAY,IAAI,IAAI;YACpB,OAAQ,IAAY,CAAC,UAAU,KAAK,SAAS;YAC7C,MAAM,IAAI,IAAI;YACd,KAAK,CAAC,OAAO,CAAE,IAAY,CAAC,IAAI,CAAC;YACjC,gBAAgB,IAAI,IAAI,CAAC;IAC3B,CAAC;IAED,MAAM,CAAC,iBAAiB,CAAC,IAAc;QACtC,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACxB,OAAO,uBAAuB,CAAC,YAAY,CAAC,IAAI,CAAC;YAChD,SAAS,IAAI,IAAI;YACjB,OAAQ,IAAY,CAAC,OAAO,KAAK,QAAQ;YACzC,wBAAwB,IAAI,IAAI,CAAC;IACnC,CAAC;CACD;AAED;;GAEG;AACH,MAAM,OAAO,kBAAkB;IACtB,MAAM,CAAU,SAAS,GAAG,IAAI,GAAG,EAAuC,CAAC;IAEnF,MAAM,CAAC,QAAQ,CACd,UAAkB,EAClB,QAAqC;QAErC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC1C,CAAC;IAED,MAAM,CAAC,aAAa,CAAC,IAAc,EAAE,UAAkB;QACtD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAChD,OAAO,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC1C,CAAC;IAED,MAAM,CAAC,UAAU,CAChB,KAA0B,EAC1B,UAAkB;QAElB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAChD,IAAI,CAAC,QAAQ;YAAE,OAAO,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC/B,CAAC;IAED,MAAM,CAAC,kBAAkB;QACxB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1C,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,UAAkB;QACnC,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC1C,CAAC;;AAGF;;GAEG;AACH,MAAM,OAAO,eAAe;IAC3B,MAAM,CAAC,WAAW,CAAC,IAAc;QAChC,sCAAsC;QACtC,IAAI,CAAC,uBAAuB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YACjD,OAAO,KAAK,CAAC;QACd,CAAC;QAED,6CAA6C;QAC7C,IAAI,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAK,IAAY,CAAC,QAAQ,EAAE,EAAE,CAAC;YACpE,OAAO,KAAK,CAAC;QACd,CAAC;QAED,6CAA6C;QAC7C,IAAI,uBAAuB,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YAClD,0DAA0D;YAC1D,OAAO,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,CAAC;QAChD,CAAC;QAED,OAAO,IAAI,CAAC;IACb,CAAC;IAED,MAAM,CAAC,WAAW,CAAC,IAAc;QAChC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,OAAO,KAAK,CAAC;QACd,CAAC;QAED,6BAA6B;QAC7B,IAAI,uBAAuB,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/C,OAAO,IAAI,CAAC;QACb,CAAC;QAED,mCAAmC;QACnC,IAAI,uBAAuB,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YACpD,OAAO,IAAI,CAAC;QACb,CAAC;QAED,OAAO,KAAK,CAAC;IACd,CAAC;IAEO,MAAM,CAAC,4BAA4B,CAAC,IAAc;QACzD,OAAO,uBAAuB,CAAC,WAAW,CAAC,IAAI,CAAC;YAC/C,uBAAuB,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC;IAED,MAAM,CAAC,iBAAiB,CAAC,IAAc;QACtC,MAAM,aAAa,GAAG,uBAAuB,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAClE,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,GAAG,GAAG,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;IAC9D,CAAC;CACD;AAED;;GAEG;AACH,MAAM,OAAO,iBAAiB;IAC7B,MAAM,CAAC,WAAW,CAAC,SAAyB,EAAE,UAAoB;QACjE,IAAI,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3D,OAAO,KAAK,CAAC;QACd,CAAC;QAED,yDAAyD;QACzD,OAAO,IAAI,CAAC,uBAAuB,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IAC5D,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,KAAqB,EAAE,KAAqB;QAC7D,8CAA8C;QAC9C,OAAO,uBAAuB,CAAC,eAAe,CAAC,KAAK,CAAC;YACpD,uBAAuB,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC;IAEO,MAAM,CAAC,uBAAuB,CAAC,UAA0B,EAAE,WAAqB;QACvF,4CAA4C;QAC5C,sCAAsC;QACtC,OAAO,IAAI,CAAC;IACb,CAAC;CACD;AAED,iCAAiC;AACjC,kBAAkB,CAAC,QAAQ,CAAC,oBAAoB,EAAE,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;AAC5F,kBAAkB,CAAC,QAAQ,CAAC,cAAc,EAAE,mBAAmB,CAAC,aAAa,CAAC,CAAC;AAC/E,kBAAkB,CAAC,QAAQ,CAAC,aAAa,EAAE,mBAAmB,CAAC,aAAa,CAAC,CAAC;AAC9E,kBAAkB,CAAC,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC,UAAU,CAAC,CAAC;AACpE,kBAAkB,CAAC,QAAQ,CAAC,YAAY,EAAE,mBAAmB,CAAC,UAAU,CAAC,CAAC;AAC1E,kBAAkB,CAAC,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC;AAChE,kBAAkB,CAAC,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC,QAAQ,CAAC,CAAC;AACnE,kBAAkB,CAAC,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC,KAAK,CAAC,CAAC;AAC9D,kBAAkB,CAAC,QAAQ,CAAC,kBAAkB,EAAE,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;AACvF,kBAAkB,CAAC,QAAQ,CAAC,iBAAiB,EAAE,mBAAmB,CAAC,gBAAgB,CAAC,CAAC;AACrF,kBAAkB,CAAC,QAAQ,CAAC,oBAAoB,EAAE,mBAAmB,CAAC,mBAAmB,CAAC,CAAC;AAC3F,kBAAkB,CAAC,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,iBAAiB,CAAC,CAAC"}

package/dist/src/planner/framework/context.d.ts

@@ -20,8 +20,6 @@ export interface OptContext {
     readonly tuning: OptimizerTuning;
     /** Current optimization phase */
     readonly phase: 'rewrite' | 'impl';
-    /** Rule application depth (for detecting infinite recursion) */
-    readonly depth: number;
     /** Additional context data that rules can use */
     readonly context: Map<string, unknown>;
     /** Diagnostics bag that rules can populate (emitted after optimization) */
@@ -50,20 +48,15 @@ export declare class OptimizationContext implements OptContext {
     readonly tuning: OptimizerTuning;
     readonly phase: 'rewrite' | 'impl';
     readonly db: Database;
-    readonly depth: number;
     readonly context: Map<string, unknown>;
     readonly visitedRules: Map<string, Set<string>>;
     readonly optimizedNodes: Map<string, PlanNode>;
     readonly diagnostics: OptimizerDiagnostics;
-    constructor(optimizer: Optimizer, stats: StatsProvider, tuning: OptimizerTuning, phase: "rewrite" | "impl" | undefined, db: Database, depth?: number);
+    constructor(optimizer: Optimizer, stats: StatsProvider, tuning: OptimizerTuning, phase: "rewrite" | "impl" | undefined, db: Database);
     /**
      * Create a new context for a different phase
      */
     withPhase(phase: 'rewrite' | 'impl'): OptimizationContext;
-    /**
-     * Create a new context with incremented depth
-     */
-    withIncrementedDepth(): OptimizationContext;
     /**
      * Create a new context with additional context data
      */

package/dist/src/planner/framework/context.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../../src/planner/framework/context.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAI9D,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAClD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAItD;;;GAGG;AACH,MAAM,WAAW,UAAU;IAC1B,6BAA6B;IAC7B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAE9B,oEAAoE;IACpE,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAE9B,kCAAkC;IAClC,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IAEjC,iCAAiC;IACjC,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAAC;IAEnC,gEAAgE;IAChE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAEvB,iDAAiD;IACjD,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAEvC,2EAA2E;IAC3E,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAE3C,wBAAwB;IACxB,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;IAEtB,+DAA+D;IAC/D,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAEhD,uFAAuF;IACvF,QAAQ,CAAC,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;CAC/C;AAED,sCAAsC;AACtC,MAAM,WAAW,oBAAoB;IAEpC,SAAS,CAAC,EAAE;QACX,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,QAAQ,CAAC,EAAE,MAAM,CAAC;KAClB,CAAC;IAGF,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;CACnB;AAED;;GAEG;AACH,qBAAa,mBAAoB,YAAW,UAAU;aAOpC,SAAS,EAAE,SAAS;aACpB,KAAK,EAAE,aAAa;aACpB,MAAM,EAAE,eAAe;aACvB,KAAK,EAAE,SAAS,GAAG,MAAM;aACzB,EAAE,EAAE,QAAQ;aACZ,KAAK,EAAE,MAAM;IAX9B,QAAQ,CAAC,OAAO,uBAA8B;IAC9C,QAAQ,CAAC,YAAY,2BAAkC;IACvD,QAAQ,CAAC,cAAc,wBAA+B;IACtD,QAAQ,CAAC,WAAW,EAAS,oBAAoB,CAAC;gBAGjC,SAAS,EAAE,SAAS,EACpB,KAAK,EAAE,aAAa,EACpB,MAAM,EAAE,eAAe,EACvB,KAAK,EAAE,SAAS,GAAG,MAAM,YAAY,EACrC,EAAE,EAAE,QAAQ,EACZ,KAAK,GAAE,MAAU;IAKlC;;OAEG;IACH,SAAS,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,GAAG,mBAAmB;IAezD;;OAEG;IACH,oBAAoB,IAAI,mBAAmB;IAmB3C;;OAEG;IACH,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,mBAAmB;IAuB7D;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAYzB;;OAEG;IACH,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,GAAG,SAAS;IAIzC;;OAEG;IACH,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO;IAIhC;;OAEG;IACH,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI;IAI7C;;OAEG;IACH,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO;IAInC;;OAEG;IACH,YAAY,IAAI,IAAI;IAIpB;;OAEG;IACH,kBAAkB,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAO7C;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAC/B,SAAS,EAAE,SAAS,EACpB,KAAK,EAAE,aAAa,EACpB,MAAM,EAAE,eAAe,EACvB,EAAE,EAAE,QAAQ,EACZ,KAAK,GAAE,SAAS,GAAG,MAAkB,GACnC,UAAU,CAEZ;AAED;;GAEG;AAEH,wBAAgB,YAAY,CAAC,GAAG,EAAE,GAAG,GAAG,GAAG,IAAI,UAAU,CASxD"}
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../../src/planner/framework/context.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE9D,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAClD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAItD;;;GAGG;AACH,MAAM,WAAW,UAAU;IAC1B,6BAA6B;IAC7B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAE9B,oEAAoE;IACpE,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAE9B,kCAAkC;IAClC,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IAEjC,iCAAiC;IACjC,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAAC;IAEnC,iDAAiD;IACjD,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAEvC,2EAA2E;IAC3E,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAE3C,wBAAwB;IACxB,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;IAEtB,+DAA+D;IAC/D,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAEhD,uFAAuF;IACvF,QAAQ,CAAC,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;CAC/C;AAED,sCAAsC;AACtC,MAAM,WAAW,oBAAoB;IAEpC,SAAS,CAAC,EAAE;QACX,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,QAAQ,CAAC,EAAE,MAAM,CAAC;KAClB,CAAC;IAGF,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;CACnB;AAED;;GAEG;AACH,qBAAa,mBAAoB,YAAW,UAAU;aAOpC,SAAS,EAAE,SAAS;aACpB,KAAK,EAAE,aAAa;aACpB,MAAM,EAAE,eAAe;aACvB,KAAK,EAAE,SAAS,GAAG,MAAM;aACzB,EAAE,EAAE,QAAQ;IAV7B,QAAQ,CAAC,OAAO,uBAA8B;IAC9C,QAAQ,CAAC,YAAY,2BAAkC;IACvD,QAAQ,CAAC,cAAc,wBAA+B;IACtD,QAAQ,CAAC,WAAW,EAAS,oBAAoB,CAAC;gBAGjC,SAAS,EAAE,SAAS,EACpB,KAAK,EAAE,aAAa,EACpB,MAAM,EAAE,eAAe,EACvB,KAAK,EAAE,SAAS,GAAG,MAAM,YAAY,EACrC,EAAE,EAAE,QAAQ;IAK7B;;OAEG;IACH,SAAS,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,GAAG,mBAAmB;IAczD;;OAEG;IACH,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,mBAAmB;IAsB7D;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAYzB;;OAEG;IACH,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,GAAG,SAAS;IAIzC;;OAEG;IACH,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO;IAIhC;;OAEG;IACH,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI;IAI7C;;OAEG;IACH,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO;IAInC;;OAEG;IACH,YAAY,IAAI,IAAI;IAIpB;;OAEG;IACH,kBAAkB,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAO7C;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAC/B,SAAS,EAAE,SAAS,EACpB,KAAK,EAAE,aAAa,EACpB,MAAM,EAAE,eAAe,EACvB,EAAE,EAAE,QAAQ,EACZ,KAAK,GAAE,SAAS,GAAG,MAAkB,GACnC,UAAU,CAEZ;AAED;;GAEG;AAEH,wBAAgB,YAAY,CAAC,GAAG,EAAE,GAAG,GAAG,GAAG,IAAI,UAAU,CAQxD"}