@quereus/quereus 0.1.0

package/dist/src/planner/optimizer.js

@@ -0,0 +1,194 @@
+import { createLogger } from '../common/logger.js';
+import { PlanNodeType } from './nodes/plan-node-type.js';
+import { DEFAULT_TUNING } from './optimizer-tuning.js';
+// Re-export for convenience
+export { DEFAULT_TUNING };
+import { applyRules, clearVisitedRules, registerRules, createRule } from './framework/registry.js';
+import { tracePhaseStart, tracePhaseEnd, traceNodeStart, traceNodeEnd } from './framework/trace.js';
+import { defaultStatsProvider } from './stats/index.js';
+import { createOptContext } from './framework/context.js';
+// Phase 2 rules
+import { ruleMaterializationAdvisory } from './rules/cache/rule-materialization-advisory.js';
+// Phase 1.5 rules
+import { ruleSelectAccessPath } from './rules/access/rule-select-access-path.js';
+// Core optimization rules
+import { ruleAggregateStreaming } from './rules/aggregate/rule-aggregate-streaming.js';
+// Constraint rules removed - now handled in builders for correctness
+import { ruleCteOptimization } from './rules/cache/rule-cte-optimization.js';
+import { ruleMutatingSubqueryCache } from './rules/cache/rule-mutating-subquery-cache.js';
+import { ruleMarkPhysical } from './rules/physical/rule-mark-physical.js';
+// Phase 3 rules
+import { validatePhysicalTree } from './validation/plan-validator.js';
+import { performConstantFolding } from './analysis/const-pass.js';
+import { createRuntimeExpressionEvaluator } from './analysis/const-evaluator.js';
+const log = createLogger('optimizer');
+/**
+ * The query optimizer transforms logical plan trees into physical plan trees
+ */
+export class Optimizer {
+    tuning;
+    stats;
+    constructor(tuning = DEFAULT_TUNING, stats) {
+        this.tuning = tuning;
+        this.stats = stats ?? defaultStatsProvider;
+        // Ensure global framework rules are registered once
+        Optimizer.ensureGlobalRulesRegistered();
+    }
+    static globalRulesRegistered = false;
+    /**
+     * Ensure global framework rules are registered only once
+     */
+    static ensureGlobalRulesRegistered() {
+        if (Optimizer.globalRulesRegistered) {
+            return;
+        }
+        Optimizer.globalRulesRegistered = true;
+        const toRegister = [];
+        // Single-pass constant folding is now done before rules, so no individual rules needed
+        // Core optimization rules (converted from old system)
+        toRegister.push(createRule('aggregate-streaming', PlanNodeType.Aggregate, 'impl', ruleAggregateStreaming, 40 // High priority - fundamental logical→physical transformation
+        ));
+        // Mutating subquery cache injection - critical for correctness
+        toRegister.push(createRule('mutating-subquery-cache', PlanNodeType.Join, 'rewrite', ruleMutatingSubqueryCache, 20 // Very high priority - correctness fix to prevent multiple execution
+        ));
+        toRegister.push(createRule('cte-optimization', PlanNodeType.CTE, 'impl', ruleCteOptimization, 70 // Lower priority - caching optimization
+        ));
+        // toRegister.push(createRule(
+        // 	'project-optimization',
+        // 	PlanNodeType.Project,
+        // 	'impl',
+        // 	ruleProjectOptimization,
+        // 	50 // Medium priority - basic optimization
+        // ));
+        // toRegister.push(createRule(
+        // 	'filter-optimization',
+        // 	PlanNodeType.Filter,
+        // 	'impl',
+        // 	ruleFilterOptimization,
+        // 	50 // Medium priority - basic optimization
+        // ));
+        // Phase 1.5 rules
+        toRegister.push(createRule('select-access-path', PlanNodeType.TableScan, 'impl', ruleSelectAccessPath, 30 // High priority - fundamental access path selection
+        ));
+        // Phase 2 rules
+        toRegister.push(createRule('materialization-advisory', PlanNodeType.Block, // Apply to root-level nodes
+        'rewrite', ruleMaterializationAdvisory, 90 // Low priority - run last for global analysis
+        ));
+        // Fallback rule - must run last with lowest priority
+        // We need to register this for multiple node types that might need fallback handling
+        const fallbackNodeTypes = [
+            // Relational nodes
+            PlanNodeType.TableScan, PlanNodeType.Values, PlanNodeType.TableFunctionCall,
+            PlanNodeType.Join, PlanNodeType.NestedLoopJoin, PlanNodeType.SingleRow,
+            PlanNodeType.SetOperation, PlanNodeType.Distinct, PlanNodeType.LimitOffset,
+            PlanNodeType.Window, PlanNodeType.Block, PlanNodeType.CTEReference,
+            PlanNodeType.Cache, PlanNodeType.Sequencing, PlanNodeType.UpdateExecutor,
+            // Scalar nodes
+            PlanNodeType.Literal, PlanNodeType.ColumnReference, PlanNodeType.ParameterReference,
+            PlanNodeType.BinaryOp, PlanNodeType.UnaryOp, PlanNodeType.CaseExpr,
+            PlanNodeType.Cast, PlanNodeType.Collate, PlanNodeType.ScalarFunctionCall,
+            PlanNodeType.Between, PlanNodeType.IsNull, PlanNodeType.IsNotNull, PlanNodeType.Like,
+            PlanNodeType.ScalarSubquery, PlanNodeType.WindowFunctionCall, PlanNodeType.ArrayIndex
+        ];
+        for (const nodeType of fallbackNodeTypes) {
+            toRegister.push(createRule(`mark-physical-${nodeType.toLowerCase()}`, nodeType, 'impl', ruleMarkPhysical, 100 // Lowest priority - absolute fallback
+            ));
+        }
+        // Register all rules at once
+        registerRules(toRegister);
+    }
+    /**
+     * Optimize a plan tree by applying transformation rules
+     */
+    optimize(plan, db) {
+        log('Starting optimization of plan', plan.nodeType);
+        // Clear rule tracking from previous runs
+        clearVisitedRules();
+        // Create optimization context
+        const context = createOptContext(this, this.stats, this.tuning, db);
+        tracePhaseStart('optimization');
+        try {
+            // Phase 0: Single-pass constant folding before other rules
+            log('Running constant folding pre-pass');
+            const constantFoldedPlan = this.performConstantFolding(plan, context);
+            // Continue with rule-based optimization
+            const result = this.optimizeNode(constantFoldedPlan, context);
+            // Phase 3: Validate the physical plan before returning
+            if (this.tuning.debug.validatePlan) {
+                log('Running plan validation');
+                try {
+                    validatePhysicalTree(result);
+                    log('Plan validation passed');
+                }
+                catch (error) {
+                    log('Plan validation failed: %s', error);
+                    throw error;
+                }
+            }
+            return result;
+        }
+        finally {
+            tracePhaseEnd('optimization');
+        }
+    }
+    /**
+     * Perform single-pass constant folding over the entire plan tree
+     */
+    performConstantFolding(plan, context) {
+        try {
+            // Create runtime expression evaluator
+            const evaluator = createRuntimeExpressionEvaluator(context.db);
+            // Perform single-pass constant folding
+            const result = performConstantFolding(plan, evaluator);
+            log('Constant folding completed');
+            return result;
+        }
+        catch (error) {
+            log('Constant folding failed: %s', error);
+            // Return original plan on failure
+            return plan;
+        }
+    }
+    optimizeNode(node, context) {
+        traceNodeStart(node);
+        // If already physical, just recurse on children
+        if (node.physical) {
+            const result = this.optimizeChildren(node, context);
+            traceNodeEnd(node, result);
+            return result;
+        }
+        // First optimize all children
+        const optimizedNode = this.optimizeChildren(node, context);
+        // Apply rules
+        const rulesApplied = applyRules(optimizedNode, context);
+        if (rulesApplied !== optimizedNode) {
+            // Rules transformed the node
+            log(`Rules applied to ${optimizedNode.nodeType}, transformed to ${rulesApplied.nodeType}`);
+            traceNodeEnd(node, rulesApplied);
+            return rulesApplied;
+        }
+        // No rule applied - assume node is physical
+        traceNodeEnd(node, optimizedNode);
+        return optimizedNode;
+    }
+    optimizeChildren(node, context) {
+        // Generic tree walk using withChildren
+        const originalChildren = node.getChildren();
+        const optimizedChildren = originalChildren.map(child => this.optimizeNode(child, context));
+        // Check if any children changed
+        const childrenChanged = optimizedChildren.some((child, i) => child !== originalChildren[i]);
+        if (!childrenChanged) {
+            return node; // No changes
+        }
+        // Use withChildren to create new node with optimized children
+        // withChildren is a required contract - any errors should propagate
+        return node.withChildren(optimizedChildren);
+    }
+    /**
+     * Get the statistics provider
+     */
+    getStats() {
+        return this.stats;
+    }
+}
+//# sourceMappingURL=optimizer.js.map

package/dist/src/planner/optimizer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"optimizer.js","sourceRoot":"","sources":["../../../src/planner/optimizer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAmB,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAExE,4BAA4B;AAC5B,OAAO,EAAE,cAAc,EAAE,CAAC;AAE1B,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACnG,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpG,OAAO,EAAE,oBAAoB,EAAsB,MAAM,kBAAkB,CAAC;AAC5E,OAAO,EAAE,gBAAgB,EAAmB,MAAM,wBAAwB,CAAC;AAC3E,gBAAgB;AAChB,OAAO,EAAE,2BAA2B,EAAE,MAAM,gDAAgD,CAAC;AAC7F,kBAAkB;AAClB,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,0BAA0B;AAC1B,OAAO,EAAE,sBAAsB,EAAE,MAAM,+CAA+C,CAAC;AACvF,qEAAqE;AACrE,OAAO,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAC7E,OAAO,EAAE,yBAAyB,EAAE,MAAM,+CAA+C,CAAC;AAC1F,OAAO,EAAE,gBAAgB,EAAE,MAAM,wCAAwC,CAAC;AAC1E,gBAAgB;AAChB,OAAO,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AAEtE,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,EAAE,gCAAgC,EAAE,MAAM,+BAA+B,CAAC;AAEjF,MAAM,GAAG,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;AAEtC;;GAEG;AACH,MAAM,OAAO,SAAS;IAIJ;IAHA,KAAK,CAAgB;IAEtC,YACiB,SAA0B,cAAc,EACxD,KAAqB;QADL,WAAM,GAAN,MAAM,CAAkC;QAGxD,IAAI,CAAC,KAAK,GAAG,KAAK,IAAI,oBAAoB,CAAC;QAE3C,oDAAoD;QACpD,SAAS,CAAC,2BAA2B,EAAE,CAAC;IACzC,CAAC;IAEO,MAAM,CAAC,qBAAqB,GAAG,KAAK,CAAC;IAE7C;;OAEG;IACK,MAAM,CAAC,2BAA2B;QACzC,IAAI,SAAS,CAAC,qBAAqB,EAAE,CAAC;YACrC,OAAO;QACR,CAAC;QACD,SAAS,CAAC,qBAAqB,GAAG,IAAI,CAAC;QAEvC,MAAM,UAAU,GAAG,EAAE,CAAC;QAEtB,uFAAuF;QAEvF,sDAAsD;QACtD,UAAU,CAAC,IAAI,CAAC,UAAU,CACzB,qBAAqB,EACrB,YAAY,CAAC,SAAS,EACtB,MAAM,EACN,sBAAsB,EACtB,EAAE,CAAC,8DAA8D;SACjE,CAAC,CAAC;QAEH,+DAA+D;QAC/D,UAAU,CAAC,IAAI,CAAC,UAAU,CACzB,yBAAyB,EACzB,YAAY,CAAC,IAAI,EACjB,SAAS,EACT,yBAAyB,EACzB,EAAE,CAAC,qEAAqE;SACxE,CAAC,CAAC;QAEH,UAAU,CAAC,IAAI,CAAC,UAAU,CACzB,kBAAkB,EAClB,YAAY,CAAC,GAAG,EAChB,MAAM,EACN,mBAAmB,EACnB,EAAE,CAAC,wCAAwC;SAC3C,CAAC,CAAC;QAEH,8BAA8B;QAC9B,2BAA2B;QAC3B,yBAAyB;QACzB,WAAW;QACX,4BAA4B;QAC5B,8CAA8C;QAC9C,MAAM;QAEN,8BAA8B;QAC9B,0BAA0B;QAC1B,wBAAwB;QACxB,WAAW;QACX,2BAA2B;QAC3B,8CAA8C;QAC9C,MAAM;QAEN,kBAAkB;QAClB,UAAU,CAAC,IAAI,CAAC,UAAU,CACzB,oBAAoB,EACpB,YAAY,CAAC,SAAS,EACtB,MAAM,EACN,oBAAoB,EACpB,EAAE,CAAC,oDAAoD;SACvD,CAAC,CAAC;QAEH,gBAAgB;QAChB,UAAU,CAAC,IAAI,CAAC,UAAU,CACzB,0BAA0B,EAC1B,YAAY,CAAC,KAAK,EAAE,4BAA4B;QAChD,SAAS,EACT,2BAA2B,EAC3B,EAAE,CAAC,8CAA8C;SACjD,CAAC,CAAC;QAEH,qDAAqD;QACrD,qFAAqF;QACrF,MAAM,iBAAiB,GAAG;YACzB,mBAAmB;YACnB,YAAY,CAAC,SAAS,EAAE,YAAY,CAAC,MAAM,EAAE,YAAY,CAAC,iBAAiB;YAC3E,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,cAAc,EAAE,YAAY,CAAC,SAAS;YACtE,YAAY,CAAC,YAAY,EAAE,YAAY,CAAC,QAAQ,EAAE,YAAY,CAAC,WAAW;YAC1E,YAAY,CAAC,MAAM,EAAE,YAAY,CAAC,KAAK,EAAE,YAAY,CAAC,YAAY;YAClE,YAAY,CAAC,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,YAAY,CAAC,cAAc;YACxE,eAAe;YACf,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,eAAe,EAAE,YAAY,CAAC,kBAAkB;YACnF,YAAY,CAAC,QAAQ,EAAE,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,QAAQ;YAClE,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,kBAAkB;YACxE,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,MAAM,EAAE,YAAY,CAAC,SAAS,EAAE,YAAY,CAAC,IAAI;YACpF,YAAY,CAAC,cAAc,EAAE,YAAY,CAAC,kBAAkB,EAAE,YAAY,CAAC,UAAU;SACrF,CAAC;QAEF,KAAK,MAAM,QAAQ,IAAI,iBAAiB,EAAE,CAAC;YAC1C,UAAU,CAAC,IAAI,CAAC,UAAU,CACzB,iBAAiB,QAAQ,CAAC,WAAW,EAAE,EAAE,EACzC,QAAQ,EACR,MAAM,EACN,gBAAgB,EAChB,GAAG,CAAC,sCAAsC;aAC1C,CAAC,CAAC;QACJ,CAAC;QAED,6BAA6B;QAC7B,aAAa,CAAC,UAAU,CAAC,CAAC;IAC3B,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,IAAc,EAAE,EAAY;QACpC,GAAG,CAAC,+BAA+B,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAEpD,yCAAyC;QACzC,iBAAiB,EAAE,CAAC;QAEpB,8BAA8B;QAC9B,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAEpE,eAAe,CAAC,cAAc,CAAC,CAAC;QAChC,IAAI,CAAC;YACJ,2DAA2D;YAC3D,GAAG,CAAC,mCAAmC,CAAC,CAAC;YACzC,MAAM,kBAAkB,GAAG,IAAI,CAAC,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAEtE,wCAAwC;YACxC,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,kBAAkB,EAAE,OAAO,CAAC,CAAC;YAE9D,uDAAuD;YACvD,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC;gBACpC,GAAG,CAAC,yBAAyB,CAAC,CAAC;gBAC/B,IAAI,CAAC;oBACJ,oBAAoB,CAAC,MAAM,CAAC,CAAC;oBAC7B,GAAG,CAAC,wBAAwB,CAAC,CAAC;gBAC/B,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBAChB,GAAG,CAAC,4BAA4B,EAAE,KAAK,CAAC,CAAC;oBACzC,MAAM,KAAK,CAAC;gBACb,CAAC;YACF,CAAC;YAED,OAAO,MAAM,CAAC;QACf,CAAC;gBAAS,CAAC;YACV,aAAa,CAAC,cAAc,CAAC,CAAC;QAC/B,CAAC;IACF,CAAC;IAED;;OAEG;IACK,sBAAsB,CAAC,IAAc,EAAE,OAAmB;QACjE,IAAI,CAAC;YACJ,sCAAsC;YACtC,MAAM,SAAS,GAAG,gCAAgC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAE/D,uCAAuC;YACvC,MAAM,MAAM,GAAG,sBAAsB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAEvD,GAAG,CAAC,4BAA4B,CAAC,CAAC;YAClC,OAAO,MAAM,CAAC;QACf,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,GAAG,CAAC,6BAA6B,EAAE,KAAK,CAAC,CAAC;YAC1C,kCAAkC;YAClC,OAAO,IAAI,CAAC;QACb,CAAC;IACF,CAAC;IAED,YAAY,CAAC,IAAc,EAAE,OAAmB;QAC/C,cAAc,CAAC,IAAI,CAAC,CAAC;QAErB,gDAAgD;QAChD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnB,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACpD,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC3B,OAAO,MAAM,CAAC;QACf,CAAC;QAED,8BAA8B;QAC9B,MAAM,aAAa,GAAG,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE3D,cAAc;QACd,MAAM,YAAY,GAAG,UAAU,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;QAExD,IAAI,YAAY,KAAK,aAAa,EAAE,CAAC;YACpC,6BAA6B;YAC7B,GAAG,CAAC,oBAAoB,aAAa,CAAC,QAAQ,oBAAoB,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC3F,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACjC,OAAO,YAAY,CAAC;QACrB,CAAC;QAED,4CAA4C;QAC5C,YAAY,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;QAClC,OAAO,aAAa,CAAC;IACtB,CAAC;IAEO,gBAAgB,CAAC,IAAc,EAAE,OAAmB;QAC3D,uCAAuC;QACvC,MAAM,gBAAgB,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAC5C,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;QAE3F,gCAAgC;QAChC,MAAM,eAAe,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;QAE5F,IAAI,CAAC,eAAe,EAAE,CAAC;YACtB,OAAO,IAAI,CAAC,CAAC,aAAa;QAC3B,CAAC;QAED,8DAA8D;QAC9D,oEAAoE;QACpE,OAAO,IAAI,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC;IAC7C,CAAC;IAED;;OAEG;IACH,QAAQ;QACP,OAAO,IAAI,CAAC,KAAK,CAAC;IACnB,CAAC"}

package/dist/src/planner/physical-utils.d.ts

@@ -0,0 +1,36 @@
+/**
+ * Physical property utilities for the Titan optimizer
+ * Provides helpers for handling ordering, unique keys, and property propagation
+ */
+import type { PhysicalProperties } from './nodes/plan-node.js';
+/**
+ * Ordering specification for a column
+ */
+export interface Ordering {
+    /** Column index */
+    column: number;
+    /** True for descending order */
+    desc: boolean;
+}
+/**
+ * Join type for property combination
+ */
+export type JoinType = 'inner' | 'left' | 'right' | 'full' | 'cross';
+/**
+ * Merge ordering requirements between parent and child
+ * Returns undefined if orderings are incompatible
+ */
+export declare function mergeOrderings(parent: Ordering[] | undefined, child: Ordering[] | undefined): Ordering[] | undefined;
+/**
+ * Combine unique keys from left and right sides of a join
+ */
+export declare function combineUniqueKeys(left: number[][], right: number[][], joinType: JoinType, leftColumnOffset?: number, rightColumnOffset?: number): number[][];
+/**
+ * Propagate constant flag from children to parent
+ */
+export declare function propagateConstantFlag(children: PhysicalProperties[]): boolean;
+/**
+ * Estimate result rows for common operations
+ */
+export declare function estimateResultRows(operation: 'filter' | 'aggregate' | 'join' | 'distinct' | 'limit', ...params: any[]): number;
+//# sourceMappingURL=physical-utils.d.ts.map

package/dist/src/planner/physical-utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"physical-utils.d.ts","sourceRoot":"","sources":["../../../src/planner/physical-utils.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE/D;;GAEG;AACH,MAAM,WAAW,QAAQ;IACxB,mBAAmB;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,gCAAgC;IAChC,IAAI,EAAE,OAAO,CAAC;CACd;AAED;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;AAErE;;;GAGG;AACH,wBAAgB,cAAc,CAC7B,MAAM,EAAE,QAAQ,EAAE,GAAG,SAAS,EAC9B,KAAK,EAAE,QAAQ,EAAE,GAAG,SAAS,GAC3B,QAAQ,EAAE,GAAG,SAAS,CA6BxB;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAChC,IAAI,EAAE,MAAM,EAAE,EAAE,EAChB,KAAK,EAAE,MAAM,EAAE,EAAE,EACjB,QAAQ,EAAE,QAAQ,EAClB,gBAAgB,GAAE,MAAU,EAC5B,iBAAiB,CAAC,EAAE,MAAM,GACxB,MAAM,EAAE,EAAE,CAkCZ;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,kBAAkB,EAAE,GAAG,OAAO,CAG7E;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CACjC,SAAS,EAAE,QAAQ,GAAG,WAAW,GAAG,MAAM,GAAG,UAAU,GAAG,OAAO,EACjE,GAAG,MAAM,EAAE,GAAG,EAAE,GACd,MAAM,CAgDR"}

package/dist/src/planner/physical-utils.js

@@ -0,0 +1,122 @@
+/**
+ * Physical property utilities for the Titan optimizer
+ * Provides helpers for handling ordering, unique keys, and property propagation
+ */
+import { quereusError } from '../common/errors.js';
+import { StatusCode } from '../common/types.js';
+/**
+ * Merge ordering requirements between parent and child
+ * Returns undefined if orderings are incompatible
+ */
+export function mergeOrderings(parent, child) {
+    // If parent has no ordering requirements, use child's ordering
+    if (!parent || parent.length === 0) {
+        return child;
+    }
+    // If child provides no ordering, parent requirements cannot be satisfied
+    if (!child || child.length === 0) {
+        return undefined;
+    }
+    // Check if child ordering satisfies parent requirements
+    if (parent.length > child.length) {
+        return undefined; // Child provides fewer columns than parent needs
+    }
+    // Verify each parent requirement is satisfied by child
+    for (let i = 0; i < parent.length; i++) {
+        const parentOrder = parent[i];
+        const childOrder = child[i];
+        if (parentOrder.column !== childOrder.column ||
+            parentOrder.desc !== childOrder.desc) {
+            return undefined; // Ordering mismatch
+        }
+    }
+    // Parent requirements are satisfied, return child's full ordering
+    return child;
+}
+/**
+ * Combine unique keys from left and right sides of a join
+ */
+export function combineUniqueKeys(left, right, joinType, leftColumnOffset = 0, rightColumnOffset) {
+    const result = [];
+    // Calculate right column offset if not provided
+    if (rightColumnOffset === undefined) {
+        rightColumnOffset = leftColumnOffset + Math.max(...left.flat(), 0) + 1;
+    }
+    switch (joinType) {
+        case 'inner':
+        case 'cross':
+            // Inner join: unique keys from both sides remain unique
+            // Add left side keys (unchanged)
+            result.push(...left);
+            // Add right side keys (with column offset)
+            result.push(...right.map(key => key.map(col => col + rightColumnOffset)));
+            break;
+        case 'left':
+            // Left outer join: left side keys remain unique, right side keys may have nulls
+            result.push(...left);
+            break;
+        case 'right':
+            // Right outer join: right side keys remain unique, left side keys may have nulls
+            result.push(...right.map(key => key.map(col => col + rightColumnOffset)));
+            break;
+        case 'full':
+            // Full outer join: no keys remain unique due to potential nulls
+            break;
+    }
+    return result;
+}
+/**
+ * Propagate constant flag from children to parent
+ */
+export function propagateConstantFlag(children) {
+    // A node is constant if all its children are constant
+    return children.length > 0 && children.every(child => child.constant === true);
+}
+/**
+ * Estimate result rows for common operations
+ */
+export function estimateResultRows(operation, ...params) {
+    switch (operation) {
+        case 'filter': {
+            const [inputRows, selectivity = 0.3] = params;
+            return Math.max(1, Math.floor(inputRows * selectivity));
+        }
+        case 'aggregate': {
+            const [inputRows, groupByCount] = params;
+            if (groupByCount === 0) {
+                return 1; // Single aggregate result
+            }
+            // Estimate grouping factor
+            const groupingFactor = Math.min(0.8, Math.max(0.1, groupByCount * 0.2));
+            return Math.max(1, Math.floor(inputRows * groupingFactor));
+        }
+        case 'join': {
+            const [leftRows, rightRows, joinType = 'inner'] = params;
+            switch (joinType) {
+                case 'inner':
+                case 'cross':
+                    return leftRows * rightRows;
+                case 'left':
+                    return Math.max(leftRows, Math.floor(leftRows * rightRows * 0.1));
+                case 'right':
+                    return Math.max(rightRows, Math.floor(leftRows * rightRows * 0.1));
+                case 'full':
+                    return leftRows + rightRows;
+                default:
+                    return Math.max(leftRows, rightRows);
+            }
+        }
+        case 'distinct': {
+            const [inputRows] = params;
+            // Assume 70% unique rows
+            return Math.max(1, Math.floor(inputRows * 0.7));
+        }
+        case 'limit': {
+            const [inputRows, limitValue, offset = 0] = params;
+            return Math.min(inputRows, Math.max(0, limitValue - offset));
+        }
+        default:
+            quereusError(`Unknown operation: ${operation}`, StatusCode.INTERNAL);
+    }
+}
+//# sourceMappingURL=physical-utils.js.map

package/dist/src/planner/physical-utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"physical-utils.js","sourceRoot":"","sources":["../../../src/planner/physical-utils.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAkBhD;;;GAGG;AACH,MAAM,UAAU,cAAc,CAC7B,MAA8B,EAC9B,KAA6B;IAE7B,+DAA+D;IAC/D,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpC,OAAO,KAAK,CAAC;IACd,CAAC;IAED,yEAAyE;IACzE,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,OAAO,SAAS,CAAC;IAClB,CAAC;IAED,wDAAwD;IACxD,IAAI,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAClC,OAAO,SAAS,CAAC,CAAC,iDAAiD;IACpE,CAAC;IAED,uDAAuD;IACvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,WAAW,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QAE5B,IAAI,WAAW,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM;YAC3C,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,EAAE,CAAC;YACvC,OAAO,SAAS,CAAC,CAAC,oBAAoB;QACvC,CAAC;IACF,CAAC;IAED,kEAAkE;IAClE,OAAO,KAAK,CAAC;AACd,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAChC,IAAgB,EAChB,KAAiB,EACjB,QAAkB,EAClB,mBAA2B,CAAC,EAC5B,iBAA0B;IAE1B,MAAM,MAAM,GAAe,EAAE,CAAC;IAE9B,gDAAgD;IAChD,IAAI,iBAAiB,KAAK,SAAS,EAAE,CAAC;QACrC,iBAAiB,GAAG,gBAAgB,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IACxE,CAAC;IAED,QAAQ,QAAQ,EAAE,CAAC;QAClB,KAAK,OAAO,CAAC;QACb,KAAK,OAAO;YACX,wDAAwD;YACxD,iCAAiC;YACjC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;YACrB,2CAA2C;YAC3C,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,iBAAkB,CAAC,CAAC,CAAC,CAAC;YAC3E,MAAM;QAEP,KAAK,MAAM;YACV,gFAAgF;YAChF,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;YACrB,MAAM;QAEP,KAAK,OAAO;YACX,iFAAiF;YACjF,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,iBAAkB,CAAC,CAAC,CAAC,CAAC;YAC3E,MAAM;QAEP,KAAK,MAAM;YACV,gEAAgE;YAChE,MAAM;IACR,CAAC;IAED,OAAO,MAAM,CAAC;AACf,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,QAA8B;IACnE,sDAAsD;IACtD,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;AAChF,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CACjC,SAAiE,EACjE,GAAG,MAAa;IAEhB,QAAQ,SAAS,EAAE,CAAC;QACnB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,MAAM,CAAC,SAAS,EAAE,WAAW,GAAG,GAAG,CAAC,GAAG,MAAM,CAAC;YAC9C,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,WAAW,CAAC,CAAC,CAAC;QACzD,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YAClB,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,MAAM,CAAC;YACzC,IAAI,YAAY,KAAK,CAAC,EAAE,CAAC;gBACxB,OAAO,CAAC,CAAC,CAAC,0BAA0B;YACrC,CAAC;YACD,2BAA2B;YAC3B,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,YAAY,GAAG,GAAG,CAAC,CAAC,CAAC;YACxE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,cAAc,CAAC,CAAC,CAAC;QAC5D,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,CAAC;YACb,MAAM,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAC,GAAG,MAAM,CAAC;YACzD,QAAQ,QAAQ,EAAE,CAAC;gBAClB,KAAK,OAAO,CAAC;gBACb,KAAK,OAAO;oBACX,OAAO,QAAQ,GAAG,SAAS,CAAC;gBAC7B,KAAK,MAAM;oBACV,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC;gBACnE,KAAK,OAAO;oBACX,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC;gBACpE,KAAK,MAAM;oBACV,OAAO,QAAQ,GAAG,SAAS,CAAC;gBAC7B;oBACC,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YACvC,CAAC;QACF,CAAC;QAED,KAAK,UAAU,CAAC,CAAC,CAAC;YACjB,MAAM,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC;YAC3B,yBAAyB;YACzB,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC;QACjD,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACd,MAAM,CAAC,SAAS,EAAE,UAAU,EAAE,MAAM,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC;YACnD,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,GAAG,MAAM,CAAC,CAAC,CAAC;QAC9D,CAAC;QAED;YACC,YAAY,CAAC,sBAAsB,SAAS,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;IACvE,CAAC;AACF,CAAC"}

package/dist/src/planner/planning-context.d.ts

@@ -0,0 +1,111 @@
+import type { SqlParameters } from '../common/types.js';
+import type { Database } from '../core/database.js';
+import type { SchemaManager } from '../schema/manager.js';
+import type { Scope } from './scopes/scope.js';
+import type { ScalarPlanNode } from './nodes/plan-node.js';
+/**
+ * Debug options for query planning and execution.
+ */
+export interface DebugOptions {
+    /** Enable runtime instruction tracing (logs inputs/outputs) */
+    traceInstructions?: boolean;
+    /** Enable detailed plan tree output */
+    showPlan?: boolean;
+    /** Enable instruction program output */
+    showProgram?: boolean;
+    /** Custom debug context for additional logging */
+    debugContext?: Record<string, any>;
+}
+/**
+ * Represents a dependency on a schema object that was resolved during planning.
+ * Used for plan invalidation when schema changes.
+ */
+export interface SchemaDependency {
+    readonly type: 'table' | 'function' | 'vtab_module' | 'collation';
+    readonly schemaName?: string;
+    readonly objectName: string;
+    readonly objectVersion?: number;
+}
+/**
+ * Tracks schema dependencies during planning and provides invalidation callbacks.
+ */
+export declare class BuildTimeDependencyTracker {
+    private dependencies;
+    private resolvedObjects;
+    private invalidationCallbacks;
+    /**
+     * Records a dependency on a schema object and stores a weak reference to it.
+     */
+    recordDependency(dep: SchemaDependency, object: any): void;
+    /**
+     * Adds a callback to be invoked when schema dependencies become invalid.
+     */
+    addInvalidationCallback(callback: () => void): () => void;
+    /**
+     * Checks if all dependencies are still valid by verifying weak references.
+     */
+    checkIntegrity(): boolean;
+    /**
+     * Gets all tracked dependencies.
+     */
+    getDependencies(): SchemaDependency[];
+    /**
+     * Checks if any dependencies are tracked.
+     */
+    hasAnyDependencies(): boolean;
+    /**
+     * Notifies all invalidation callbacks.
+     */
+    notifyInvalidation(): void;
+    private dependencyKey;
+    private parseDependencyKey;
+}
+/**
+ * Provides contextual information necessary during the query planning phase.
+ * This object is passed to various planning functions to give them access to
+ * the database schema, current symbol resolution scope, and other relevant details.
+ */
+export interface PlanningContext {
+    /**
+     * The Database instance, providing access to the schema manager, function registry, etc.
+     */
+    readonly db: Database;
+    /**
+     * The SchemaManager instance, for direct access if needed (also available via db.schemaManager).
+     */
+    readonly schemaManager: SchemaManager;
+    /**
+     * The current Scope for symbol resolution (columns, parameters, CTEs).
+     * Planning functions for nested structures (like subqueries) will typically create a new Scope
+     * with the current scope as its parent and pass that down in a new PlanningContext.
+     */
+    readonly scope: Scope;
+    /**
+     * The current parameters for the statement, as discovered by references.
+     */
+    readonly parameters: SqlParameters;
+    /**
+     * Debug options controlling tracing and diagnostics output.
+     */
+    readonly debug?: DebugOptions;
+    /**
+     * Aggregates from the SELECT list (used when building HAVING expressions).
+     * This allows buildExpression to recognize when an aggregate function in HAVING
+     * refers to an already-computed aggregate from SELECT.
+     */
+    readonly aggregates?: Array<{
+        expression: ScalarPlanNode;
+        alias: string;
+        columnIndex: number;
+        attributeId: number;
+    }>;
+    /**
+     * Schema dependency tracker for this planning session.
+     */
+    readonly schemaDependencies: BuildTimeDependencyTracker;
+    /**
+     * Schema object cache for resolved objects during planning.
+     */
+    readonly schemaCache: Map<string, any>;
+}
+//# sourceMappingURL=planning-context.d.ts.map

package/dist/src/planner/planning-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"planning-context.d.ts","sourceRoot":"","sources":["../../../src/planner/planning-context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,+DAA+D;IAC/D,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,uCAAuC;IACvC,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,wCAAwC;IACxC,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,kDAAkD;IAClD,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;CACpC;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAChC,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,UAAU,GAAG,aAAa,GAAG,WAAW,CAAC;IAClE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CAChC;AAED;;GAEG;AACH,qBAAa,0BAA0B;IACtC,OAAO,CAAC,YAAY,CAAqB;IACzC,OAAO,CAAC,eAAe,CAAmC;IAC1D,OAAO,CAAC,qBAAqB,CAAyB;IAEtD;;OAEG;IACH,gBAAgB,CAAC,GAAG,EAAE,gBAAgB,EAAE,MAAM,EAAE,GAAG,GAAG,IAAI;IAM1D;;OAEG;IACH,uBAAuB,CAAC,QAAQ,EAAE,MAAM,IAAI,GAAG,MAAM,IAAI;IAKzD;;OAEG;IACH,cAAc,IAAI,OAAO;IAUzB;;OAEG;IACH,eAAe,IAAI,gBAAgB,EAAE;IAIrC;;OAEG;IACH,kBAAkB,IAAI,OAAO;IAI7B;;OAEG;IACH,kBAAkB,IAAI,IAAI;IAU1B,OAAO,CAAC,aAAa;IAMrB,OAAO,CAAC,kBAAkB;CAS1B;AAED;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B;;OAEG;IACH,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;IAEtB;;OAEG;IACH,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IAEtC;;;;OAIG;IACH,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IAEvB;;OAEG;IACH,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IAElC;;OAEG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC;IAE9B;;;;OAIG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC;QAC1B,UAAU,EAAE,cAAc,CAAC;QAC3B,KAAK,EAAE,MAAM,CAAC;QACd,WAAW,EAAE,MAAM,CAAC;QACpB,WAAW,EAAE,MAAM,CAAC;KACrB,CAAC,CAAC;IAEH;;OAEG;IACH,QAAQ,CAAC,kBAAkB,EAAE,0BAA0B,CAAC;IAExD;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;CACxC"}

package/dist/src/planner/planning-context.js

@@ -0,0 +1,75 @@
+/**
+ * Tracks schema dependencies during planning and provides invalidation callbacks.
+ */
+export class BuildTimeDependencyTracker {
+    dependencies = new Set();
+    resolvedObjects = new Map();
+    invalidationCallbacks = new Set();
+    /**
+     * Records a dependency on a schema object and stores a weak reference to it.
+     */
+    recordDependency(dep, object) {
+        const key = this.dependencyKey(dep);
+        this.dependencies.add(key);
+        this.resolvedObjects.set(key, new WeakRef(object));
+    }
+    /**
+     * Adds a callback to be invoked when schema dependencies become invalid.
+     */
+    addInvalidationCallback(callback) {
+        this.invalidationCallbacks.add(callback);
+        return () => this.invalidationCallbacks.delete(callback);
+    }
+    /**
+     * Checks if all dependencies are still valid by verifying weak references.
+     */
+    checkIntegrity() {
+        for (const [_key, weakRef] of this.resolvedObjects.entries()) {
+            if (weakRef.deref() === undefined) {
+                // Object was garbage collected, dependency is invalid
+                return false;
+            }
+        }
+        return true;
+    }
+    /**
+     * Gets all tracked dependencies.
+     */
+    getDependencies() {
+        return Array.from(this.dependencies).map(key => this.parseDependencyKey(key));
+    }
+    /**
+     * Checks if any dependencies are tracked.
+     */
+    hasAnyDependencies() {
+        return this.dependencies.size > 0;
+    }
+    /**
+     * Notifies all invalidation callbacks.
+     */
+    notifyInvalidation() {
+        for (const callback of this.invalidationCallbacks) {
+            try {
+                callback();
+            }
+            catch (error) {
+                console.error('Error in schema invalidation callback:', error);
+            }
+        }
+    }
+    dependencyKey(dep) {
+        const schema = dep.schemaName || '';
+        const version = dep.objectVersion || 0;
+        return `${dep.type}:${schema}:${dep.objectName}:${version}`;
+    }
+    parseDependencyKey(key) {
+        const [type, schemaName, objectName, versionStr] = key.split(':');
+        return {
+            type: type,
+            schemaName: schemaName || undefined,
+            objectName,
+            objectVersion: parseInt(versionStr) || undefined
+        };
+    }
+}
+//# sourceMappingURL=planning-context.js.map

package/dist/src/planner/planning-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"planning-context.js","sourceRoot":"","sources":["../../../src/planner/planning-context.ts"],"names":[],"mappings":"AA+BA;;GAEG;AACH,MAAM,OAAO,0BAA0B;IAC9B,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,eAAe,GAAG,IAAI,GAAG,EAAwB,CAAC;IAClD,qBAAqB,GAAG,IAAI,GAAG,EAAc,CAAC;IAEtD;;OAEG;IACH,gBAAgB,CAAC,GAAqB,EAAE,MAAW;QAClD,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3B,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IACpD,CAAC;IAED;;OAEG;IACH,uBAAuB,CAAC,QAAoB;QAC3C,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACzC,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC1D,CAAC;IAED;;OAEG;IACH,cAAc;QACb,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,EAAE,CAAC;YAC9D,IAAI,OAAO,CAAC,KAAK,EAAE,KAAK,SAAS,EAAE,CAAC;gBACnC,sDAAsD;gBACtD,OAAO,KAAK,CAAC;YACd,CAAC;QACF,CAAC;QACD,OAAO,IAAI,CAAC;IACb,CAAC;IAED;;OAEG;IACH,eAAe;QACd,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/E,CAAC;IAED;;OAEG;IACH,kBAAkB;QACjB,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,CAAC;IACnC,CAAC;IAED;;OAEG;IACH,kBAAkB;QACjB,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,qBAAqB,EAAE,CAAC;YACnD,IAAI,CAAC;gBACJ,QAAQ,EAAE,CAAC;YACZ,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBAChB,OAAO,CAAC,KAAK,CAAC,wCAAwC,EAAE,KAAK,CAAC,CAAC;YAChE,CAAC;QACF,CAAC;IACF,CAAC;IAEO,aAAa,CAAC,GAAqB;QAC1C,MAAM,MAAM,GAAG,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,GAAG,CAAC,aAAa,IAAI,CAAC,CAAC;QACvC,OAAO,GAAG,GAAG,CAAC,IAAI,IAAI,MAAM,IAAI,GAAG,CAAC,UAAU,IAAI,OAAO,EAAE,CAAC;IAC7D,CAAC;IAEO,kBAAkB,CAAC,GAAW;QACrC,MAAM,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAClE,OAAO;YACN,IAAI,EAAE,IAAgC;YACtC,UAAU,EAAE,UAAU,IAAI,SAAS;YACnC,UAAU;YACV,aAAa,EAAE,QAAQ,CAAC,UAAU,CAAC,IAAI,SAAS;SAChD,CAAC;IACH,CAAC;CACD"}

package/dist/src/planner/resolve.d.ts

@@ -0,0 +1,8 @@
+import { Ambiguous, type Scope } from "./scopes/scope.js";
+import * as AST from "../parser/ast.js";
+import { ColumnReferenceNode, FunctionReferenceNode, ParameterReferenceNode, TableReferenceNode } from "./nodes/reference.js";
+export declare function resolveTable(scope: Scope, exp: AST.IdentifierExpr, selectedSchema?: string): TableReferenceNode | typeof Ambiguous | undefined;
+export declare function resolveColumn(scope: Scope, exp: AST.ColumnExpr, selectedSchema?: string): ColumnReferenceNode | typeof Ambiguous | undefined;
+export declare function resolveParameter(scope: Scope, exp: AST.ParameterExpr): ParameterReferenceNode | typeof Ambiguous | undefined;
+export declare function resolveFunction(scope: Scope, exp: AST.FunctionExpr): FunctionReferenceNode | typeof Ambiguous | undefined;
+//# sourceMappingURL=resolve.d.ts.map

package/dist/src/planner/resolve.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve.d.ts","sourceRoot":"","sources":["../../../src/planner/resolve.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,KAAK,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,KAAK,GAAG,MAAM,kBAAkB,CAAC;AACxC,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAI9H,wBAAgB,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,cAAc,EAAE,cAAc,GAAE,MAAe,GAAG,kBAAkB,GAAG,OAAO,SAAS,GAAG,SAAS,CAWtJ;AAaD,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,UAAU,EAAE,cAAc,GAAE,MAAe,GAAG,mBAAmB,GAAG,OAAO,SAAS,GAAG,SAAS,CAwCpJ;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,aAAa,GAAG,sBAAsB,GAAG,OAAO,SAAS,GAAG,SAAS,CAS5H;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,YAAY,GAAG,qBAAqB,GAAG,OAAO,SAAS,GAAG,SAAS,CAgBzH"}