@quereus/quereus 0.2.0 → 0.4.0

package/dist/src/planner/rules/retrieve/rule-grow-retrieve.js

@@ -0,0 +1,261 @@
+/**
+ * Rule: Grow Retrieve
+ *
+ * Structural sliding rule that maximizes the query segment each virtual table module can execute.
+ * This is a bottom-up transformation that slides RetrieveNode boundaries upward to encompass
+ * as much of the query pipeline as each module can handle.
+ *
+ * Applied When:
+ * - Node is a unary relational operation (Filter, Project, Sort, LimitOffset)
+ * - Child is a RetrieveNode
+ * - Virtual table module supports executing the expanded pipeline
+ *
+ * Benefits:
+ * - Maximizes push-down opportunities for query-based modules
+ * - Provides fallback support for index-style modules via constraint extraction
+ * - Establishes optimal module execution boundaries before cost-based optimization
+ */
+import { createLogger } from '../../../common/logger.js';
+import { isRelationalNode } from '../../nodes/plan-node.js';
+import { RetrieveNode } from '../../nodes/retrieve-node.js';
+import { FilterNode } from '../../nodes/filter.js';
+import { PlanNodeType } from '../../nodes/plan-node-type.js';
+import { extractConstraints, createTableInfoFromNode } from '../../analysis/constraint-extractor.js';
+import { normalizePredicate } from '../../analysis/predicate-normalizer.js';
+import { seqScanCost } from '../../cost/index.js';
+import { extractOrderingFromSortKeys } from '../../framework/physical-utils.js';
+import { PlanNodeType as _PlanNodeType } from '../../nodes/plan-node-type.js';
+import { collectBindingsInPlan } from '../../analysis/binding-collector.js';
+const log = createLogger('optimizer:rule:grow-retrieve');
+function isIndexStyleContext(ctx) {
+    return !!ctx && typeof ctx === 'object' && ctx.kind === 'index-style';
+}
+export function ruleGrowRetrieve(node, context) {
+    // This rule runs in a TOP-DOWN pass, looking for any relational operation
+    // above a RetrieveNode that can be pushed into the module's execution boundary
+    // Must be a relational node to be growable
+    if (!isRelationalNode(node)) {
+        return null;
+    }
+    // Find the RetrieveNode child (if any)
+    const retrieveChild = findRetrieveChild(node);
+    if (!retrieveChild) {
+        return null;
+    }
+    const tableRef = retrieveChild.tableRef;
+    // Guard: ensure we have required properties
+    if (!tableRef?.tableSchema) {
+        log('RetrieveNode missing tableRef or tableSchema');
+        return null;
+    }
+    const tableSchema = tableRef.tableSchema;
+    const vtabModule = tableRef.vtabModule;
+    log('Evaluating growth for %s over table %s', node.nodeType, tableSchema.name);
+    // If no vtabModule, can't grow
+    if (!vtabModule) {
+        log('No vtabModule available for table %s', tableSchema.name);
+        return null;
+    }
+    // Create candidate pipeline by sliding the operation into the retrieve boundary
+    // This replaces the RetrieveNode child with its source in the parent operation
+    const candidatePipeline = replaceRetrieveWithSource(node, retrieveChild);
+    // Try module's supports() method first (if available)
+    let assessment;
+    if (vtabModule.supports && typeof vtabModule.supports === 'function') {
+        // Query-based module: let it decide if it can handle the pipeline
+        log('Testing module.supports() for %s pipeline', node.nodeType);
+        assessment = vtabModule.supports(candidatePipeline);
+        if (assessment) {
+            log('Module supports expanded pipeline (cost: %d)', assessment.cost);
+        }
+        else {
+            log('Module declined expanded pipeline');
+        }
+    }
+    // If module doesn't have supports() or declined, try index-style fallback
+    // but ONLY for operations we know can be translated to index constraints
+    if (!assessment && vtabModule.getBestAccessPlan && typeof vtabModule.getBestAccessPlan === 'function') {
+        if (canTranslateToIndexConstraints(node)) {
+            log('Testing index-style fallback for %s', node.nodeType);
+            assessment = fallbackIndexSupports(node, candidatePipeline, context, tableRef);
+            if (assessment) {
+                log('Index-style fallback supports pipeline (cost: %d)', assessment.cost);
+            }
+            else {
+                log('Index-style fallback declined pipeline');
+            }
+        }
+        else {
+            log('Node type %s cannot be translated to index constraints', node.nodeType);
+        }
+    }
+    if (!assessment) {
+        // Module cannot handle the expanded pipeline
+        return null;
+    }
+    // Determine how to slide depending on assessment origin
+    let newPipeline;
+    let newBindings = [...(retrieveChild.bindings ?? []), ...collectBindingsInPlan(node, retrieveChild.tableRef)];
+    if (isIndexStyleContext(assessment.ctx)) {
+        // Index-style fallback: only place supported fragments under Retrieve; keep residuals above
+        newPipeline = candidatePipeline;
+        if (node instanceof FilterNode) {
+            const tableInfo = createTableInfoFromNode(retrieveChild.tableRef, tableSchema.name);
+            const extraction = extractConstraints(normalizePredicate(node.predicate), [tableInfo]);
+            const supported = extraction.supportedPredicateByTable?.get(tableInfo.relationKey);
+            if (supported) {
+                newPipeline = new FilterNode(retrieveChild.source.scope, candidatePipeline.source, supported);
+                newBindings = [...(retrieveChild.bindings ?? []), ...collectBindingsInPlan(newPipeline, retrieveChild.tableRef)];
+            }
+        }
+    }
+    else {
+        // Query-based module with supports(): move the entire node into the module boundary
+        newPipeline = candidatePipeline;
+    }
+    const grownRetrieve = new RetrieveNode(node.scope, newPipeline, retrieveChild.tableRef, assessment.ctx, newBindings);
+    log('Grew retrieve pipeline for table %s: %s → %s', tableSchema.name, retrieveChild.source.nodeType, candidatePipeline.nodeType);
+    return grownRetrieve;
+}
+/**
+ * Find a RetrieveNode among the children of this node
+ */
+function findRetrieveChild(node) {
+    const children = node.getChildren();
+    for (const child of children) {
+        if (child instanceof RetrieveNode) {
+            return child;
+        }
+    }
+    return undefined;
+}
+/**
+ * Replace the RetrieveNode child with its source in the parent operation
+ */
+function replaceRetrieveWithSource(parent, retrieveNode) {
+    const children = parent.getChildren();
+    const newChildren = children.map(child => child === retrieveNode ? retrieveNode.source : child);
+    return parent.withChildren(newChildren);
+}
+/**
+ * Check if this node type can be translated to index constraints
+ * This is used for the fallback when modules don't implement supports()
+ */
+function canTranslateToIndexConstraints(node) {
+    switch (node.nodeType) {
+        case PlanNodeType.Filter:
+            // Filters can be translated to predicates
+            return true;
+        case PlanNodeType.Sort:
+            // Sort can be translated to ordering requirements
+            return true;
+        case PlanNodeType.LimitOffset:
+            // Limit can be passed to index access
+            return true;
+        default:
+            // Other operations (Project, Aggregate, etc.) can't be
+            // meaningfully translated to index constraints
+            return false;
+    }
+}
+/**
+ * Fallback assessment for index-style modules using getBestAccessPlan
+ * Translates various operations to index constraints
+ */
+function fallbackIndexSupports(node, candidatePipeline, context, tableRef) {
+    const vtabModule = tableRef.vtabModule;
+    const tableSchema = tableRef.tableSchema;
+    // Build BestAccessPlanRequest based on node type
+    const request = {
+        columns: tableSchema.columns.map((col, index) => ({
+            index,
+            name: col.name,
+            type: col.affinity,
+            isPrimaryKey: col.primaryKey || false,
+            isUnique: col.primaryKey || false
+        })),
+        filters: [],
+        requiredOrdering: undefined,
+        limit: undefined,
+        estimatedRows: tableRef.estimatedRows ?? context.stats.tableRows(tableSchema) ?? 1000
+    };
+    // Extract information based on node type
+    let residualPredicate;
+    if (node instanceof FilterNode) {
+        // Extract constraints from filter predicate
+        const tableInfo = createTableInfoFromNode(tableRef, tableSchema.name);
+        const normalizedPredicate = normalizePredicate(node.predicate);
+        const extraction = extractConstraints(normalizedPredicate, [tableInfo]);
+        if (extraction.allConstraints.length === 0) {
+            log('No extractable constraints from filter predicate');
+            return undefined;
+        }
+        request.filters = extraction.allConstraints;
+        residualPredicate = extraction.residualPredicate;
+        log('Extracted %d constraints from Filter', extraction.allConstraints.length);
+    }
+    else if (node.nodeType === PlanNodeType.Sort) {
+        // Extract ordering requirements from Sort node
+        const sort = node;
+        const ordering = extractOrderingFromSortKeys(sort.getSortKeys(), sort.source.getAttributes());
+        if (!ordering) {
+            log('Sort node has non-trivial expressions; cannot translate to ordering spec');
+            return undefined;
+        }
+        request.requiredOrdering = ordering.map(o => ({ columnIndex: o.column, desc: o.desc }));
+        log('Extracted ordering requirement of length %d', request.requiredOrdering.length);
+    }
+    else if (node.nodeType === PlanNodeType.LimitOffset) {
+        // Extract limit from LimitOffset node when constant
+        const lim = node;
+        if (lim.limit && lim.limit.nodeType === _PlanNodeType.Literal) {
+            const limitVal = lim.limit.expression.value;
+            if (typeof limitVal === 'number') {
+                request.limit = Math.max(0, Math.floor(limitVal));
+                log('Extracted limit value: %d', request.limit);
+            }
+        }
+        // We ignore OFFSET for now (modules can implement it internally if desired)
+        if (!request.limit) {
+            log('No usable constant LIMIT found');
+            return undefined;
+        }
+    }
+    else {
+        log('Node type %s not supported by index-style fallback', node.nodeType);
+        return undefined;
+    }
+    log('Built access plan request: %d filters, ordering: %s, limit: %s', request.filters.length, request.requiredOrdering ? 'yes' : 'no', request.limit ?? 'none');
+    // Get access plan from module
+    const accessPlan = vtabModule.getBestAccessPlan(context.db, tableSchema, request);
+    // Check if the plan is beneficial
+    const handlesAnyFilter = request.filters.length > 0 &&
+        accessPlan.handledFilters.some(handled => handled);
+    const providesOrdering = request.requiredOrdering &&
+        accessPlan.providesOrdering;
+    // Calculate baseline cost
+    const estimatedRows = request.estimatedRows ?? 1000;
+    const seqCost = seqScanCost(estimatedRows);
+    // Accept the plan if it handles filters OR provides required ordering
+    if (!handlesAnyFilter && !providesOrdering) {
+        log('Access plan provides no benefit');
+        return undefined;
+    }
+    if (accessPlan.cost >= seqCost && !providesOrdering) {
+        log('Access plan cost (%d) not better than sequential scan (%d)', accessPlan.cost, seqCost);
+        return undefined;
+    }
+    log('Index-style fallback beneficial: cost %d vs %d seq scan', accessPlan.cost, seqCost);
+    // Store context for later use in ruleSelectAccessPath
+    const indexCtx = {
+        kind: 'index-style',
+        accessPlan,
+        residualPredicate,
+        originalConstraints: [...request.filters] // Copy to satisfy mutable type
+    };
+    return {
+        cost: accessPlan.cost,
+        ctx: indexCtx
+    };
+}
+//# sourceMappingURL=rule-grow-retrieve.js.map

package/dist/src/planner/rules/retrieve/rule-grow-retrieve.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-grow-retrieve.js","sourceRoot":"","sources":["../../../../../src/planner/rules/retrieve/rule-grow-retrieve.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAA0C,MAAM,0BAA0B,CAAC;AAEpG,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAEnD,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAG7D,OAAO,EAAE,kBAAkB,EAAE,uBAAuB,EAAkB,MAAM,wCAAwC,CAAC;AACrH,OAAO,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AAC5E,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAElD,OAAO,EAAE,2BAA2B,EAAE,MAAM,mCAAmC,CAAC;AAGhF,OAAO,EAAE,YAAY,IAAI,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAE9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAE5E,MAAM,GAAG,GAAG,YAAY,CAAC,8BAA8B,CAAC,CAAC;AAYzD,SAAS,mBAAmB,CAAC,GAAY;IACxC,OAAO,CAAC,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAK,GAAW,CAAC,IAAI,KAAK,aAAa,CAAC;AAChF,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,IAAc,EAAE,OAAmB;IACnE,0EAA0E;IAC1E,+EAA+E;IAE/E,2CAA2C;IAC3C,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC;IACb,CAAC;IAED,uCAAuC;IACvC,MAAM,aAAa,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,CAAC,aAAa,EAAE,CAAC;QACpB,OAAO,IAAI,CAAC;IACb,CAAC;IAED,MAAM,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAC;IAExC,4CAA4C;IAC5C,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC;QAC5B,GAAG,CAAC,8CAA8C,CAAC,CAAC;QACpD,OAAO,IAAI,CAAC;IACb,CAAC;IAED,MAAM,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAC;IACzC,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,CAAC;IAEvC,GAAG,CAAC,wCAAwC,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;IAE/E,+BAA+B;IAC/B,IAAI,CAAC,UAAU,EAAE,CAAC;QACjB,GAAG,CAAC,sCAAsC,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;QAC9D,OAAO,IAAI,CAAC;IACb,CAAC;IAED,gFAAgF;IAChF,+EAA+E;IAC/E,MAAM,iBAAiB,GAAG,yBAAyB,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IAEzE,sDAAsD;IACtD,IAAI,UAAyC,CAAC;IAE9C,IAAI,UAAU,CAAC,QAAQ,IAAI,OAAO,UAAU,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QACtE,kEAAkE;QAClE,GAAG,CAAC,2CAA2C,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChE,UAAU,GAAG,UAAU,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC;QAEpD,IAAI,UAAU,EAAE,CAAC;YAChB,GAAG,CAAC,8CAA8C,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;QACtE,CAAC;aAAM,CAAC;YACP,GAAG,CAAC,mCAAmC,CAAC,CAAC;QAC1C,CAAC;IACF,CAAC;IAED,0EAA0E;IAC1E,yEAAyE;IACzE,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,iBAAiB,IAAI,OAAO,UAAU,CAAC,iBAAiB,KAAK,UAAU,EAAE,CAAC;QACvG,IAAI,8BAA8B,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,GAAG,CAAC,qCAAqC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC1D,UAAU,GAAG,qBAAqB,CAAC,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;YAE/E,IAAI,UAAU,EAAE,CAAC;gBAChB,GAAG,CAAC,mDAAmD,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;YAC3E,CAAC;iBAAM,CAAC;gBACP,GAAG,CAAC,wCAAwC,CAAC,CAAC;YAC/C,CAAC;QACF,CAAC;aAAM,CAAC;YACP,GAAG,CAAC,wDAAwD,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9E,CAAC;IACF,CAAC;IAED,IAAI,CAAC,UAAU,EAAE,CAAC;QACjB,6CAA6C;QAC7C,OAAO,IAAI,CAAC;IACb,CAAC;IAED,wDAAwD;IACxD,IAAI,WAA+B,CAAC;IACpC,IAAI,WAAW,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;IAE9G,IAAI,mBAAmB,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACzC,4FAA4F;QAC5F,WAAW,GAAG,iBAAuC,CAAC;QACtD,IAAI,IAAI,YAAY,UAAU,EAAE,CAAC;YAChC,MAAM,SAAS,GAAc,uBAAuB,CAAC,aAAa,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;YAC/F,MAAM,UAAU,GAAG,kBAAkB,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;YACvF,MAAM,SAAS,GAAG,UAAU,CAAC,yBAAyB,EAAE,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;YACnF,IAAI,SAAS,EAAE,CAAC;gBACf,WAAW,GAAG,IAAI,UAAU,CAC3B,aAAa,CAAC,MAAM,CAAC,KAAK,EACzB,iBAAgC,CAAC,MAAM,EACxC,SAAS,CACwB,CAAC;gBACnC,WAAW,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,qBAAqB,CAAC,WAAW,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;YAClH,CAAC;QACF,CAAC;IACF,CAAC;SAAM,CAAC;QACP,oFAAoF;QACpF,WAAW,GAAG,iBAAuC,CAAC;IACvD,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,YAAY,CACrC,IAAI,CAAC,KAAK,EACV,WAAW,EACX,aAAa,CAAC,QAAQ,EACtB,UAAU,CAAC,GAAG,EACd,WAAW,CACX,CAAC;IAEF,GAAG,CAAC,8CAA8C,EACjD,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,QAAQ,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAE9E,OAAO,aAAa,CAAC;AACtB,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,IAAc;IACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACpC,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC9B,IAAI,KAAK,YAAY,YAAY,EAAE,CAAC;YACnC,OAAO,KAAK,CAAC;QACd,CAAC;IACF,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED;;GAEG;AACH,SAAS,yBAAyB,CAAC,MAAgB,EAAE,YAA0B;IAC9E,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACtC,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CACxC,KAAK,KAAK,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CACpD,CAAC;IACF,OAAO,MAAM,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;AACzC,CAAC;AAED;;;GAGG;AACH,SAAS,8BAA8B,CAAC,IAAc;IACrD,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;QACvB,KAAK,YAAY,CAAC,MAAM;YACvB,0CAA0C;YAC1C,OAAO,IAAI,CAAC;QACb,KAAK,YAAY,CAAC,IAAI;YACrB,kDAAkD;YAClD,OAAO,IAAI,CAAC;QACb,KAAK,YAAY,CAAC,WAAW;YAC5B,sCAAsC;YACtC,OAAO,IAAI,CAAC;QACb;YACC,uDAAuD;YACvD,+CAA+C;YAC/C,OAAO,KAAK,CAAC;IACf,CAAC;AACF,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAC7B,IAAc,EACd,iBAA2B,EAC3B,OAAmB,EACnB,QAA4B;IAG5B,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,CAAC;IACvC,MAAM,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAC;IAEzC,iDAAiD;IACjD,MAAM,OAAO,GAA0B;QACtC,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YACjD,KAAK;YACL,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,IAAI,EAAE,GAAG,CAAC,QAAQ;YAClB,YAAY,EAAE,GAAG,CAAC,UAAU,IAAI,KAAK;YACrC,QAAQ,EAAE,GAAG,CAAC,UAAU,IAAI,KAAK;SACjC,CAAC,CAAC;QACH,OAAO,EAAE,EAAE;QACX,gBAAgB,EAAE,SAAS;QAC3B,KAAK,EAAE,SAAS;QAChB,aAAa,EAAE,QAAQ,CAAC,aAAa,IAAI,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,IAAI;KACrF,CAAC;IAEF,yCAAyC;IACzC,IAAI,iBAAuC,CAAC;IAE5C,IAAI,IAAI,YAAY,UAAU,EAAE,CAAC;QAChC,4CAA4C;QAC5C,MAAM,SAAS,GAAc,uBAAuB,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;QACjF,MAAM,mBAAmB,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC/D,MAAM,UAAU,GAAG,kBAAkB,CAAC,mBAAmB,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;QAExE,IAAI,UAAU,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5C,GAAG,CAAC,kDAAkD,CAAC,CAAC;YACxD,OAAO,SAAS,CAAC;QAClB,CAAC;QAED,OAAO,CAAC,OAAO,GAAG,UAAU,CAAC,cAAc,CAAC;QAC5C,iBAAiB,GAAG,UAAU,CAAC,iBAAiB,CAAC;QACjD,GAAG,CAAC,sCAAsC,EAAE,UAAU,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;IAE/E,CAAC;SAAM,IAAI,IAAI,CAAC,QAAQ,KAAK,YAAY,CAAC,IAAI,EAAE,CAAC;QAChD,+CAA+C;QAC/C,MAAM,IAAI,GAAG,IAA2B,CAAC;QACzC,MAAM,QAAQ,GAAG,2BAA2B,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC;QAC9F,IAAI,CAAC,QAAQ,EAAE,CAAC;YACf,GAAG,CAAC,0EAA0E,CAAC,CAAC;YAChF,OAAO,SAAS,CAAC;QAClB,CAAC;QACD,OAAO,CAAC,gBAAgB,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACxF,GAAG,CAAC,6CAA6C,EAAE,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAErF,CAAC;SAAM,IAAI,IAAI,CAAC,QAAQ,KAAK,YAAY,CAAC,WAAW,EAAE,CAAC;QACvD,oDAAoD;QACpD,MAAM,GAAG,GAAG,IAAkC,CAAC;QAC/C,IAAI,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,KAAK,aAAa,CAAC,OAAO,EAAE,CAAC;YAC/D,MAAM,QAAQ,GAAI,GAAG,CAAC,KAAgC,CAAC,UAAU,CAAC,KAAK,CAAC;YACxE,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBAClC,OAAO,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAClD,GAAG,CAAC,2BAA2B,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;YACjD,CAAC;QACF,CAAC;QACD,4EAA4E;QAC5E,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YACpB,GAAG,CAAC,gCAAgC,CAAC,CAAC;YACtC,OAAO,SAAS,CAAC;QAClB,CAAC;IAEF,CAAC;SAAM,CAAC;QACP,GAAG,CAAC,oDAAoD,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzE,OAAO,SAAS,CAAC;IAClB,CAAC;IAED,GAAG,CAAC,gEAAgE,EACnE,OAAO,CAAC,OAAO,CAAC,MAAM,EACtB,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EACvC,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC,CAAC;IAE1B,8BAA8B;IAC9B,MAAM,UAAU,GAAG,UAAU,CAAC,iBAAkB,CAAC,OAAO,CAAC,EAAE,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IAEnF,kCAAkC;IAClC,MAAM,gBAAgB,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAClD,UAAU,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;IACpD,MAAM,gBAAgB,GAAG,OAAO,CAAC,gBAAgB;QAChD,UAAU,CAAC,gBAAgB,CAAC;IAE7B,0BAA0B;IAC1B,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,IAAI,IAAI,CAAC;IACpD,MAAM,OAAO,GAAG,WAAW,CAAC,aAAa,CAAC,CAAC;IAE3C,sEAAsE;IACtE,IAAI,CAAC,gBAAgB,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAC5C,GAAG,CAAC,iCAAiC,CAAC,CAAC;QACvC,OAAO,SAAS,CAAC;IAClB,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,IAAI,OAAO,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACrD,GAAG,CAAC,4DAA4D,EAAE,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5F,OAAO,SAAS,CAAC;IAClB,CAAC;IAED,GAAG,CAAC,yDAAyD,EAAE,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAEzF,sDAAsD;IACtD,MAAM,QAAQ,GAAsB;QACnC,IAAI,EAAE,aAAa;QACnB,UAAU;QACV,iBAAiB;QACjB,mBAAmB,EAAE,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,+BAA+B;KACzE,CAAC;IAEF,OAAO;QACN,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,GAAG,EAAE,QAAQ;KACb,CAAC;AACH,CAAC"}

package/dist/src/planner/scopes/registered.d.ts

@@ -26,6 +26,7 @@ export declare class RegisteredScope implements Scope {
      *  and returns an appropriate ReferenceNode.
      */
     registerSymbol(symbolKey: string, getReference: ReferenceCallback): void;
+    subscribeFactory(symbolKey: string, factory: ReferenceCallback): void;
     resolveSymbol(symbolKey: string, expression: AST.Expression): PlanNode | typeof Ambiguous | undefined;
     /**
      * Returns all symbols that have been registered in this scope.

package/dist/src/planner/scopes/registered.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"registered.d.ts","sourceRoot":"","sources":["../../../../src/planner/scopes/registered.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAC3C,OAAO,EAAE,KAAK,iBAAiB,EAAE,KAAK,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE3E;;;;GAIG;AACH,qBAAa,eAAgB,YAAW,KAAK;IAK3C,yEAAyE;aACzD,MAAM,CAAC,EAAE,KAAK;IAL/B,uDAAuD;IACvD,OAAO,CAAC,iBAAiB,CAA6C;;IAGrE,yEAAyE;IACzD,MAAM,CAAC,EAAE,KAAK,YAAA;IAG/B;;;;;;;;;;OAUG;IACH,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,iBAAiB,GAAG,IAAI;IAQxE,aAAa,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,GAAG,QAAQ,GAAG,OAAO,SAAS,GAAG,SAAS;IAWrG;;;;OAIG;IACH,UAAU,IAAI,SAAS,CAAC,MAAM,EAAE,iBAAiB,CAAC,EAAE;CAGpD"}
+{"version":3,"file":"registered.d.ts","sourceRoot":"","sources":["../../../../src/planner/scopes/registered.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAC3C,OAAO,EAAE,KAAK,iBAAiB,EAAE,KAAK,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE3E;;;;GAIG;AACH,qBAAa,eAAgB,YAAW,KAAK;IAK3C,yEAAyE;aACzD,MAAM,CAAC,EAAE,KAAK;IAL/B,uDAAuD;IACvD,OAAO,CAAC,iBAAiB,CAA6C;;IAGrE,yEAAyE;IACzD,MAAM,CAAC,EAAE,KAAK,YAAA;IAG/B;;;;;;;;;;OAUG;IACH,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,iBAAiB,GAAG,IAAI;IAQxE,gBAAgB,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,iBAAiB,GAAG,IAAI;IAQrE,aAAa,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,GAAG,QAAQ,GAAG,OAAO,SAAS,GAAG,SAAS;IAWrG;;;;OAIG;IACH,UAAU,IAAI,SAAS,CAAC,MAAM,EAAE,iBAAiB,CAAC,EAAE;CAGpD"}

package/dist/src/planner/scopes/registered.js

@@ -32,6 +32,13 @@ export class RegisteredScope {
         }
         this.registeredSymbols.set(lowerSymbolKey, getReference);
     }
+    subscribeFactory(symbolKey, factory) {
+        const lower = symbolKey.toLowerCase();
+        if (this.registeredSymbols.has(lower)) {
+            throw new QuereusError(`Symbol '${lower}' already exists in the same scope.`, StatusCode.ERROR);
+        }
+        this.registeredSymbols.set(lower, factory);
+    }
     resolveSymbol(symbolKey, expression) {
         const reference = this.registeredSymbols.get(symbolKey.toLowerCase());
         if (reference) {

package/dist/src/planner/scopes/registered.js.map

@@ -1 +1 @@
-{"version":3,"file":"registered.js","sourceRoot":"","sources":["../../../../src/planner/scopes/registered.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAKtD;;;;GAIG;AACH,MAAM,OAAO,eAAe;IAMV;IALjB,uDAAuD;IAC/C,iBAAiB,GAAmC,IAAI,GAAG,EAAE,CAAC;IAEtE;IACC,yEAAyE;IACzD,MAAc;QAAd,WAAM,GAAN,MAAM,CAAQ;IAC3B,CAAC;IAEL;;;;;;;;;;OAUG;IACH,cAAc,CAAC,SAAiB,EAAE,YAA+B;QAChE,MAAM,cAAc,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC;QAC/C,IAAI,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;YAChD,MAAM,IAAI,YAAY,CAAC,WAAW,cAAc,qCAAqC,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;QAC1G,CAAC;QACD,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;IAC1D,CAAC;IAED,aAAa,CAAC,SAAiB,EAAE,UAA0B;QAC1D,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC;QACtE,IAAI,SAAS,EAAE,CAAC;YACf,OAAO,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACpC,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACjB,OAAO,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QACzD,CAAC;QACD,OAAO,SAAS,CAAC;IAClB,CAAC;IAED;;;;OAIG;IACH,UAAU;QACT,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC;IACrD,CAAC;CACD"}
+{"version":3,"file":"registered.js","sourceRoot":"","sources":["../../../../src/planner/scopes/registered.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAKtD;;;;GAIG;AACH,MAAM,OAAO,eAAe;IAMV;IALjB,uDAAuD;IAC/C,iBAAiB,GAAmC,IAAI,GAAG,EAAE,CAAC;IAEtE;IACC,yEAAyE;IACzD,MAAc;QAAd,WAAM,GAAN,MAAM,CAAQ;IAC3B,CAAC;IAEL;;;;;;;;;;OAUG;IACH,cAAc,CAAC,SAAiB,EAAE,YAA+B;QAChE,MAAM,cAAc,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC;QAC/C,IAAI,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;YAChD,MAAM,IAAI,YAAY,CAAC,WAAW,cAAc,qCAAqC,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;QAC1G,CAAC;QACD,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;IAC1D,CAAC;IAED,gBAAgB,CAAC,SAAiB,EAAE,OAA0B;QAC7D,MAAM,KAAK,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,YAAY,CAAC,WAAW,KAAK,qCAAqC,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;QACjG,CAAC;QACD,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IAED,aAAa,CAAC,SAAiB,EAAE,UAA0B;QAC1D,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC;QACtE,IAAI,SAAS,EAAE,CAAC;YACf,OAAO,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACpC,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACjB,OAAO,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QACzD,CAAC;QACD,OAAO,SAAS,CAAC;IAClB,CAAC;IAED;;;;OAIG;IACH,UAAU;QACT,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC;IACrD,CAAC;CACD"}

package/dist/src/planner/stats/index.d.ts

@@ -60,27 +60,10 @@ export declare class NaiveStatsProvider implements StatsProvider {
     indexSelectivity(table: TableSchema, indexName: string, predicate: ScalarPlanNode): number | undefined;
     private estimatePredicateSelectivity;
 }
-/**
- * Statistics provider that delegates to virtual table modules
- * Allows VTab modules to provide their own statistics
- */
-export declare class VTabStatsProvider implements StatsProvider {
-    private readonly fallback;
-    constructor(fallback?: StatsProvider);
-    tableRows(table: TableSchema): number | undefined;
-    selectivity(table: TableSchema, predicate: ScalarPlanNode): number | undefined;
-    joinSelectivity(leftTable: TableSchema, rightTable: TableSchema, joinCondition: ScalarPlanNode): number | undefined;
-    distinctValues(table: TableSchema, columnName: string): number | undefined;
-    indexSelectivity(table: TableSchema, indexName: string, predicate: ScalarPlanNode): number | undefined;
-}
 /**
  * Default statistics provider instance
  */
 export declare const defaultStatsProvider: NaiveStatsProvider;
-/**
- * VTab-aware statistics provider instance
- */
-export declare const vtabStatsProvider: VTabStatsProvider;
 /**
  * Create a custom statistics provider
  */

package/dist/src/planner/stats/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/planner/stats/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAKzD;;GAEG;AACH,MAAM,WAAW,aAAa;IAC7B;;;;OAIG;IACH,SAAS,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS,CAAC;IAElD;;;;;OAKG;IACH,WAAW,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,GAAG,MAAM,GAAG,SAAS,CAAC;IAE/E;;;;;;OAMG;IACH,eAAe,CAAC,CAAC,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,cAAc,GAAG,MAAM,GAAG,SAAS,CAAC;IAErH;;;;;OAKG;IACH,cAAc,CAAC,CAAC,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAE5E;;;;;;OAMG;IACH,gBAAgB,CAAC,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,GAAG,MAAM,GAAG,SAAS,CAAC;CACxG;AAED;;;GAGG;AACH,qBAAa,kBAAmB,YAAW,aAAa;IAEtD,OAAO,CAAC,QAAQ,CAAC,gBAAgB;IACjC,OAAO,CAAC,QAAQ,CAAC,kBAAkB;gBADlB,gBAAgB,GAAE,MAAa,EAC/B,kBAAkB,GAAE,MAAY;IAMlD,SAAS,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS;IAQjD,WAAW,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,GAAG,MAAM,GAAG,SAAS;IAO9E,eAAe,CAAC,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,EAAE,cAAc,EAAE,cAAc,GAAG,MAAM,GAAG,SAAS;IAWpH,cAAc,CAAC,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAU1E,gBAAgB,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,GAAG,MAAM,GAAG,SAAS;IAQtG,OAAO,CAAC,4BAA4B;CAmBpC;AAED;;;GAGG;AACH,qBAAa,iBAAkB,YAAW,aAAa;IAErD,OAAO,CAAC,QAAQ,CAAC,QAAQ;gBAAR,QAAQ,GAAE,aAAwC;IAKpE,SAAS,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS;IAkBjD,WAAW,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,GAAG,MAAM,GAAG,SAAS;IAkB9E,eAAe,CAAC,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,cAAc,GAAG,MAAM,GAAG,SAAS;IAInH,cAAc,CAAC,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAI1E,gBAAgB,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,GAAG,MAAM,GAAG,SAAS;CAGtG;AAED;;GAEG;AACH,eAAO,MAAM,oBAAoB,oBAA2B,CAAC;AAE7D;;GAEG;AACH,eAAO,MAAM,iBAAiB,mBAA0B,CAAC;AAEzD;;GAEG;AACH,wBAAgB,mBAAmB,CAClC,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAClC,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAClC,aAAa,CAWf"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/planner/stats/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAKzD;;GAEG;AACH,MAAM,WAAW,aAAa;IAC7B;;;;OAIG;IACH,SAAS,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS,CAAC;IAElD;;;;;OAKG;IACH,WAAW,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,GAAG,MAAM,GAAG,SAAS,CAAC;IAE/E;;;;;;OAMG;IACH,eAAe,CAAC,CAAC,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,cAAc,GAAG,MAAM,GAAG,SAAS,CAAC;IAErH;;;;;OAKG;IACH,cAAc,CAAC,CAAC,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAE5E;;;;;;OAMG;IACH,gBAAgB,CAAC,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,GAAG,MAAM,GAAG,SAAS,CAAC;CACxG;AAED;;;GAGG;AACH,qBAAa,kBAAmB,YAAW,aAAa;IAEtD,OAAO,CAAC,QAAQ,CAAC,gBAAgB;IACjC,OAAO,CAAC,QAAQ,CAAC,kBAAkB;gBADlB,gBAAgB,GAAE,MAAa,EAC/B,kBAAkB,GAAE,MAAY;IAMlD,SAAS,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS;IAQjD,WAAW,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,GAAG,MAAM,GAAG,SAAS;IAO9E,eAAe,CAAC,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,EAAE,cAAc,EAAE,cAAc,GAAG,MAAM,GAAG,SAAS;IAWpH,cAAc,CAAC,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAU1E,gBAAgB,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,GAAG,MAAM,GAAG,SAAS;IAQtG,OAAO,CAAC,4BAA4B;CAmBpC;AAED;;GAEG;AACH,eAAO,MAAM,oBAAoB,oBAA2B,CAAC;AAE7D;;GAEG;AACH,wBAAgB,mBAAmB,CAClC,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAClC,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAClC,aAAa,CAWf"}

package/dist/src/planner/stats/index.js

@@ -73,68 +73,10 @@ export class NaiveStatsProvider {
         }
     }
 }
-/**
- * Statistics provider that delegates to virtual table modules
- * Allows VTab modules to provide their own statistics
- */
-export class VTabStatsProvider {
-    fallback;
-    constructor(fallback = new NaiveStatsProvider()) {
-        this.fallback = fallback;
-        log('Created VTab stats provider with fallback');
-    }
-    tableRows(table) {
-        // Try to get stats from VTab module if it supports it
-        if (table.vtabModule && typeof table.vtabModule === 'object' && 'getTableStats' in table.vtabModule) {
-            try {
-                const stats = table.vtabModule.getTableStats?.(table);
-                if (stats?.rowCount !== undefined) {
-                    log('Got row count from VTab module for %s: %d', table.name, stats.rowCount);
-                    return stats.rowCount;
-                }
-            }
-            catch (error) {
-                log('Error getting VTab stats for %s: %s', table.name, error);
-            }
-        }
-        // Fall back to default provider
-        return this.fallback.tableRows(table);
-    }
-    selectivity(table, predicate) {
-        // Try VTab module selectivity
-        if (table.vtabModule && typeof table.vtabModule === 'object' && 'getSelectivity' in table.vtabModule) {
-            try {
-                const selectivity = table.vtabModule.getSelectivity?.(table, predicate);
-                if (selectivity !== undefined) {
-                    log('Got selectivity from VTab module for %s: %f', table.name, selectivity);
-                    return selectivity;
-                }
-            }
-            catch (error) {
-                log('Error getting VTab selectivity for %s: %s', table.name, error);
-            }
-        }
-        // Fall back to default provider
-        return this.fallback.selectivity(table, predicate);
-    }
-    joinSelectivity(leftTable, rightTable, joinCondition) {
-        return this.fallback.joinSelectivity?.(leftTable, rightTable, joinCondition);
-    }
-    distinctValues(table, columnName) {
-        return this.fallback.distinctValues?.(table, columnName);
-    }
-    indexSelectivity(table, indexName, predicate) {
-        return this.fallback.indexSelectivity?.(table, indexName, predicate);
-    }
-}
 /**
  * Default statistics provider instance
  */
 export const defaultStatsProvider = new NaiveStatsProvider();
-/**
- * VTab-aware statistics provider instance
- */
-export const vtabStatsProvider = new VTabStatsProvider();
 /**
  * Create a custom statistics provider
  */

package/dist/src/planner/stats/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/planner/stats/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEtD,MAAM,GAAG,GAAG,YAAY,CAAC,iBAAiB,CAAC,CAAC;AAgD5C;;;GAGG;AACH,MAAM,OAAO,kBAAkB;IAEZ;IACA;IAFlB,YACkB,mBAA2B,IAAI,EAC/B,qBAA6B,GAAG;QADhC,qBAAgB,GAAhB,gBAAgB,CAAe;QAC/B,uBAAkB,GAAlB,kBAAkB,CAAc;QAEjD,GAAG,CAAC,wEAAwE,EAC3E,gBAAgB,EAAE,kBAAkB,CAAC,CAAC;IACxC,CAAC;IAED,SAAS,CAAC,KAAkB;QAC3B,iEAAiE;QACjE,MAAM,QAAQ,GAAG,KAAK,CAAC,aAAa,IAAI,IAAI,CAAC,gBAAgB,CAAC;QAC9D,GAAG,CAAC,0CAA0C,EAC7C,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACnE,OAAO,QAAQ,CAAC;IACjB,CAAC;IAED,WAAW,CAAC,KAAkB,EAAE,SAAyB;QACxD,4CAA4C;QAC5C,MAAM,WAAW,GAAG,IAAI,CAAC,4BAA4B,CAAC,SAAS,CAAC,CAAC;QACjE,GAAG,CAAC,kCAAkC,EAAE,SAAS,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QACzE,OAAO,WAAW,CAAC;IACpB,CAAC;IAED,eAAe,CAAC,SAAsB,EAAE,UAAuB,EAAE,cAA8B;QAC9F,gDAAgD;QAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,gBAAgB,CAAC;QACpE,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,gBAAgB,CAAC;QAEtE,yDAAyD;QACzD,MAAM,WAAW,GAAG,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;QAC5D,GAAG,CAAC,wCAAwC,EAAE,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAC5F,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;IACnC,CAAC;IAED,cAAc,CAAC,KAAkB,EAAE,UAAkB;QACpD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,CAAC,SAAS;YAAE,OAAO,SAAS,CAAC;QAEjC,+DAA+D;QAC/D,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC;QAC1D,GAAG,CAAC,+BAA+B,EAAE,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;QACvE,OAAO,QAAQ,CAAC;IACjB,CAAC;IAED,gBAAgB,CAAC,KAAkB,EAAE,SAAiB,EAAE,SAAyB;QAChF,wDAAwD;QACxD,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,IAAI,CAAC,kBAAkB,CAAC;QACrF,MAAM,gBAAgB,GAAG,cAAc,GAAG,GAAG,CAAC,CAAC,6BAA6B;QAC5E,GAAG,CAAC,qCAAqC,EAAE,SAAS,EAAE,gBAAgB,EAAE,cAAc,CAAC,CAAC;QACxF,OAAO,gBAAgB,CAAC;IACzB,CAAC;IAEO,4BAA4B,CAAC,SAAyB;QAC7D,uCAAuC;QACvC,QAAQ,SAAS,CAAC,QAAQ,EAAE,CAAC;YAC5B,KAAK,UAAU;gBACd,+CAA+C;gBAC/C,OAAO,GAAG,CAAC,CAAC,2BAA2B;YACxC,KAAK,IAAI;gBACR,OAAO,GAAG,CAAC,CAAC,aAAa;YAC1B,KAAK,SAAS;gBACb,OAAO,IAAI,CAAC,CAAC,gBAAgB;YAC9B,KAAK,MAAM;gBACV,OAAO,GAAG,CAAC,CAAC,mBAAmB;YAChC,KAAK,QAAQ,CAAC;YACd,KAAK,WAAW;gBACf,OAAO,GAAG,CAAC,CAAC,oCAAoC;YACjD;gBACC,OAAO,IAAI,CAAC,kBAAkB,CAAC;QACjC,CAAC;IACF,CAAC;CACD;AAED;;;GAGG;AACH,MAAM,OAAO,iBAAiB;IAEX;IADlB,YACkB,WAA0B,IAAI,kBAAkB,EAAE;QAAlD,aAAQ,GAAR,QAAQ,CAA0C;QAEnE,GAAG,CAAC,2CAA2C,CAAC,CAAC;IAClD,CAAC;IAED,SAAS,CAAC,KAAkB;QAC3B,sDAAsD;QACtD,IAAI,KAAK,CAAC,UAAU,IAAI,OAAO,KAAK,CAAC,UAAU,KAAK,QAAQ,IAAI,eAAe,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YACrG,IAAI,CAAC;gBACJ,MAAM,KAAK,GAAI,KAAK,CAAC,UAAkB,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,CAAC;gBAC/D,IAAI,KAAK,EAAE,QAAQ,KAAK,SAAS,EAAE,CAAC;oBACnC,GAAG,CAAC,2CAA2C,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;oBAC7E,OAAO,KAAK,CAAC,QAAQ,CAAC;gBACvB,CAAC;YACF,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBAChB,GAAG,CAAC,qCAAqC,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC/D,CAAC;QACF,CAAC;QAED,gCAAgC;QAChC,OAAO,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC;IAED,WAAW,CAAC,KAAkB,EAAE,SAAyB;QACxD,8BAA8B;QAC9B,IAAI,KAAK,CAAC,UAAU,IAAI,OAAO,KAAK,CAAC,UAAU,KAAK,QAAQ,IAAI,gBAAgB,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YACtG,IAAI,CAAC;gBACJ,MAAM,WAAW,GAAI,KAAK,CAAC,UAAkB,CAAC,cAAc,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;gBACjF,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;oBAC/B,GAAG,CAAC,6CAA6C,EAAE,KAAK,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;oBAC5E,OAAO,WAAW,CAAC;gBACpB,CAAC;YACF,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBAChB,GAAG,CAAC,2CAA2C,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACrE,CAAC;QACF,CAAC;QAED,gCAAgC;QAChC,OAAO,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACpD,CAAC;IAED,eAAe,CAAC,SAAsB,EAAE,UAAuB,EAAE,aAA6B;QAC7F,OAAO,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;IAC9E,CAAC;IAED,cAAc,CAAC,KAAkB,EAAE,UAAkB;QACpD,OAAO,IAAI,CAAC,QAAQ,CAAC,cAAc,EAAE,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAC1D,CAAC;IAED,gBAAgB,CAAC,KAAkB,EAAE,SAAiB,EAAE,SAAyB;QAChF,OAAO,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;IACtE,CAAC;CACD;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,kBAAkB,EAAE,CAAC;AAE7D;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,iBAAiB,EAAE,CAAC;AAEzD;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAClC,YAAkC,EAClC,cAAoC;IAEpC,OAAO,IAAI;QACV,SAAS,CAAC,KAAkB;YAC3B,OAAO,YAAY,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,oBAAoB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/E,CAAC;QAED,WAAW,CAAC,KAAkB,EAAE,SAAyB;YACxD,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,IAAI,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;YAClD,OAAO,cAAc,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,oBAAoB,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACvF,CAAC;KACD,CAAC;AACH,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/planner/stats/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEtD,MAAM,GAAG,GAAG,YAAY,CAAC,iBAAiB,CAAC,CAAC;AAgD5C;;;GAGG;AACH,MAAM,OAAO,kBAAkB;IAEZ;IACA;IAFlB,YACkB,mBAA2B,IAAI,EAC/B,qBAA6B,GAAG;QADhC,qBAAgB,GAAhB,gBAAgB,CAAe;QAC/B,uBAAkB,GAAlB,kBAAkB,CAAc;QAEjD,GAAG,CAAC,wEAAwE,EAC3E,gBAAgB,EAAE,kBAAkB,CAAC,CAAC;IACxC,CAAC;IAED,SAAS,CAAC,KAAkB;QAC3B,iEAAiE;QACjE,MAAM,QAAQ,GAAG,KAAK,CAAC,aAAa,IAAI,IAAI,CAAC,gBAAgB,CAAC;QAC9D,GAAG,CAAC,0CAA0C,EAC7C,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACnE,OAAO,QAAQ,CAAC;IACjB,CAAC;IAED,WAAW,CAAC,KAAkB,EAAE,SAAyB;QACxD,4CAA4C;QAC5C,MAAM,WAAW,GAAG,IAAI,CAAC,4BAA4B,CAAC,SAAS,CAAC,CAAC;QACjE,GAAG,CAAC,kCAAkC,EAAE,SAAS,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QACzE,OAAO,WAAW,CAAC;IACpB,CAAC;IAED,eAAe,CAAC,SAAsB,EAAE,UAAuB,EAAE,cAA8B;QAC9F,gDAAgD;QAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,gBAAgB,CAAC;QACpE,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,gBAAgB,CAAC;QAEtE,yDAAyD;QACzD,MAAM,WAAW,GAAG,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;QAC5D,GAAG,CAAC,wCAAwC,EAAE,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAC5F,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;IACnC,CAAC;IAED,cAAc,CAAC,KAAkB,EAAE,UAAkB;QACpD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,CAAC,SAAS;YAAE,OAAO,SAAS,CAAC;QAEjC,+DAA+D;QAC/D,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC;QAC1D,GAAG,CAAC,+BAA+B,EAAE,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;QACvE,OAAO,QAAQ,CAAC;IACjB,CAAC;IAED,gBAAgB,CAAC,KAAkB,EAAE,SAAiB,EAAE,SAAyB;QAChF,wDAAwD;QACxD,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,IAAI,CAAC,kBAAkB,CAAC;QACrF,MAAM,gBAAgB,GAAG,cAAc,GAAG,GAAG,CAAC,CAAC,6BAA6B;QAC5E,GAAG,CAAC,qCAAqC,EAAE,SAAS,EAAE,gBAAgB,EAAE,cAAc,CAAC,CAAC;QACxF,OAAO,gBAAgB,CAAC;IACzB,CAAC;IAEO,4BAA4B,CAAC,SAAyB;QAC7D,uCAAuC;QACvC,QAAQ,SAAS,CAAC,QAAQ,EAAE,CAAC;YAC5B,KAAK,UAAU;gBACd,+CAA+C;gBAC/C,OAAO,GAAG,CAAC,CAAC,2BAA2B;YACxC,KAAK,IAAI;gBACR,OAAO,GAAG,CAAC,CAAC,aAAa;YAC1B,KAAK,SAAS;gBACb,OAAO,IAAI,CAAC,CAAC,gBAAgB;YAC9B,KAAK,MAAM;gBACV,OAAO,GAAG,CAAC,CAAC,mBAAmB;YAChC,KAAK,QAAQ,CAAC;YACd,KAAK,WAAW;gBACf,OAAO,GAAG,CAAC,CAAC,oCAAoC;YACjD;gBACC,OAAO,IAAI,CAAC,kBAAkB,CAAC;QACjC,CAAC;IACF,CAAC;CACD;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,kBAAkB,EAAE,CAAC;AAE7D;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAClC,YAAkC,EAClC,cAAoC;IAEpC,OAAO,IAAI;QACV,SAAS,CAAC,KAAkB;YAC3B,OAAO,YAAY,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,oBAAoB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/E,CAAC;QAED,WAAW,CAAC,KAAkB,EAAE,SAAyB;YACxD,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,IAAI,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;YAClD,OAAO,cAAc,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,oBAAoB,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACvF,CAAC;KACD,CAAC;AACH,CAAC"}

package/dist/src/planner/util/deferred-constraint.d.ts

@@ -0,0 +1,14 @@
+import type { Database } from '../../core/database.js';
+import type { TableSchema } from '../../schema/table.js';
+import type * as AST from '../../parser/ast.js';
+import { TableReferenceNode } from '../nodes/reference.js';
+import type { PlanningContext } from '../planning-context.js';
+export interface DeferredConstraintSetup {
+    tableRef: TableReferenceNode;
+    context: PlanningContext;
+}
+export declare function createDeferredConstraintSetup(db: Database, table: TableSchema, options?: {
+    bindOld?: boolean;
+}): DeferredConstraintSetup;
+export declare function constraintPlanContainsSubquery(_db: Database, _table: TableSchema, expr: AST.Expression): boolean;
+//# sourceMappingURL=deferred-constraint.d.ts.map

package/dist/src/planner/util/deferred-constraint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"deferred-constraint.d.ts","sourceRoot":"","sources":["../../../../src/planner/util/deferred-constraint.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,KAAK,EAAE,WAAW,EAAuB,MAAM,uBAAuB,CAAC;AAC9E,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAGhD,OAAO,EAAE,kBAAkB,EAAuB,MAAM,uBAAuB,CAAC;AAGhF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAU9D,MAAM,WAAW,uBAAuB;IACvC,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,OAAO,EAAE,eAAe,CAAC;CACzB;AAED,wBAAgB,6BAA6B,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,CAAC,EAAE;IAAE,OAAO,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,uBAAuB,CAwCxI;AAED,wBAAgB,8BAA8B,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,CAAC,UAAU,GAAG,OAAO,CAuChH"}

package/dist/src/planner/util/deferred-constraint.js

@@ -0,0 +1,85 @@
+import { GlobalScope } from '../scopes/global.js';
+import { RegisteredScope } from '../scopes/registered.js';
+import { TableReferenceNode, ColumnReferenceNode } from '../nodes/reference.js';
+import { LiteralNode } from '../nodes/scalar.js';
+import { BuildTimeDependencyTracker } from '../planning-context.js';
+export function createDeferredConstraintSetup(db, table, options) {
+    const globalScope = new GlobalScope(db.schemaManager);
+    const tableRef = new TableReferenceNode(globalScope, table, table.vtabModule, table.vtabAuxData);
+    const registered = new RegisteredScope(tableRef.scope);
+    const attrs = tableRef.getAttributes();
+    const lowerTableName = table.name.toLowerCase();
+    const makeColumnFactory = (attr, colIndex) => {
+        return (exp, s) => new ColumnReferenceNode(s, exp, attr.type, attr.id, colIndex);
+    };
+    table.columns.forEach((col, colIndex) => {
+        const attr = attrs[colIndex];
+        const lowerName = col.name.toLowerCase();
+        const columnFactory = makeColumnFactory(attr, colIndex);
+        registered.subscribeFactory(lowerName, columnFactory);
+        registered.subscribeFactory(`new.${lowerName}`, columnFactory);
+        registered.subscribeFactory(`${lowerTableName}.${lowerName}`, columnFactory);
+        if (options?.bindOld) {
+            const literalNull = { type: 'literal', value: null };
+            registered.subscribeFactory(`old.${lowerName}`, (exp, s) => new LiteralNode(s, literalNull));
+        }
+    });
+    const context = {
+        db: db,
+        schemaManager: db.schemaManager,
+        parameters: {},
+        scope: registered,
+        cteNodes: new Map(),
+        schemaDependencies: new BuildTimeDependencyTracker(),
+        schemaCache: new Map(),
+        cteReferenceCache: new Map(),
+        outputScopes: new Map()
+    };
+    return { tableRef, context };
+}
+export function constraintPlanContainsSubquery(_db, _table, expr) {
+    // Check AST directly without building a plan to avoid schema resolution issues
+    const stack = [expr];
+    while (stack.length) {
+        const node = stack.pop();
+        if (node.type === 'subquery' || node.type === 'exists') {
+            return true;
+        }
+        if (node.type === 'in' && node.subquery) {
+            return true;
+        }
+        // Check for table references in scalar contexts (e.g., correlated subqueries)
+        if (node.type === 'column' && node.table) {
+            const colExpr = node;
+            // If column references a different table, it likely involves a subquery or join
+            if (colExpr.table && colExpr.table.toLowerCase() !== _table.name.toLowerCase()) {
+                return true;
+            }
+        }
+        // Recursively check children
+        if (node.type === 'binary') {
+            const bin = node;
+            stack.push(bin.left, bin.right);
+        }
+        else if (node.type === 'unary') {
+            const un = node;
+            stack.push(un.expr);
+        }
+        else if (node.type === 'function') {
+            const fn = node;
+            stack.push(...fn.args);
+        }
+        else if (node.type === 'case') {
+            const cs = node;
+            if (cs.baseExpr)
+                stack.push(cs.baseExpr);
+            cs.whenThenClauses.forEach(w => {
+                stack.push(w.when, w.then);
+            });
+            if (cs.elseExpr)
+                stack.push(cs.elseExpr);
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=deferred-constraint.js.map

package/dist/src/planner/util/deferred-constraint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"deferred-constraint.js","sourceRoot":"","sources":["../../../../src/planner/util/deferred-constraint.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAEhF,OAAO,EAAE,WAAW,EAA6B,MAAM,oBAAoB,CAAC;AAE5E,OAAO,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAC;AAcpE,MAAM,UAAU,6BAA6B,CAAC,EAAY,EAAE,KAAkB,EAAE,OAA+B;IAC9G,MAAM,WAAW,GAAG,IAAI,WAAW,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,IAAI,kBAAkB,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IACjG,MAAM,UAAU,GAAG,IAAI,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,QAAQ,CAAC,aAAa,EAAE,CAAC;IAEvC,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IAEhD,MAAM,iBAAiB,GAAG,CAAC,IAA6D,EAAE,QAAgB,EAAE,EAAE;QAC7G,OAAO,CAAC,GAAmB,EAAE,CAAQ,EAAE,EAAE,CAAC,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IAC3H,CAAC,CAAC;IAEF,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE;QACvC,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC7B,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACzC,MAAM,aAAa,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAExD,UAAU,CAAC,gBAAgB,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QACtD,UAAU,CAAC,gBAAgB,CAAC,OAAO,SAAS,EAAE,EAAE,aAAa,CAAC,CAAC;QAC/D,UAAU,CAAC,gBAAgB,CAAC,GAAG,cAAc,IAAI,SAAS,EAAE,EAAE,aAAa,CAAC,CAAC;QAE7E,IAAI,OAAO,EAAE,OAAO,EAAE,CAAC;YACtB,MAAM,WAAW,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAW,CAAC;YAC9D,UAAU,CAAC,gBAAgB,CAAC,OAAO,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;QAC9F,CAAC;IACF,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,GAAoB;QAChC,EAAE,EAAE,EAAE;QACN,aAAa,EAAE,EAAE,CAAC,aAAa;QAC/B,UAAU,EAAE,EAAE;QACd,KAAK,EAAE,UAAU;QACjB,QAAQ,EAAE,IAAI,GAAG,EAAE;QACnB,kBAAkB,EAAE,IAAI,0BAA0B,EAAE;QACpD,WAAW,EAAE,IAAI,GAAG,EAAE;QACtB,iBAAiB,EAAE,IAAI,GAAG,EAAE;QAC5B,YAAY,EAAE,IAAI,GAAG,EAAE;KACvB,CAAC;IAEF,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,8BAA8B,CAAC,GAAa,EAAE,MAAmB,EAAE,IAAoB;IACtG,+EAA+E;IAC/E,MAAM,KAAK,GAAqB,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QAC1B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxD,OAAO,IAAI,CAAC;QACb,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAK,IAAmB,CAAC,QAAQ,EAAE,CAAC;YACzD,OAAO,IAAI,CAAC;QACb,CAAC;QACD,8EAA8E;QAC9E,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAK,IAAuB,CAAC,KAAK,EAAE,CAAC;YAC9D,MAAM,OAAO,GAAG,IAAsB,CAAC;YACvC,gFAAgF;YAChF,IAAI,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;gBAChF,OAAO,IAAI,CAAC;YACb,CAAC;QACF,CAAC;QACD,6BAA6B;QAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,IAAsB,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QACjC,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAClC,MAAM,EAAE,GAAG,IAAqB,CAAC;YACjC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACrC,MAAM,EAAE,GAAG,IAAwB,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACjC,MAAM,EAAE,GAAG,IAAoB,CAAC;YAChC,IAAI,EAAE,CAAC,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;YACzC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gBAC9B,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5B,CAAC,CAAC,CAAC;YACH,IAAI,EAAE,CAAC,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QAC1C,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC"}

package/dist/src/planner/util/key-utils.d.ts

@@ -0,0 +1,15 @@
+import type { ColRef } from '../../common/datatype.js';
+/**
+ * Project unique keys through a projection mapping.
+ * - sourceKeys: keys defined on the source relation (arrays of column refs by source column index)
+ * - projectionMap: mapping from source column index -> projected column index
+ * Returns keys that survive projection (all columns present), with indices remapped to output.
+ */
+export declare function projectKeys(sourceKeys: ReadonlyArray<ReadonlyArray<ColRef>>, projectionMap: ReadonlyMap<number, number>): ColRef[][];
+/**
+ * Combine unique keys across a join.
+ * - For inner/cross joins: keys from left and right are preserved; right indices are shifted by left column count.
+ * - For outer joins: return [] conservatively (null padding may break uniqueness).
+ */
+export declare function combineJoinKeys(leftKeys: ReadonlyArray<ReadonlyArray<ColRef>>, rightKeys: ReadonlyArray<ReadonlyArray<ColRef>>, joinType: 'inner' | 'left' | 'right' | 'full' | 'cross', leftColumnCount: number): ColRef[][];
+//# sourceMappingURL=key-utils.d.ts.map

package/dist/src/planner/util/key-utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"key-utils.d.ts","sourceRoot":"","sources":["../../../../src/planner/util/key-utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAEvD;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,UAAU,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,EAAE,EAAE,CAkBpI;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,QAAQ,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,SAAS,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,EAAE,eAAe,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,CAU7N"}

package/dist/src/planner/util/key-utils.js

@@ -0,0 +1,43 @@
+/**
+ * Project unique keys through a projection mapping.
+ * - sourceKeys: keys defined on the source relation (arrays of column refs by source column index)
+ * - projectionMap: mapping from source column index -> projected column index
+ * Returns keys that survive projection (all columns present), with indices remapped to output.
+ */
+export function projectKeys(sourceKeys, projectionMap) {
+    const result = [];
+    for (const key of sourceKeys) {
+        const projected = [];
+        let missing = false;
+        for (const col of key) {
+            const projectedIndex = projectionMap.get(col.index);
+            if (projectedIndex === undefined) {
+                missing = true;
+                break;
+            }
+            projected.push({ index: projectedIndex, desc: col.desc });
+        }
+        if (!missing) {
+            result.push(projected);
+        }
+    }
+    return result;
+}
+/**
+ * Combine unique keys across a join.
+ * - For inner/cross joins: keys from left and right are preserved; right indices are shifted by left column count.
+ * - For outer joins: return [] conservatively (null padding may break uniqueness).
+ */
+export function combineJoinKeys(leftKeys, rightKeys, joinType, leftColumnCount) {
+    if (joinType !== 'inner' && joinType !== 'cross')
+        return [];
+    const result = [];
+    for (const key of leftKeys) {
+        result.push(key.map(c => ({ index: c.index, desc: c.desc })));
+    }
+    for (const key of rightKeys) {
+        result.push(key.map(c => ({ index: c.index + leftColumnCount, desc: c.desc })));
+    }
+    return result;
+}
+//# sourceMappingURL=key-utils.js.map

package/dist/src/planner/util/key-utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"key-utils.js","sourceRoot":"","sources":["../../../../src/planner/util/key-utils.ts"],"names":[],"mappings":"AAEA;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,UAAgD,EAAE,aAA0C;IACvH,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;YACvB,MAAM,cAAc,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACpD,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;gBAClC,OAAO,GAAG,IAAI,CAAC;gBACf,MAAM;YACP,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3D,CAAC;QACD,IAAI,CAAC,OAAO,EAAE,CAAC;YACd,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACxB,CAAC;IACF,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,QAA8C,EAAE,SAA+C,EAAE,QAAuD,EAAE,eAAuB;IAChN,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,OAAO;QAAE,OAAO,EAAE,CAAC;IAC5D,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,GAAG,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC"}

package/dist/src/planner/validation/plan-validator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"plan-validator.d.ts","sourceRoot":"","sources":["../../../../src/planner/validation/plan-validator.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAoB,QAAQ,EAA2B,MAAM,uBAAuB,CAAC;AAQ5F;;GAEG;AACH,MAAM,WAAW,iBAAiB;IACjC,oEAAoE;IACpE,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,qDAAqD;IACrD,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,mDAAmD;IACnD,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC3B;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,GAAE,iBAAsB,GAAG,IAAI,CAc1F;AAkRD;;;GAGG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CASrD"}
+{"version":3,"file":"plan-validator.d.ts","sourceRoot":"","sources":["../../../../src/planner/validation/plan-validator.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAoB,QAAQ,EAA2B,MAAM,uBAAuB,CAAC;AAS5F;;GAEG;AACH,MAAM,WAAW,iBAAiB;IACjC,oEAAoE;IACpE,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,qDAAqD;IACrD,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,mDAAmD;IACnD,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC3B;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,GAAE,iBAAsB,GAAG,IAAI,CAc1F;AAmRD;;;GAGG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CASrD"}