@undefineds.co/xpod 0.1.0-local.202602081751

package/dist/storage/sparql/FilterPushdownExtractor.js

@@ -0,0 +1,409 @@
+"use strict";
+/**
+ * FilterPushdownExtractor - Extract pushdownable conditions from SPARQL FILTER
+ *
+ * Analyzes SPARQL FILTER expressions and extracts conditions that can be
+ * pushed down to the database layer for efficient query execution.
+ *
+ * Supported pushdown operations:
+ * - Comparison: =, !=, <, >, <=, >=
+ * - String functions: STRSTARTS, STRENDS, CONTAINS, REGEX
+ * - Type checking: isIRI, isBlank, isLiteral, isNumeric
+ * - Language: LANGMATCHES
+ * - Logical: AND, OR (with $in optimization)
+ * - Set operations: IN, NOT IN
+ * - Existence: BOUND, !BOUND
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.FilterPushdownExtractor = void 0;
+const rdf_data_factory_1 = require("rdf-data-factory");
+const serialization_1 = require("../quint/serialization");
+const AlgebraUtils_1 = require("./AlgebraUtils");
+const dataFactory = new rdf_data_factory_1.DataFactory();
+/**
+ * FilterPushdownExtractor extracts pushdownable conditions from FILTER expressions
+ */
+class FilterPushdownExtractor {
+    /**
+     * Extract pushdownable filters from an expression
+     * Returns filters that can be pushed down and the remaining expression
+     */
+    extractPushdownFilters(expr, pattern) {
+        if (expr.expressionType !== 'operator') {
+            // Can't pushdown non-operator expressions
+            return { filters: {}, remainder: expr };
+        }
+        const opExpr = expr;
+        const op = opExpr.operator.toLowerCase();
+        // Handle AND: recursively extract from both sides
+        if (op === '&&') {
+            const filters = {};
+            const remainders = [];
+            for (const arg of opExpr.args) {
+                const result = this.extractPushdownFilters(arg, pattern);
+                // Merge filters
+                for (const [varName, ops] of Object.entries(result.filters)) {
+                    filters[varName] = { ...filters[varName], ...ops };
+                }
+                if (result.remainder) {
+                    remainders.push(result.remainder);
+                }
+            }
+            // Combine remainders with AND
+            let remainder = null;
+            if (remainders.length === 1) {
+                remainder = remainders[0];
+            }
+            else if (remainders.length > 1) {
+                remainder = {
+                    type: 'expression',
+                    expressionType: 'operator',
+                    operator: '&&',
+                    args: remainders,
+                };
+            }
+            return { filters, remainder };
+        }
+        // Handle OR: try to convert to $in or OR branches
+        if (op === '||') {
+            return this.extractOrPushdown(opExpr, pattern);
+        }
+        // Try to extract single pushdown condition
+        const result = this.tryExtractSinglePushdown(opExpr, pattern);
+        if (result) {
+            return { filters: result, remainder: null };
+        }
+        // Can't pushdown
+        return { filters: {}, remainder: expr };
+    }
+    /**
+     * Handle OR expression pushdown
+     * - Same variable equality: convert to $in
+     * - Different variables: create OR branches for separate queries
+     * - Mixed (pushdownable + non-pushdownable): orBranches + orNonPushdownBranches
+     */
+    extractOrPushdown(expr, pattern) {
+        // Flatten OR tree and collect all branches
+        const branches = [];
+        const collectBranches = (e) => {
+            if (e.expressionType === 'operator') {
+                const op = e;
+                if (op.operator.toLowerCase() === '||') {
+                    op.args.forEach(collectBranches);
+                    return;
+                }
+            }
+            branches.push(e);
+        };
+        collectBranches(expr);
+        // Try to extract pushdown from each branch
+        const pushdownable = [];
+        const nonPushdownable = [];
+        for (const branch of branches) {
+            if (branch.expressionType === 'operator') {
+                const branchFilters = this.tryExtractSinglePushdown(branch, pattern);
+                if (branchFilters && Object.keys(branchFilters).length > 0) {
+                    pushdownable.push({ filters: branchFilters, expr: branch });
+                    continue;
+                }
+            }
+            nonPushdownable.push(branch);
+        }
+        // If nothing pushdownable, return as remainder
+        if (pushdownable.length === 0) {
+            return { filters: {}, remainder: expr };
+        }
+        // Check if all are same-variable equality (can use $in)
+        const inResult = this.tryConvertToIn(pushdownable);
+        if (inResult && nonPushdownable.length === 0) {
+            return { filters: inResult, remainder: null };
+        }
+        // Different variables or mixed: use OR branches
+        const orBranches = pushdownable.map(p => p.filters);
+        // Non-pushdownable branches need OR semantics (not AND), so use orNonPushdownBranches
+        return {
+            filters: {},
+            remainder: null,
+            orBranches,
+            orNonPushdownBranches: nonPushdownable.length > 0 ? nonPushdownable : undefined
+        };
+    }
+    /**
+     * Try to convert same-variable equalities to $in
+     */
+    tryConvertToIn(branches) {
+        // Check if all branches are single-variable equality
+        const varValues = new Map();
+        for (const { filters } of branches) {
+            const keys = Object.keys(filters);
+            if (keys.length !== 1)
+                return null;
+            const varName = keys[0];
+            const ops = filters[varName];
+            const opKeys = Object.keys(ops);
+            if (opKeys.length !== 1 || !('$eq' in ops))
+                return null;
+            if (!varValues.has(varName)) {
+                varValues.set(varName, []);
+            }
+            varValues.get(varName).push(ops.$eq);
+        }
+        // Must be single variable
+        if (varValues.size !== 1)
+            return null;
+        const [varName, values] = [...varValues.entries()][0];
+        return { [varName]: { $in: values } };
+    }
+    /**
+     * Try to extract pushdown filter from a single operator expression
+     */
+    tryExtractSinglePushdown(expr, pattern) {
+        const op = expr.operator.toLowerCase();
+        const filters = {};
+        // Comparison: =, !=, <, >, <=, >=
+        if (['=', '!=', '<', '>', '<=', '>='].includes(op) && expr.args.length === 2) {
+            const result = this.extractComparison(expr, op);
+            if (result) {
+                // Only pushdown if the variable is in the pattern
+                if ((0, AlgebraUtils_1.isVariableInPattern)(result.varName, pattern)) {
+                    filters[result.varName] = { [result.op]: result.value };
+                    return filters;
+                }
+            }
+        }
+        // STRSTARTS, STRENDS, CONTAINS
+        // Database stores serialized literals like "Alice" (with quotes)
+        // So we adjust the search pattern accordingly:
+        // - STRSTARTS('A') -> $startsWith: '"A' (add leading quote)
+        // - STRENDS('e') -> $endsWith: 'e"' (add trailing quote)
+        // - CONTAINS('x') -> $contains: 'x' (quotes don't affect middle content)
+        if (['strstarts', 'strends', 'contains'].includes(op) && expr.args.length === 2) {
+            const varName = (0, AlgebraUtils_1.extractStrVariable)(expr.args[0]);
+            const value = (0, AlgebraUtils_1.extractLiteralValue)(expr.args[1]);
+            if (varName && value && (0, AlgebraUtils_1.isVariableInPattern)(varName, pattern)) {
+                if (op === 'strstarts') {
+                    filters[varName] = { $startsWith: '"' + value };
+                }
+                else if (op === 'strends') {
+                    filters[varName] = { $endsWith: value + '"' };
+                }
+                else {
+                    filters[varName] = { $contains: value };
+                }
+                return filters;
+            }
+        }
+        // REGEX
+        if (op === 'regex' && expr.args.length >= 2) {
+            const varName = (0, AlgebraUtils_1.extractStrVariable)(expr.args[0]);
+            const regexPattern = (0, AlgebraUtils_1.extractLiteralValue)(expr.args[1]);
+            if (varName && regexPattern && (0, AlgebraUtils_1.isVariableInPattern)(varName, pattern)) {
+                filters[varName] = { $regex: regexPattern };
+                return filters;
+            }
+        }
+        // IN
+        if (op === 'in' && expr.args.length >= 1) {
+            const varName = (0, AlgebraUtils_1.extractVariable)(expr.args[0]);
+            if (varName && (0, AlgebraUtils_1.isVariableInPattern)(varName, pattern)) {
+                const values = [];
+                for (let i = 1; i < expr.args.length; i++) {
+                    const lit = (0, AlgebraUtils_1.extractLiteral)(expr.args[i]);
+                    if (lit) {
+                        values.push(this.serializeExactValue(lit.value, lit.datatype));
+                    }
+                }
+                if (values.length > 0) {
+                    filters[varName] = { $in: values };
+                    return filters;
+                }
+            }
+        }
+        // NOT IN
+        if (op === 'notin' && expr.args.length >= 1) {
+            const varName = (0, AlgebraUtils_1.extractVariable)(expr.args[0]);
+            if (varName && (0, AlgebraUtils_1.isVariableInPattern)(varName, pattern)) {
+                const values = [];
+                for (let i = 1; i < expr.args.length; i++) {
+                    const lit = (0, AlgebraUtils_1.extractLiteral)(expr.args[i]);
+                    if (lit) {
+                        values.push(this.serializeExactValue(lit.value, lit.datatype));
+                    }
+                }
+                if (values.length > 0) {
+                    filters[varName] = { $notIn: values };
+                    return filters;
+                }
+            }
+        }
+        // BOUND
+        if (op === 'bound' && expr.args.length === 1) {
+            const varName = (0, AlgebraUtils_1.extractVariable)(expr.args[0]);
+            if (varName && (0, AlgebraUtils_1.isVariableInPattern)(varName, pattern)) {
+                filters[varName] = { $isNull: false };
+                return filters;
+            }
+        }
+        // !BOUND
+        if (op === '!' && expr.args.length === 1) {
+            const inner = expr.args[0];
+            if (inner.expressionType === 'operator') {
+                const innerOp = inner;
+                if (innerOp.operator.toLowerCase() === 'bound' && innerOp.args.length === 1) {
+                    const varName = (0, AlgebraUtils_1.extractVariable)(innerOp.args[0]);
+                    if (varName && (0, AlgebraUtils_1.isVariableInPattern)(varName, pattern)) {
+                        filters[varName] = { $isNull: true };
+                        return filters;
+                    }
+                }
+            }
+        }
+        // Type checking functions
+        // isiri/isuri: In Solid, IRIs are http:// or https://
+        if ((op === 'isiri' || op === 'isuri') && expr.args.length === 1) {
+            const varName = (0, AlgebraUtils_1.extractVariable)(expr.args[0]);
+            if (varName && (0, AlgebraUtils_1.isVariableInPattern)(varName, pattern)) {
+                filters[varName] = { $startsWith: 'http' };
+                return filters;
+            }
+        }
+        // isblank: Blank nodes start with _:
+        if (op === 'isblank' && expr.args.length === 1) {
+            const varName = (0, AlgebraUtils_1.extractVariable)(expr.args[0]);
+            if (varName && (0, AlgebraUtils_1.isVariableInPattern)(varName, pattern)) {
+                filters[varName] = { $startsWith: '_:' };
+                return filters;
+            }
+        }
+        // isliteral: Literals start with " (or N\0 for numeric, D\0 for datetime)
+        if (op === 'isliteral' && expr.args.length === 1) {
+            const varName = (0, AlgebraUtils_1.extractVariable)(expr.args[0]);
+            if (varName && (0, AlgebraUtils_1.isVariableInPattern)(varName, pattern)) {
+                // Match strings starting with ", N (numeric), or D (datetime)
+                filters[varName] = { $regex: '^["ND]' };
+                return filters;
+            }
+        }
+        // isnumeric: Our numeric literals start with N\0
+        if (op === 'isnumeric' && expr.args.length === 1) {
+            const varName = (0, AlgebraUtils_1.extractVariable)(expr.args[0]);
+            if (varName && (0, AlgebraUtils_1.isVariableInPattern)(varName, pattern)) {
+                filters[varName] = { $startsWith: 'N\0' };
+                return filters;
+            }
+        }
+        // LANGMATCHES(LANG(?x), "en") - language tagged literals end with @lang"
+        // Serialization format: "value"@en
+        if (op === 'langmatches' && expr.args.length === 2) {
+            const langExpr = expr.args[0];
+            const langPattern = expr.args[1];
+            // First arg should be LANG(?var)
+            if (langExpr.expressionType === 'operator' &&
+                langExpr.operator === 'lang' &&
+                langExpr.args.length === 1) {
+                const varName = (0, AlgebraUtils_1.extractVariable)(langExpr.args[0]);
+                if (varName && (0, AlgebraUtils_1.isVariableInPattern)(varName, pattern)) {
+                    // Get the language pattern
+                    if (langPattern.termType === 'Literal') {
+                        const lang = langPattern.value.toLowerCase();
+                        if (lang === '*') {
+                            // Match any language tagged literal - ends with @something"
+                            // Use regex to match @[a-z]+" pattern at end
+                            filters[varName] = { $regex: '@[a-zA-Z]+"$' };
+                        }
+                        else {
+                            // Match specific language - ends with @lang"
+                            filters[varName] = { $endsWith: `@${lang}"` };
+                        }
+                        return filters;
+                    }
+                }
+            }
+        }
+        return null;
+    }
+    /**
+     * Extract comparison operator info
+     */
+    extractComparison(expr, op) {
+        const [left, right] = expr.args;
+        // ?var op literal
+        const leftVar = (0, AlgebraUtils_1.extractVariable)(left);
+        const rightLiteral = (0, AlgebraUtils_1.extractLiteral)(right);
+        if (leftVar && rightLiteral) {
+            const filterOp = this.mapComparisonOp(op);
+            const value = this.serializeForComparison(rightLiteral.value, rightLiteral.datatype, filterOp);
+            return { varName: leftVar, op: filterOp, value };
+        }
+        // literal op ?var (reverse)
+        const leftLiteral = (0, AlgebraUtils_1.extractLiteral)(left);
+        const rightVar = (0, AlgebraUtils_1.extractVariable)(right);
+        if (leftLiteral && rightVar) {
+            const reversedOp = this.reverseComparisonOp(op);
+            const filterOp = this.mapComparisonOp(reversedOp);
+            const value = this.serializeForComparison(leftLiteral.value, leftLiteral.datatype, filterOp);
+            return { varName: rightVar, op: filterOp, value };
+        }
+        // ?var = <namedNode>
+        const leftVarForTerm = (0, AlgebraUtils_1.extractVariable)(left);
+        const rightTerm = (0, AlgebraUtils_1.extractTerm)(right);
+        if (leftVarForTerm && rightTerm && (op === '=' || op === '!=')) {
+            const filterOp = op === '=' ? '$eq' : '$ne';
+            return { varName: leftVarForTerm, op: filterOp, value: (0, serialization_1.serializeObject)(rightTerm) };
+        }
+        return null;
+    }
+    mapComparisonOp(op) {
+        const map = {
+            '=': '$eq', '!=': '$ne', '<': '$lt', '>': '$gt', '<=': '$lte', '>=': '$gte'
+        };
+        return map[op] || '$eq';
+    }
+    reverseComparisonOp(op) {
+        const map = {
+            '<': '>', '>': '<', '<=': '>=', '>=': '<=', '=': '=', '!=': '!='
+        };
+        return map[op] || op;
+    }
+    /**
+     * Serialize value for comparison
+     *
+     * Range comparison handling:
+     * - $gt, $lte: Use fpstring + max suffix to be >= all values with same fpstring
+     * - $lt, $gte: Use fpstring only (prefix), stored values are always > prefix
+     * - $eq, $ne: Use exact serialization
+     */
+    serializeForComparison(value, datatype, filterOp) {
+        // Exact match uses full serialization
+        if (filterOp === '$eq' || filterOp === '$ne') {
+            return this.serializeExactValue(value, datatype);
+        }
+        // Range comparison
+        if (datatype && serialization_1.NUMERIC_TYPES.has(datatype)) {
+            const fpValue = `N${serialization_1.SEP}${(0, serialization_1.fpEncode)(value)}`;
+            // $gt and $lte need max suffix to compare correctly
+            if (filterOp === '$gt' || filterOp === '$lte') {
+                return fpValue + serialization_1.SEP + '\uffff';
+            }
+            // $lt and $gte use prefix only
+            return fpValue;
+        }
+        if (datatype === serialization_1.DATETIME_TYPE) {
+            const fpValue = `D${serialization_1.SEP}${(0, serialization_1.fpEncode)(new Date(value).valueOf())}`;
+            if (filterOp === '$gt' || filterOp === '$lte') {
+                return fpValue + serialization_1.SEP + '\uffff';
+            }
+            return fpValue;
+        }
+        // For non-numeric types, use exact value (string comparison)
+        return this.serializeExactValue(value, datatype);
+    }
+    serializeExactValue(value, datatype) {
+        const lit = datatype
+            ? dataFactory.literal(value, dataFactory.namedNode(datatype))
+            : dataFactory.literal(value);
+        return (0, serialization_1.serializeObject)(lit);
+    }
+}
+exports.FilterPushdownExtractor = FilterPushdownExtractor;
+//# sourceMappingURL=FilterPushdownExtractor.js.map

package/dist/storage/sparql/FilterPushdownExtractor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"FilterPushdownExtractor.js","sourceRoot":"","sources":["../../../src/storage/sparql/FilterPushdownExtractor.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;GAcG;;;AAGH,uDAA+C;AAG/C,0DAAsG;AACtG,iDAOwB;AAExB,MAAM,WAAW,GAAG,IAAI,8BAAW,EAAE,CAAC;AAoBtC;;GAEG;AACH,MAAa,uBAAuB;IAClC;;;OAGG;IACH,sBAAsB,CACpB,IAAwB,EACxB,OAAwB;QAExB,IAAI,IAAI,CAAC,cAAc,KAAK,UAAU,EAAE,CAAC;YACvC,0CAA0C;YAC1C,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;QAC1C,CAAC;QAED,MAAM,MAAM,GAAG,IAAkC,CAAC;QAClD,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QAEzC,kDAAkD;QAClD,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAChB,MAAM,OAAO,GAAoB,EAAE,CAAC;YACpC,MAAM,UAAU,GAAyB,EAAE,CAAC;YAE5C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;gBAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,sBAAsB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;gBACzD,gBAAgB;gBAChB,KAAK,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC5D,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC;gBACrD,CAAC;gBACD,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;oBACrB,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;gBACpC,CAAC;YACH,CAAC;YAED,8BAA8B;YAC9B,IAAI,SAAS,GAA8B,IAAI,CAAC;YAChD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5B,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC5B,CAAC;iBAAM,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjC,SAAS,GAAG;oBACV,IAAI,EAAE,YAAY;oBAClB,cAAc,EAAE,UAAU;oBAC1B,QAAQ,EAAE,IAAI;oBACd,IAAI,EAAE,UAAU;iBACa,CAAC;YAClC,CAAC;YAED,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;QAChC,CAAC;QAED,kDAAkD;QAClD,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAChB,OAAO,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACjD,CAAC;QAED,2CAA2C;QAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC9D,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;QAC9C,CAAC;QAED,iBAAiB;QACjB,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IAC1C,CAAC;IAED;;;;;OAKG;IACK,iBAAiB,CACvB,IAAgC,EAChC,OAAwB;QAExB,2CAA2C;QAC3C,MAAM,QAAQ,GAAyB,EAAE,CAAC;QAC1C,MAAM,eAAe,GAAG,CAAC,CAAqB,EAAQ,EAAE;YACtD,IAAI,CAAC,CAAC,cAAc,KAAK,UAAU,EAAE,CAAC;gBACpC,MAAM,EAAE,GAAG,CAA+B,CAAC;gBAC3C,IAAI,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,IAAI,EAAE,CAAC;oBACvC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;oBACjC,OAAO;gBACT,CAAC;YACH,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,CAAC,CAAC;QACF,eAAe,CAAC,IAAI,CAAC,CAAC;QAEtB,2CAA2C;QAC3C,MAAM,YAAY,GAA6D,EAAE,CAAC;QAClF,MAAM,eAAe,GAAyB,EAAE,CAAC;QAEjD,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC9B,IAAI,MAAM,CAAC,cAAc,KAAK,UAAU,EAAE,CAAC;gBACzC,MAAM,aAAa,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAoC,EAAE,OAAO,CAAC,CAAC;gBACnG,IAAI,aAAa,IAAI,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC3D,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;oBAC5D,SAAS;gBACX,CAAC;YACH,CAAC;YACD,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC/B,CAAC;QAED,+CAA+C;QAC/C,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;QAC1C,CAAC;QAED,wDAAwD;QACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;QACnD,IAAI,QAAQ,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7C,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;QAChD,CAAC;QAED,gDAAgD;QAChD,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAEpD,sFAAsF;QACtF,OAAO;YACL,OAAO,EAAE,EAAE;YACX,SAAS,EAAE,IAAI;YACf,UAAU;YACV,qBAAqB,EAAE,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS;SAChF,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,cAAc,CACpB,QAAkE;QAElE,qDAAqD;QACrD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;QAE9C,KAAK,MAAM,EAAE,OAAO,EAAE,IAAI,QAAQ,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAClC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAEnC,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACxB,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;YAC7B,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAEhC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;YAExD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC5B,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAC7B,CAAC;YACD,SAAS,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAa,CAAC,CAAC;QAClD,CAAC;QAED,0BAA0B;QAC1B,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAEtC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACtD,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC;IACxC,CAAC;IAED;;OAEG;IACH,wBAAwB,CACtB,IAAgC,EAChC,OAAwB;QAExB,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QACvC,MAAM,OAAO,GAAoB,EAAE,CAAC;QAEpC,kCAAkC;QAClC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7E,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAChD,IAAI,MAAM,EAAE,CAAC;gBACX,kDAAkD;gBAClD,IAAI,IAAA,kCAAmB,EAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;oBACjD,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;oBACxD,OAAO,OAAO,CAAC;gBACjB,CAAC;YACH,CAAC;QACH,CAAC;QAED,+BAA+B;QAC/B,iEAAiE;QACjE,+CAA+C;QAC/C,4DAA4D;QAC5D,yDAAyD;QACzD,yEAAyE;QACzE,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChF,MAAM,OAAO,GAAG,IAAA,iCAAkB,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACjD,MAAM,KAAK,GAAG,IAAA,kCAAmB,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAChD,IAAI,OAAO,IAAI,KAAK,IAAI,IAAA,kCAAmB,EAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC9D,IAAI,EAAE,KAAK,WAAW,EAAE,CAAC;oBACvB,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,GAAG,KAAK,EAAE,CAAC;gBAClD,CAAC;qBAAM,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;oBAC5B,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,GAAG,GAAG,EAAE,CAAC;gBAChD,CAAC;qBAAM,CAAC;oBACN,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;gBAC1C,CAAC;gBACD,OAAO,OAAO,CAAC;YACjB,CAAC;QACH,CAAC;QAED,QAAQ;QACR,IAAI,EAAE,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAC5C,MAAM,OAAO,GAAG,IAAA,iCAAkB,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACjD,MAAM,YAAY,GAAG,IAAA,kCAAmB,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACvD,IAAI,OAAO,IAAI,YAAY,IAAI,IAAA,kCAAmB,EAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;gBACrE,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;gBAC5C,OAAO,OAAO,CAAC;YACjB,CAAC;QACH,CAAC;QAED,KAAK;QACL,IAAI,EAAE,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACzC,MAAM,OAAO,GAAG,IAAA,8BAAe,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAI,OAAO,IAAI,IAAA,kCAAmB,EAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;gBACrD,MAAM,MAAM,GAAa,EAAE,CAAC;gBAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC1C,MAAM,GAAG,GAAG,IAAA,6BAAc,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBACzC,IAAI,GAAG,EAAE,CAAC;wBACR,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;oBACjE,CAAC;gBACH,CAAC;gBACD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACtB,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;oBACnC,OAAO,OAAO,CAAC;gBACjB,CAAC;YACH,CAAC;QACH,CAAC;QAED,SAAS;QACT,IAAI,EAAE,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAC5C,MAAM,OAAO,GAAG,IAAA,8BAAe,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAI,OAAO,IAAI,IAAA,kCAAmB,EAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;gBACrD,MAAM,MAAM,GAAa,EAAE,CAAC;gBAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC1C,MAAM,GAAG,GAAG,IAAA,6BAAc,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBACzC,IAAI,GAAG,EAAE,CAAC;wBACR,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;oBACjE,CAAC;gBACH,CAAC;gBACD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACtB,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;oBACtC,OAAO,OAAO,CAAC;gBACjB,CAAC;YACH,CAAC;QACH,CAAC;QAED,QAAQ;QACR,IAAI,EAAE,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7C,MAAM,OAAO,GAAG,IAAA,8BAAe,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAI,OAAO,IAAI,IAAA,kCAAmB,EAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;gBACrD,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;gBACtC,OAAO,OAAO,CAAC;YACjB,CAAC;QACH,CAAC;QAED,SAAS;QACT,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC3B,IAAI,KAAK,CAAC,cAAc,KAAK,UAAU,EAAE,CAAC;gBACxC,MAAM,OAAO,GAAG,KAAmC,CAAC;gBACpD,IAAI,OAAO,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC5E,MAAM,OAAO,GAAG,IAAA,8BAAe,EAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBACjD,IAAI,OAAO,IAAI,IAAA,kCAAmB,EAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;wBACrD,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;wBACrC,OAAO,OAAO,CAAC;oBACjB,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,0BAA0B;QAC1B,sDAAsD;QACtD,IAAI,CAAC,EAAE,KAAK,OAAO,IAAI,EAAE,KAAK,OAAO,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjE,MAAM,OAAO,GAAG,IAAA,8BAAe,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAI,OAAO,IAAI,IAAA,kCAAmB,EAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;gBACrD,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;gBAC3C,OAAO,OAAO,CAAC;YACjB,CAAC;QACH,CAAC;QAED,qCAAqC;QACrC,IAAI,EAAE,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/C,MAAM,OAAO,GAAG,IAAA,8BAAe,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAI,OAAO,IAAI,IAAA,kCAAmB,EAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;gBACrD,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;gBACzC,OAAO,OAAO,CAAC;YACjB,CAAC;QACH,CAAC;QAED,0EAA0E;QAC1E,IAAI,EAAE,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjD,MAAM,OAAO,GAAG,IAAA,8BAAe,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAI,OAAO,IAAI,IAAA,kCAAmB,EAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;gBACrD,8DAA8D;gBAC9D,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;gBACxC,OAAO,OAAO,CAAC;YACjB,CAAC;QACH,CAAC;QAED,iDAAiD;QACjD,IAAI,EAAE,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjD,MAAM,OAAO,GAAG,IAAA,8BAAe,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAI,OAAO,IAAI,IAAA,kCAAmB,EAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;gBACrD,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;gBAC1C,OAAO,OAAO,CAAC;YACjB,CAAC;QACH,CAAC;QAED,yEAAyE;QACzE,mCAAmC;QACnC,IAAI,EAAE,KAAK,aAAa,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;YACpD,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAEjC,iCAAiC;YACjC,IAAI,QAAQ,CAAC,cAAc,KAAK,UAAU;gBACrC,QAAuC,CAAC,QAAQ,KAAK,MAAM;gBAC3D,QAAuC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC/D,MAAM,OAAO,GAAG,IAAA,8BAAe,EAAE,QAAuC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBAElF,IAAI,OAAO,IAAI,IAAA,kCAAmB,EAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;oBACrD,2BAA2B;oBAC3B,IAAI,WAAW,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;wBACvC,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;wBAC7C,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;4BACjB,4DAA4D;4BAC5D,6CAA6C;4BAC7C,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC;wBAChD,CAAC;6BAAM,CAAC;4BACN,6CAA6C;4BAC7C,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,IAAI,GAAG,EAAE,CAAC;wBAChD,CAAC;wBACD,OAAO,OAAO,CAAC;oBACjB,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACK,iBAAiB,CACvB,IAAgC,EAChC,EAAU;QAEV,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;QAEhC,kBAAkB;QAClB,MAAM,OAAO,GAAG,IAAA,8BAAe,EAAC,IAAI,CAAC,CAAC;QACtC,MAAM,YAAY,GAAG,IAAA,6BAAc,EAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,OAAO,IAAI,YAAY,EAAE,CAAC;YAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;YAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,sBAAsB,CAAC,YAAY,CAAC,KAAK,EAAE,YAAY,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YAC/F,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QACnD,CAAC;QAED,4BAA4B;QAC5B,MAAM,WAAW,GAAG,IAAA,6BAAc,EAAC,IAAI,CAAC,CAAC;QACzC,MAAM,QAAQ,GAAG,IAAA,8BAAe,EAAC,KAAK,CAAC,CAAC;QACxC,IAAI,WAAW,IAAI,QAAQ,EAAE,CAAC;YAC5B,MAAM,UAAU,GAAG,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;YAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;YAClD,MAAM,KAAK,GAAG,IAAI,CAAC,sBAAsB,CAAC,WAAW,CAAC,KAAK,EAAE,WAAW,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YAC7F,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QACpD,CAAC;QAED,qBAAqB;QACrB,MAAM,cAAc,GAAG,IAAA,8BAAe,EAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,SAAS,GAAG,IAAA,0BAAW,EAAC,KAAK,CAAC,CAAC;QACrC,IAAI,cAAc,IAAI,SAAS,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAC/D,MAAM,QAAQ,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;YAC5C,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAA,+BAAe,EAAC,SAAS,CAAC,EAAE,CAAC;QACtF,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,eAAe,CAAC,EAAU;QAChC,MAAM,GAAG,GAA2B;YAClC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM;SAC5E,CAAC;QACF,OAAO,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC;IAC1B,CAAC;IAEO,mBAAmB,CAAC,EAAU;QACpC,MAAM,GAAG,GAA2B;YAClC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI;SACjE,CAAC;QACF,OAAO,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;IACvB,CAAC;IAED;;;;;;;OAOG;IACH,sBAAsB,CAAC,KAAa,EAAE,QAA4B,EAAE,QAAgB;QAClF,sCAAsC;QACtC,IAAI,QAAQ,KAAK,KAAK,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;YAC7C,OAAO,IAAI,CAAC,mBAAmB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACnD,CAAC;QAED,mBAAmB;QACnB,IAAI,QAAQ,IAAI,6BAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5C,MAAM,OAAO,GAAG,IAAI,mBAAG,GAAG,IAAA,wBAAQ,EAAC,KAAK,CAAC,EAAE,CAAC;YAC5C,oDAAoD;YACpD,IAAI,QAAQ,KAAK,KAAK,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;gBAC9C,OAAO,OAAO,GAAG,mBAAG,GAAG,QAAQ,CAAC;YAClC,CAAC;YACD,+BAA+B;YAC/B,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,IAAI,QAAQ,KAAK,6BAAa,EAAE,CAAC;YAC/B,MAAM,OAAO,GAAG,IAAI,mBAAG,GAAG,IAAA,wBAAQ,EAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;YAChE,IAAI,QAAQ,KAAK,KAAK,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;gBAC9C,OAAO,OAAO,GAAG,mBAAG,GAAG,QAAQ,CAAC;YAClC,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,6DAA6D;QAC7D,OAAO,IAAI,CAAC,mBAAmB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACnD,CAAC;IAED,mBAAmB,CAAC,KAAa,EAAE,QAAiB;QAClD,MAAM,GAAG,GAAG,QAAQ;YAClB,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,EAAE,WAAW,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;YAC7D,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC/B,OAAO,IAAA,+BAAe,EAAC,GAAG,CAAC,CAAC;IAC9B,CAAC;CACF;AAtbD,0DAsbC","sourcesContent":["/**\n * FilterPushdownExtractor - Extract pushdownable conditions from SPARQL FILTER\n * \n * Analyzes SPARQL FILTER expressions and extracts conditions that can be\n * pushed down to the database layer for efficient query execution.\n * \n * Supported pushdown operations:\n * - Comparison: =, !=, <, >, <=, >=\n * - String functions: STRSTARTS, STRENDS, CONTAINS, REGEX\n * - Type checking: isIRI, isBlank, isLiteral, isNumeric\n * - Language: LANGMATCHES\n * - Logical: AND, OR (with $in optimization)\n * - Set operations: IN, NOT IN\n * - Existence: BOUND, !BOUND\n */\n\nimport type { Algebra } from 'sparqlalgebrajs';\nimport { DataFactory } from 'rdf-data-factory';\n\nimport type { TermOperators } from '../quint/types';\nimport { fpEncode, NUMERIC_TYPES, DATETIME_TYPE, SEP, serializeObject } from '../quint/serialization';\nimport { \n  extractVariable, \n  extractStrVariable, \n  extractLiteralValue, \n  extractLiteral, \n  extractTerm,\n  isVariableInPattern \n} from './AlgebraUtils';\n\nconst dataFactory = new DataFactory();\n\n/**\n * Pushdown filters extracted from SPARQL FILTER clauses\n * Maps variable names to their filter conditions\n */\nexport interface PushdownFilters {\n  [varName: string]: TermOperators;\n}\n\n/**\n * Result of extracting pushdown filters from an expression\n */\nexport interface PushdownResult {\n  filters: PushdownFilters;\n  remainder: Algebra.Expression | null;\n  orBranches?: PushdownFilters[];\n  orNonPushdownBranches?: Algebra.Expression[];\n}\n\n/**\n * FilterPushdownExtractor extracts pushdownable conditions from FILTER expressions\n */\nexport class FilterPushdownExtractor {\n  /**\n   * Extract pushdownable filters from an expression\n   * Returns filters that can be pushed down and the remaining expression\n   */\n  extractPushdownFilters(\n    expr: Algebra.Expression,\n    pattern: Algebra.Pattern\n  ): PushdownResult {\n    if (expr.expressionType !== 'operator') {\n      // Can't pushdown non-operator expressions\n      return { filters: {}, remainder: expr };\n    }\n\n    const opExpr = expr as Algebra.OperatorExpression;\n    const op = opExpr.operator.toLowerCase();\n\n    // Handle AND: recursively extract from both sides\n    if (op === '&&') {\n      const filters: PushdownFilters = {};\n      const remainders: Algebra.Expression[] = [];\n\n      for (const arg of opExpr.args) {\n        const result = this.extractPushdownFilters(arg, pattern);\n        // Merge filters\n        for (const [varName, ops] of Object.entries(result.filters)) {\n          filters[varName] = { ...filters[varName], ...ops };\n        }\n        if (result.remainder) {\n          remainders.push(result.remainder);\n        }\n      }\n\n      // Combine remainders with AND\n      let remainder: Algebra.Expression | null = null;\n      if (remainders.length === 1) {\n        remainder = remainders[0];\n      } else if (remainders.length > 1) {\n        remainder = {\n          type: 'expression',\n          expressionType: 'operator',\n          operator: '&&',\n          args: remainders,\n        } as Algebra.OperatorExpression;\n      }\n\n      return { filters, remainder };\n    }\n\n    // Handle OR: try to convert to $in or OR branches\n    if (op === '||') {\n      return this.extractOrPushdown(opExpr, pattern);\n    }\n\n    // Try to extract single pushdown condition\n    const result = this.tryExtractSinglePushdown(opExpr, pattern);\n    if (result) {\n      return { filters: result, remainder: null };\n    }\n\n    // Can't pushdown\n    return { filters: {}, remainder: expr };\n  }\n\n  /**\n   * Handle OR expression pushdown\n   * - Same variable equality: convert to $in\n   * - Different variables: create OR branches for separate queries\n   * - Mixed (pushdownable + non-pushdownable): orBranches + orNonPushdownBranches\n   */\n  private extractOrPushdown(\n    expr: Algebra.OperatorExpression,\n    pattern: Algebra.Pattern\n  ): PushdownResult {\n    // Flatten OR tree and collect all branches\n    const branches: Algebra.Expression[] = [];\n    const collectBranches = (e: Algebra.Expression): void => {\n      if (e.expressionType === 'operator') {\n        const op = e as Algebra.OperatorExpression;\n        if (op.operator.toLowerCase() === '||') {\n          op.args.forEach(collectBranches);\n          return;\n        }\n      }\n      branches.push(e);\n    };\n    collectBranches(expr);\n\n    // Try to extract pushdown from each branch\n    const pushdownable: { filters: PushdownFilters; expr: Algebra.Expression }[] = [];\n    const nonPushdownable: Algebra.Expression[] = [];\n\n    for (const branch of branches) {\n      if (branch.expressionType === 'operator') {\n        const branchFilters = this.tryExtractSinglePushdown(branch as Algebra.OperatorExpression, pattern);\n        if (branchFilters && Object.keys(branchFilters).length > 0) {\n          pushdownable.push({ filters: branchFilters, expr: branch });\n          continue;\n        }\n      }\n      nonPushdownable.push(branch);\n    }\n\n    // If nothing pushdownable, return as remainder\n    if (pushdownable.length === 0) {\n      return { filters: {}, remainder: expr };\n    }\n\n    // Check if all are same-variable equality (can use $in)\n    const inResult = this.tryConvertToIn(pushdownable);\n    if (inResult && nonPushdownable.length === 0) {\n      return { filters: inResult, remainder: null };\n    }\n\n    // Different variables or mixed: use OR branches\n    const orBranches = pushdownable.map(p => p.filters);\n    \n    // Non-pushdownable branches need OR semantics (not AND), so use orNonPushdownBranches\n    return { \n      filters: {}, \n      remainder: null, \n      orBranches,\n      orNonPushdownBranches: nonPushdownable.length > 0 ? nonPushdownable : undefined\n    };\n  }\n\n  /**\n   * Try to convert same-variable equalities to $in\n   */\n  private tryConvertToIn(\n    branches: { filters: PushdownFilters; expr: Algebra.Expression }[]\n  ): PushdownFilters | null {\n    // Check if all branches are single-variable equality\n    const varValues = new Map<string, string[]>();\n    \n    for (const { filters } of branches) {\n      const keys = Object.keys(filters);\n      if (keys.length !== 1) return null;\n      \n      const varName = keys[0];\n      const ops = filters[varName];\n      const opKeys = Object.keys(ops);\n      \n      if (opKeys.length !== 1 || !('$eq' in ops)) return null;\n      \n      if (!varValues.has(varName)) {\n        varValues.set(varName, []);\n      }\n      varValues.get(varName)!.push(ops.$eq as string);\n    }\n\n    // Must be single variable\n    if (varValues.size !== 1) return null;\n\n    const [varName, values] = [...varValues.entries()][0];\n    return { [varName]: { $in: values } };\n  }\n\n  /**\n   * Try to extract pushdown filter from a single operator expression\n   */\n  tryExtractSinglePushdown(\n    expr: Algebra.OperatorExpression,\n    pattern: Algebra.Pattern\n  ): PushdownFilters | null {\n    const op = expr.operator.toLowerCase();\n    const filters: PushdownFilters = {};\n\n    // Comparison: =, !=, <, >, <=, >=\n    if (['=', '!=', '<', '>', '<=', '>='].includes(op) && expr.args.length === 2) {\n      const result = this.extractComparison(expr, op);\n      if (result) {\n        // Only pushdown if the variable is in the pattern\n        if (isVariableInPattern(result.varName, pattern)) {\n          filters[result.varName] = { [result.op]: result.value };\n          return filters;\n        }\n      }\n    }\n\n    // STRSTARTS, STRENDS, CONTAINS\n    // Database stores serialized literals like \"Alice\" (with quotes)\n    // So we adjust the search pattern accordingly:\n    // - STRSTARTS('A') -> $startsWith: '\"A' (add leading quote)\n    // - STRENDS('e') -> $endsWith: 'e\"' (add trailing quote)\n    // - CONTAINS('x') -> $contains: 'x' (quotes don't affect middle content)\n    if (['strstarts', 'strends', 'contains'].includes(op) && expr.args.length === 2) {\n      const varName = extractStrVariable(expr.args[0]);\n      const value = extractLiteralValue(expr.args[1]);\n      if (varName && value && isVariableInPattern(varName, pattern)) {\n        if (op === 'strstarts') {\n          filters[varName] = { $startsWith: '\"' + value };\n        } else if (op === 'strends') {\n          filters[varName] = { $endsWith: value + '\"' };\n        } else {\n          filters[varName] = { $contains: value };\n        }\n        return filters;\n      }\n    }\n\n    // REGEX\n    if (op === 'regex' && expr.args.length >= 2) {\n      const varName = extractStrVariable(expr.args[0]);\n      const regexPattern = extractLiteralValue(expr.args[1]);\n      if (varName && regexPattern && isVariableInPattern(varName, pattern)) {\n        filters[varName] = { $regex: regexPattern };\n        return filters;\n      }\n    }\n\n    // IN\n    if (op === 'in' && expr.args.length >= 1) {\n      const varName = extractVariable(expr.args[0]);\n      if (varName && isVariableInPattern(varName, pattern)) {\n        const values: string[] = [];\n        for (let i = 1; i < expr.args.length; i++) {\n          const lit = extractLiteral(expr.args[i]);\n          if (lit) {\n            values.push(this.serializeExactValue(lit.value, lit.datatype));\n          }\n        }\n        if (values.length > 0) {\n          filters[varName] = { $in: values };\n          return filters;\n        }\n      }\n    }\n\n    // NOT IN\n    if (op === 'notin' && expr.args.length >= 1) {\n      const varName = extractVariable(expr.args[0]);\n      if (varName && isVariableInPattern(varName, pattern)) {\n        const values: string[] = [];\n        for (let i = 1; i < expr.args.length; i++) {\n          const lit = extractLiteral(expr.args[i]);\n          if (lit) {\n            values.push(this.serializeExactValue(lit.value, lit.datatype));\n          }\n        }\n        if (values.length > 0) {\n          filters[varName] = { $notIn: values };\n          return filters;\n        }\n      }\n    }\n\n    // BOUND\n    if (op === 'bound' && expr.args.length === 1) {\n      const varName = extractVariable(expr.args[0]);\n      if (varName && isVariableInPattern(varName, pattern)) {\n        filters[varName] = { $isNull: false };\n        return filters;\n      }\n    }\n\n    // !BOUND\n    if (op === '!' && expr.args.length === 1) {\n      const inner = expr.args[0];\n      if (inner.expressionType === 'operator') {\n        const innerOp = inner as Algebra.OperatorExpression;\n        if (innerOp.operator.toLowerCase() === 'bound' && innerOp.args.length === 1) {\n          const varName = extractVariable(innerOp.args[0]);\n          if (varName && isVariableInPattern(varName, pattern)) {\n            filters[varName] = { $isNull: true };\n            return filters;\n          }\n        }\n      }\n    }\n\n    // Type checking functions\n    // isiri/isuri: In Solid, IRIs are http:// or https://\n    if ((op === 'isiri' || op === 'isuri') && expr.args.length === 1) {\n      const varName = extractVariable(expr.args[0]);\n      if (varName && isVariableInPattern(varName, pattern)) {\n        filters[varName] = { $startsWith: 'http' };\n        return filters;\n      }\n    }\n\n    // isblank: Blank nodes start with _:\n    if (op === 'isblank' && expr.args.length === 1) {\n      const varName = extractVariable(expr.args[0]);\n      if (varName && isVariableInPattern(varName, pattern)) {\n        filters[varName] = { $startsWith: '_:' };\n        return filters;\n      }\n    }\n\n    // isliteral: Literals start with \" (or N\\0 for numeric, D\\0 for datetime)\n    if (op === 'isliteral' && expr.args.length === 1) {\n      const varName = extractVariable(expr.args[0]);\n      if (varName && isVariableInPattern(varName, pattern)) {\n        // Match strings starting with \", N (numeric), or D (datetime)\n        filters[varName] = { $regex: '^[\"ND]' };\n        return filters;\n      }\n    }\n\n    // isnumeric: Our numeric literals start with N\\0\n    if (op === 'isnumeric' && expr.args.length === 1) {\n      const varName = extractVariable(expr.args[0]);\n      if (varName && isVariableInPattern(varName, pattern)) {\n        filters[varName] = { $startsWith: 'N\\0' };\n        return filters;\n      }\n    }\n\n    // LANGMATCHES(LANG(?x), \"en\") - language tagged literals end with @lang\"\n    // Serialization format: \"value\"@en\n    if (op === 'langmatches' && expr.args.length === 2) {\n      const langExpr = expr.args[0] as Algebra.Expression;\n      const langPattern = expr.args[1];\n      \n      // First arg should be LANG(?var)\n      if (langExpr.expressionType === 'operator' && \n          (langExpr as Algebra.OperatorExpression).operator === 'lang' &&\n          (langExpr as Algebra.OperatorExpression).args.length === 1) {\n        const varName = extractVariable((langExpr as Algebra.OperatorExpression).args[0]);\n        \n        if (varName && isVariableInPattern(varName, pattern)) {\n          // Get the language pattern\n          if (langPattern.termType === 'Literal') {\n            const lang = langPattern.value.toLowerCase();\n            if (lang === '*') {\n              // Match any language tagged literal - ends with @something\"\n              // Use regex to match @[a-z]+\" pattern at end\n              filters[varName] = { $regex: '@[a-zA-Z]+\"$' };\n            } else {\n              // Match specific language - ends with @lang\"\n              filters[varName] = { $endsWith: `@${lang}\"` };\n            }\n            return filters;\n          }\n        }\n      }\n    }\n\n    return null;\n  }\n\n  /**\n   * Extract comparison operator info\n   */\n  private extractComparison(\n    expr: Algebra.OperatorExpression,\n    op: string\n  ): { varName: string; op: string; value: string } | null {\n    const [left, right] = expr.args;\n\n    // ?var op literal\n    const leftVar = extractVariable(left);\n    const rightLiteral = extractLiteral(right);\n    if (leftVar && rightLiteral) {\n      const filterOp = this.mapComparisonOp(op);\n      const value = this.serializeForComparison(rightLiteral.value, rightLiteral.datatype, filterOp);\n      return { varName: leftVar, op: filterOp, value };\n    }\n\n    // literal op ?var (reverse)\n    const leftLiteral = extractLiteral(left);\n    const rightVar = extractVariable(right);\n    if (leftLiteral && rightVar) {\n      const reversedOp = this.reverseComparisonOp(op);\n      const filterOp = this.mapComparisonOp(reversedOp);\n      const value = this.serializeForComparison(leftLiteral.value, leftLiteral.datatype, filterOp);\n      return { varName: rightVar, op: filterOp, value };\n    }\n\n    // ?var = <namedNode>\n    const leftVarForTerm = extractVariable(left);\n    const rightTerm = extractTerm(right);\n    if (leftVarForTerm && rightTerm && (op === '=' || op === '!=')) {\n      const filterOp = op === '=' ? '$eq' : '$ne';\n      return { varName: leftVarForTerm, op: filterOp, value: serializeObject(rightTerm) };\n    }\n\n    return null;\n  }\n\n  private mapComparisonOp(op: string): string {\n    const map: Record<string, string> = {\n      '=': '$eq', '!=': '$ne', '<': '$lt', '>': '$gt', '<=': '$lte', '>=': '$gte'\n    };\n    return map[op] || '$eq';\n  }\n\n  private reverseComparisonOp(op: string): string {\n    const map: Record<string, string> = {\n      '<': '>', '>': '<', '<=': '>=', '>=': '<=', '=': '=', '!=': '!='\n    };\n    return map[op] || op;\n  }\n\n  /**\n   * Serialize value for comparison\n   * \n   * Range comparison handling:\n   * - $gt, $lte: Use fpstring + max suffix to be >= all values with same fpstring\n   * - $lt, $gte: Use fpstring only (prefix), stored values are always > prefix\n   * - $eq, $ne: Use exact serialization\n   */\n  serializeForComparison(value: string, datatype: string | undefined, filterOp: string): string {\n    // Exact match uses full serialization\n    if (filterOp === '$eq' || filterOp === '$ne') {\n      return this.serializeExactValue(value, datatype);\n    }\n    \n    // Range comparison\n    if (datatype && NUMERIC_TYPES.has(datatype)) {\n      const fpValue = `N${SEP}${fpEncode(value)}`;\n      // $gt and $lte need max suffix to compare correctly\n      if (filterOp === '$gt' || filterOp === '$lte') {\n        return fpValue + SEP + '\\uffff';\n      }\n      // $lt and $gte use prefix only\n      return fpValue;\n    }\n    \n    if (datatype === DATETIME_TYPE) {\n      const fpValue = `D${SEP}${fpEncode(new Date(value).valueOf())}`;\n      if (filterOp === '$gt' || filterOp === '$lte') {\n        return fpValue + SEP + '\\uffff';\n      }\n      return fpValue;\n    }\n    \n    // For non-numeric types, use exact value (string comparison)\n    return this.serializeExactValue(value, datatype);\n  }\n\n  serializeExactValue(value: string, datatype?: string): string {\n    const lit = datatype \n      ? dataFactory.literal(value, dataFactory.namedNode(datatype))\n      : dataFactory.literal(value);\n    return serializeObject(lit);\n  }\n}\n"]}

package/dist/storage/sparql/OptimizedQuadstoreEngine.d.ts

@@ -0,0 +1,65 @@
+/**
+ * OptimizedQuadstoreEngine - 优化的 SPARQL 查询引擎
+ *
+ * 在 quadstore-comunica Engine 基础上增加查询优化：
+ * - 对于简单查询（单 BGP），直接使用 quadstore API，支持 LIMIT/ORDER BY 下推
+ * - 对于复杂查询（JOIN/OPTIONAL/UNION/FILTER），委托给 Comunica
+ */
+import type { Quad, Term, Variable } from '@rdfjs/types';
+import type { ResultStream, Bindings } from '@rdfjs/types';
+import { Quadstore } from 'quadstore';
+/**
+ * 简单的 Bindings 实现
+ */
+export declare class SimpleBindings extends Map<string, Term> {
+    get(key: string | Variable): Term | undefined;
+    has(key: string | Variable): boolean;
+}
+/**
+ * 优化的 Quadstore SPARQL 引擎
+ */
+export declare class OptimizedQuadstoreEngine {
+    private readonly comunica;
+    private readonly quadstore;
+    private readonly debug;
+    constructor(store: Quadstore, debug?: boolean);
+    private log;
+    /**
+     * 获取底层 quadstore
+     */
+    getStore(): Quadstore;
+    /**
+     * 执行 SELECT 查询
+     */
+    queryBindings(query: string, context?: any): Promise<ResultStream<Bindings>>;
+    /**
+     * 执行 ASK 查询
+     */
+    queryBoolean(query: string, context?: any): Promise<boolean>;
+    /**
+     * 执行 CONSTRUCT/DESCRIBE 查询
+     */
+    queryQuads(query: string, context?: any): Promise<ResultStream<Quad>>;
+    /**
+     * 执行 UPDATE 查询
+     */
+    queryVoid(query: string, context?: any): Promise<void>;
+    /**
+     * 分析查询，判断是否可以优化
+     */
+    private analyzeQuery;
+    /**
+     * 分析 Algebra 树
+     */
+    private analyzeAlgebra;
+    /**
+     * 从 BGP pattern 提取匹配条件
+     */
+    private extractPattern;
+    /**
+     * 执行优化的 SELECT
+     */
+    private executeOptimizedSelect;
+    private varNameToTermName;
+    private streamToArray;
+}