@undefineds.co/xpod 0.1.0-local.202602081751

package/dist/storage/sparql/OptimizedQuadstoreEngine.js

@@ -0,0 +1,327 @@
+"use strict";
+/**
+ * OptimizedQuadstoreEngine - 优化的 SPARQL 查询引擎
+ *
+ * 在 quadstore-comunica Engine 基础上增加查询优化：
+ * - 对于简单查询（单 BGP），直接使用 quadstore API，支持 LIMIT/ORDER BY 下推
+ * - 对于复杂查询（JOIN/OPTIONAL/UNION/FILTER），委托给 Comunica
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.OptimizedQuadstoreEngine = exports.SimpleBindings = void 0;
+const quadstore_comunica_1 = require("quadstore-comunica");
+const sparqlalgebrajs_1 = require("sparqlalgebrajs");
+const asynciterator_1 = require("asynciterator");
+/**
+ * 简单的 Bindings 实现
+ */
+class SimpleBindings extends Map {
+    get(key) {
+        const varName = typeof key === 'string' ? key : key.value;
+        return super.get(varName);
+    }
+    has(key) {
+        const varName = typeof key === 'string' ? key : key.value;
+        return super.has(varName);
+    }
+}
+exports.SimpleBindings = SimpleBindings;
+/**
+ * 优化的 Quadstore SPARQL 引擎
+ */
+class OptimizedQuadstoreEngine {
+    constructor(store, debug = false) {
+        this.quadstore = store;
+        this.comunica = new quadstore_comunica_1.Engine(store);
+        this.debug = debug;
+    }
+    log(msg) {
+        if (this.debug) {
+            console.log(`[OptimizedQuadstoreEngine] ${msg}`);
+        }
+    }
+    /**
+     * 获取底层 quadstore
+     */
+    getStore() {
+        return this.quadstore;
+    }
+    /**
+     * 执行 SELECT 查询
+     */
+    async queryBindings(query, context) {
+        const params = this.analyzeQuery(query);
+        if (params) {
+            this.log(`Using optimized path for SELECT`);
+            return this.executeOptimizedSelect(params);
+        }
+        this.log(`Using Comunica for SELECT`);
+        return this.comunica.queryBindings(query, context);
+    }
+    /**
+     * 执行 ASK 查询
+     */
+    async queryBoolean(query, context) {
+        const params = this.analyzeQuery(query);
+        if (params) {
+            this.log(`Using optimized path for ASK`);
+            params.limit = 1;
+            const results = await this.executeOptimizedSelect(params);
+            const arr = await this.streamToArray(results);
+            return arr.length > 0;
+        }
+        this.log(`Using Comunica for ASK`);
+        return this.comunica.queryBoolean(query, context);
+    }
+    /**
+     * 执行 CONSTRUCT/DESCRIBE 查询
+     */
+    async queryQuads(query, context) {
+        this.log(`Using Comunica for CONSTRUCT/DESCRIBE`);
+        return this.comunica.queryQuads(query, context);
+    }
+    /**
+     * 执行 UPDATE 查询
+     */
+    async queryVoid(query, context) {
+        return this.comunica.queryVoid(query, context);
+    }
+    /**
+     * 分析查询，判断是否可以优化
+     */
+    analyzeQuery(query) {
+        try {
+            const algebra = (0, sparqlalgebrajs_1.translate)(query);
+            return this.analyzeAlgebra(algebra);
+        }
+        catch (error) {
+            this.log(`Failed to analyze query: ${error}`);
+            return null;
+        }
+    }
+    /**
+     * 分析 Algebra 树
+     */
+    analyzeAlgebra(op) {
+        const params = {
+            pattern: {},
+            variables: [],
+        };
+        let current = op;
+        let bgpFound = false;
+        while (current) {
+            switch (current.type) {
+                case 'project': {
+                    const project = current;
+                    params.variables = project.variables.map(v => v.value);
+                    current = project.input;
+                    break;
+                }
+                case 'slice': {
+                    const slice = current;
+                    if (slice.length !== undefined) {
+                        params.limit = slice.length;
+                    }
+                    if (slice.start !== undefined && slice.start > 0) {
+                        params.offset = slice.start;
+                    }
+                    current = slice.input;
+                    break;
+                }
+                case 'distinct':
+                    params.distinct = true;
+                    current = current.input;
+                    break;
+                case 'reduced':
+                    current = current.input;
+                    break;
+                case 'orderby': {
+                    const orderBy = current;
+                    if (orderBy.expressions.length === 1) {
+                        const expr = orderBy.expressions[0];
+                        if (expr.expression?.expressionType === 'term' && expr.expression.term.termType === 'Variable') {
+                            const varName = expr.expression.term.value;
+                            const termName = this.varNameToTermName(varName);
+                            if (termName) {
+                                params.order = [termName];
+                                params.reverse = expr.descending || false;
+                            }
+                        }
+                    }
+                    current = orderBy.input;
+                    break;
+                }
+                case 'filter':
+                    // FILTER 查询暂时不优化，让 Comunica 处理
+                    this.log(`Query has filter, not optimizing`);
+                    return null;
+                case 'bgp': {
+                    const bgp = current;
+                    if (bgp.patterns.length !== 1) {
+                        this.log(`BGP has ${bgp.patterns.length} patterns, not optimizing`);
+                        return null;
+                    }
+                    const pattern = bgp.patterns[0];
+                    this.extractPattern(pattern, params);
+                    bgpFound = true;
+                    current = null;
+                    break;
+                }
+                case 'join':
+                case 'leftjoin':
+                case 'union':
+                case 'minus':
+                    this.log(`Query has ${current.type}, not optimizing`);
+                    return null;
+                case 'graph': {
+                    const graphOp = current;
+                    if (graphOp.name.termType === 'Variable') {
+                        params.pattern.graphVar = graphOp.name.value;
+                    }
+                    else {
+                        params.pattern.graph = graphOp.name;
+                    }
+                    current = graphOp.input;
+                    break;
+                }
+                default:
+                    if ('input' in current) {
+                        current = current.input;
+                    }
+                    else {
+                        current = null;
+                    }
+            }
+        }
+        if (!bgpFound) {
+            return null;
+        }
+        // 填充 variables（如果是 SELECT *）
+        if (params.variables.length === 0) {
+            if (params.pattern.subjectVar)
+                params.variables.push(params.pattern.subjectVar);
+            if (params.pattern.predicateVar)
+                params.variables.push(params.pattern.predicateVar);
+            if (params.pattern.objectVar)
+                params.variables.push(params.pattern.objectVar);
+            if (params.pattern.graphVar)
+                params.variables.push(params.pattern.graphVar);
+        }
+        return params;
+    }
+    /**
+     * 从 BGP pattern 提取匹配条件
+     */
+    extractPattern(pattern, params) {
+        if (pattern.subject.termType === 'Variable') {
+            params.pattern.subjectVar = pattern.subject.value;
+        }
+        else {
+            params.pattern.subject = pattern.subject;
+        }
+        if (pattern.predicate.termType === 'Variable') {
+            params.pattern.predicateVar = pattern.predicate.value;
+        }
+        else {
+            params.pattern.predicate = pattern.predicate;
+        }
+        if (pattern.object.termType === 'Variable') {
+            params.pattern.objectVar = pattern.object.value;
+        }
+        else {
+            params.pattern.object = pattern.object;
+        }
+        if (pattern.graph.termType === 'Variable') {
+            params.pattern.graphVar = pattern.graph.value;
+        }
+        else if (pattern.graph.termType === 'DefaultGraph') {
+            // DefaultGraph - don't set graph filter
+        }
+        else {
+            params.pattern.graph = pattern.graph;
+        }
+    }
+    /**
+     * 执行优化的 SELECT
+     */
+    async executeOptimizedSelect(params) {
+        const opts = {};
+        if (params.limit !== undefined) {
+            opts.limit = params.limit + (params.offset || 0);
+        }
+        if (params.order) {
+            opts.order = params.order;
+        }
+        if (params.reverse) {
+            opts.reverse = params.reverse;
+        }
+        const pattern = {
+            subject: params.pattern.subject,
+            predicate: params.pattern.predicate,
+            object: params.pattern.object,
+            graph: params.pattern.graph,
+        };
+        this.log(`Querying quadstore with pattern: ${JSON.stringify(pattern)}, opts: ${JSON.stringify(opts)}`);
+        const result = await this.quadstore.get(pattern, opts);
+        let quads = result.items;
+        if (params.offset) {
+            quads = quads.slice(params.offset);
+        }
+        if (params.limit !== undefined) {
+            quads = quads.slice(0, params.limit);
+        }
+        const bindings = quads.map(quad => {
+            const binding = new SimpleBindings();
+            if (params.pattern.subjectVar) {
+                binding.set(params.pattern.subjectVar, quad.subject);
+            }
+            if (params.pattern.predicateVar) {
+                binding.set(params.pattern.predicateVar, quad.predicate);
+            }
+            if (params.pattern.objectVar) {
+                binding.set(params.pattern.objectVar, quad.object);
+            }
+            if (params.pattern.graphVar) {
+                binding.set(params.pattern.graphVar, quad.graph);
+            }
+            return binding;
+        });
+        let finalBindings = bindings;
+        if (params.distinct) {
+            const seen = new Set();
+            finalBindings = bindings.filter(b => {
+                const key = params.variables.map(v => `${v}=${b.get(v)?.value ?? ''}`).sort().join('|');
+                if (seen.has(key))
+                    return false;
+                seen.add(key);
+                return true;
+            });
+        }
+        return new asynciterator_1.ArrayIterator(finalBindings);
+    }
+    varNameToTermName(varName) {
+        const mapping = {
+            s: 'subject',
+            subject: 'subject',
+            p: 'predicate',
+            predicate: 'predicate',
+            o: 'object',
+            object: 'object',
+            g: 'graph',
+            graph: 'graph',
+        };
+        return mapping[varName.toLowerCase()] || null;
+    }
+    async streamToArray(stream) {
+        if (typeof stream.toArray === 'function') {
+            return stream.toArray();
+        }
+        const results = [];
+        return new Promise((resolve, reject) => {
+            stream.on('data', (item) => results.push(item));
+            stream.on('end', () => resolve(results));
+            stream.on('error', reject);
+        });
+    }
+}
+exports.OptimizedQuadstoreEngine = OptimizedQuadstoreEngine;
+//# sourceMappingURL=OptimizedQuadstoreEngine.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"OptimizedQuadstoreEngine.js","sourceRoot":"","sources":["../../../src/storage/sparql/OptimizedQuadstoreEngine.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;AAIH,2DAA+D;AAG/D,qDAA4C;AAC5C,iDAA8C;AAE9C;;GAEG;AACH,MAAa,cAAe,SAAQ,GAAiB;IAC1C,GAAG,CAAC,GAAsB;QACjC,MAAM,OAAO,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;QAC1D,OAAO,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC5B,CAAC;IAEQ,GAAG,CAAC,GAAsB;QACjC,MAAM,OAAO,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;QAC1D,OAAO,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC5B,CAAC;CACF;AAVD,wCAUC;AAwBD;;GAEG;AACH,MAAa,wBAAwB;IAKnC,YAAY,KAAgB,EAAE,KAAK,GAAG,KAAK;QACzC,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC;QACvB,IAAI,CAAC,QAAQ,GAAG,IAAI,2BAAe,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;IAEO,GAAG,CAAC,GAAW;QACrB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,8BAA8B,GAAG,EAAE,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IAED;;OAEG;IACH,QAAQ;QACN,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,aAAa,CAAC,KAAa,EAAE,OAAa;QAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAExC,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC;YAC5C,OAAO,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC;QAC7C,CAAC;QAED,IAAI,CAAC,GAAG,CAAC,2BAA2B,CAAC,CAAC;QACtC,OAAO,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACrD,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,YAAY,CAAC,KAAa,EAAE,OAAa;QAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAExC,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;YACzC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC;YACjB,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC;YAC1D,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;YAC9C,OAAO,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;QACxB,CAAC;QAED,IAAI,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;QACnC,OAAO,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACpD,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,UAAU,CAAC,KAAa,EAAE,OAAa;QAC3C,IAAI,CAAC,GAAG,CAAC,uCAAuC,CAAC,CAAC;QAClD,OAAO,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAClD,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,SAAS,CAAC,KAAa,EAAE,OAAa;QAC1C,OAAO,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC;IAED;;OAEG;IACK,YAAY,CAAC,KAAa;QAChC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,IAAA,2BAAS,EAAC,KAAK,CAAC,CAAC;YACjC,OAAO,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;QACtC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,GAAG,CAAC,4BAA4B,KAAK,EAAE,CAAC,CAAC;YAC9C,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED;;OAEG;IACK,cAAc,CAAC,EAAqB;QAC1C,MAAM,MAAM,GAAmB;YAC7B,OAAO,EAAE,EAAE;YACX,SAAS,EAAE,EAAE;SACd,CAAC;QAEF,IAAI,OAAO,GAAsB,EAAE,CAAC;QACpC,IAAI,QAAQ,GAAG,KAAK,CAAC;QAErB,OAAO,OAAO,EAAE,CAAC;YACf,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;gBACrB,KAAK,SAAS,CAAC,CAAC,CAAC;oBACf,MAAM,OAAO,GAAG,OAA0B,CAAC;oBAC3C,MAAM,CAAC,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBACvD,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC;oBACxB,MAAM;gBACR,CAAC;gBAED,KAAK,OAAO,CAAC,CAAC,CAAC;oBACb,MAAM,KAAK,GAAG,OAAwB,CAAC;oBACvC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;wBAC/B,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;oBAC9B,CAAC;oBACD,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;wBACjD,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC;oBAC9B,CAAC;oBACD,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC;oBACtB,MAAM;gBACR,CAAC;gBAED,KAAK,UAAU;oBACb,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAC;oBACvB,OAAO,GAAI,OAA4B,CAAC,KAAK,CAAC;oBAC9C,MAAM;gBAER,KAAK,SAAS;oBACZ,OAAO,GAAI,OAA2B,CAAC,KAAK,CAAC;oBAC7C,MAAM;gBAER,KAAK,SAAS,CAAC,CAAC,CAAC;oBACf,MAAM,OAAO,GAAG,OAA0B,CAAC;oBAC3C,IAAI,OAAO,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBACrC,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAQ,CAAC;wBAC3C,IAAI,IAAI,CAAC,UAAU,EAAE,cAAc,KAAK,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;4BAC/F,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;4BAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;4BACjD,IAAI,QAAQ,EAAE,CAAC;gCACb,MAAM,CAAC,KAAK,GAAG,CAAC,QAAQ,CAAC,CAAC;gCAC1B,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC,UAAU,IAAI,KAAK,CAAC;4BAC5C,CAAC;wBACH,CAAC;oBACH,CAAC;oBACD,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC;oBACxB,MAAM;gBACR,CAAC;gBAED,KAAK,QAAQ;oBACX,+BAA+B;oBAC/B,IAAI,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;oBAC7C,OAAO,IAAI,CAAC;gBAEd,KAAK,KAAK,CAAC,CAAC,CAAC;oBACX,MAAM,GAAG,GAAG,OAAsB,CAAC;oBACnC,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBAC9B,IAAI,CAAC,GAAG,CAAC,WAAW,GAAG,CAAC,QAAQ,CAAC,MAAM,2BAA2B,CAAC,CAAC;wBACpE,OAAO,IAAI,CAAC;oBACd,CAAC;oBAED,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;oBAChC,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;oBACrC,QAAQ,GAAG,IAAI,CAAC;oBAChB,OAAO,GAAG,IAAW,CAAC;oBACtB,MAAM;gBACR,CAAC;gBAED,KAAK,MAAM,CAAC;gBACZ,KAAK,UAAU,CAAC;gBAChB,KAAK,OAAO,CAAC;gBACb,KAAK,OAAO;oBACV,IAAI,CAAC,GAAG,CAAC,aAAa,OAAO,CAAC,IAAI,kBAAkB,CAAC,CAAC;oBACtD,OAAO,IAAI,CAAC;gBAEd,KAAK,OAAO,CAAC,CAAC,CAAC;oBACb,MAAM,OAAO,GAAG,OAAwB,CAAC;oBACzC,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;wBACzC,MAAM,CAAC,OAAO,CAAC,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;oBAC/C,CAAC;yBAAM,CAAC;wBACN,MAAM,CAAC,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC;oBACtC,CAAC;oBACD,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC;oBACxB,MAAM;gBACR,CAAC;gBAED;oBACE,IAAI,OAAO,IAAI,OAAO,EAAE,CAAC;wBACvB,OAAO,GAAI,OAAe,CAAC,KAAK,CAAC;oBACnC,CAAC;yBAAM,CAAC;wBACN,OAAO,GAAG,IAAW,CAAC;oBACxB,CAAC;YACL,CAAC;QACH,CAAC;QAED,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,IAAI,CAAC;QACd,CAAC;QAED,6BAA6B;QAC7B,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU;gBAAE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YAChF,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY;gBAAE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;YACpF,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS;gBAAE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAC9E,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ;gBAAE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC9E,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,cAAc,CAAC,OAAwB,EAAE,MAAsB;QACrE,IAAI,OAAO,CAAC,OAAO,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YAC5C,MAAM,CAAC,OAAO,CAAC,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC;QACpD,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;QAC3C,CAAC;QAED,IAAI,OAAO,CAAC,SAAS,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YAC9C,MAAM,CAAC,OAAO,CAAC,YAAY,GAAG,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC;QACxD,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,OAAO,CAAC,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;QAC/C,CAAC;QAED,IAAI,OAAO,CAAC,MAAM,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YAC3C,MAAM,CAAC,OAAO,CAAC,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC;QAClD,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QACzC,CAAC;QAED,IAAI,OAAO,CAAC,KAAK,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YAC1C,MAAM,CAAC,OAAO,CAAC,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;QAChD,CAAC;aAAM,IAAI,OAAO,CAAC,KAAK,CAAC,QAAQ,KAAK,cAAc,EAAE,CAAC;YACrD,wCAAwC;QAC1C,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;QACvC,CAAC;IACH,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,sBAAsB,CAAC,MAAsB;QACzD,MAAM,IAAI,GAAY,EAAE,CAAC;QAEzB,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC/B,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;QACnD,CAAC;QAED,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YACjB,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;QAC5B,CAAC;QAED,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACnB,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;QAChC,CAAC;QAED,MAAM,OAAO,GAAY;YACvB,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,OAAc;YACtC,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,SAAgB;YAC1C,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,MAAa;YACpC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,KAAY;SACnC,CAAC;QAEF,IAAI,CAAC,GAAG,CAAC,oCAAoC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEvG,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACvD,IAAI,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;QAEzB,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAClB,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACrC,CAAC;QAED,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC/B,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACvC,CAAC;QAED,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;YAChC,MAAM,OAAO,GAAG,IAAI,cAAc,EAAE,CAAC;YAErC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;gBAC9B,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YACvD,CAAC;YACD,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;gBAChC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;YAC3D,CAAC;YACD,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;gBAC7B,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YACrD,CAAC;YACD,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;gBAC5B,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACnD,CAAC;YAED,OAAO,OAAO,CAAC;QACjB,CAAC,CAAC,CAAC;QAEH,IAAI,aAAa,GAAqB,QAAQ,CAAC;QAC/C,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;YAC/B,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;gBAClC,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACxF,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAChC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,OAAO,IAAI,CAAC;YACd,CAAC,CAAC,CAAC;QACL,CAAC;QAED,OAAO,IAAI,6BAAa,CAAC,aAAa,CAAsC,CAAC;IAC/E,CAAC;IAEO,iBAAiB,CAAC,OAAe;QACvC,MAAM,OAAO,GAA6B;YACxC,CAAC,EAAE,SAAS;YACZ,OAAO,EAAE,SAAS;YAClB,CAAC,EAAE,WAAW;YACd,SAAS,EAAE,WAAW;YACtB,CAAC,EAAE,QAAQ;YACX,MAAM,EAAE,QAAQ;YAChB,CAAC,EAAE,OAAO;YACV,KAAK,EAAE,OAAO;SACf,CAAC;QACF,OAAO,OAAO,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,IAAI,IAAI,CAAC;IAChD,CAAC;IAEO,KAAK,CAAC,aAAa,CAAI,MAAW;QACxC,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YACzC,OAAO,MAAM,CAAC,OAAO,EAAE,CAAC;QAC1B,CAAC;QACD,MAAM,OAAO,GAAQ,EAAE,CAAC;QACxB,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;YACrC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,IAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YACnD,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;YACzC,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC7B,CAAC,CAAC,CAAC;IACL,CAAC;CACF;AA5UD,4DA4UC","sourcesContent":["/**\n * OptimizedQuadstoreEngine - 优化的 SPARQL 查询引擎\n *\n * 在 quadstore-comunica Engine 基础上增加查询优化：\n * - 对于简单查询（单 BGP），直接使用 quadstore API，支持 LIMIT/ORDER BY 下推\n * - 对于复杂查询（JOIN/OPTIONAL/UNION/FILTER），委托给 Comunica\n */\n\nimport type { Quad, Term, Variable } from '@rdfjs/types';\nimport type { ResultStream, Bindings } from '@rdfjs/types';\nimport { Engine as QuadstoreEngine } from 'quadstore-comunica';\nimport { Quadstore, type GetOpts, type TermName, type Pattern } from 'quadstore';\nimport type { Algebra } from 'sparqlalgebrajs';\nimport { translate } from 'sparqlalgebrajs';\nimport { ArrayIterator } from 'asynciterator';\n\n/**\n * 简单的 Bindings 实现\n */\nexport class SimpleBindings extends Map<string, Term> {\n  override get(key: string | Variable): Term | undefined {\n    const varName = typeof key === 'string' ? key : key.value;\n    return super.get(varName);\n  }\n\n  override has(key: string | Variable): boolean {\n    const varName = typeof key === 'string' ? key : key.value;\n    return super.has(varName);\n  }\n}\n\n/**\n * 优化参数\n */\ninterface OptimizeParams {\n  limit?: number;\n  offset?: number;\n  order?: TermName[];\n  reverse?: boolean;\n  pattern: {\n    subject?: Term;\n    predicate?: Term;\n    object?: Term;\n    graph?: Term;\n    subjectVar?: string;\n    predicateVar?: string;\n    objectVar?: string;\n    graphVar?: string;\n  };\n  variables: string[];\n  distinct?: boolean;\n}\n\n/**\n * 优化的 Quadstore SPARQL 引擎\n */\nexport class OptimizedQuadstoreEngine {\n  private readonly comunica: QuadstoreEngine;\n  private readonly quadstore: Quadstore;\n  private readonly debug: boolean;\n\n  constructor(store: Quadstore, debug = false) {\n    this.quadstore = store;\n    this.comunica = new QuadstoreEngine(store);\n    this.debug = debug;\n  }\n\n  private log(msg: string): void {\n    if (this.debug) {\n      console.log(`[OptimizedQuadstoreEngine] ${msg}`);\n    }\n  }\n\n  /**\n   * 获取底层 quadstore\n   */\n  getStore(): Quadstore {\n    return this.quadstore;\n  }\n\n  /**\n   * 执行 SELECT 查询\n   */\n  async queryBindings(query: string, context?: any): Promise<ResultStream<Bindings>> {\n    const params = this.analyzeQuery(query);\n    \n    if (params) {\n      this.log(`Using optimized path for SELECT`);\n      return this.executeOptimizedSelect(params);\n    }\n\n    this.log(`Using Comunica for SELECT`);\n    return this.comunica.queryBindings(query, context);\n  }\n\n  /**\n   * 执行 ASK 查询\n   */\n  async queryBoolean(query: string, context?: any): Promise<boolean> {\n    const params = this.analyzeQuery(query);\n    \n    if (params) {\n      this.log(`Using optimized path for ASK`);\n      params.limit = 1;\n      const results = await this.executeOptimizedSelect(params);\n      const arr = await this.streamToArray(results);\n      return arr.length > 0;\n    }\n\n    this.log(`Using Comunica for ASK`);\n    return this.comunica.queryBoolean(query, context);\n  }\n\n  /**\n   * 执行 CONSTRUCT/DESCRIBE 查询\n   */\n  async queryQuads(query: string, context?: any): Promise<ResultStream<Quad>> {\n    this.log(`Using Comunica for CONSTRUCT/DESCRIBE`);\n    return this.comunica.queryQuads(query, context);\n  }\n\n  /**\n   * 执行 UPDATE 查询\n   */\n  async queryVoid(query: string, context?: any): Promise<void> {\n    return this.comunica.queryVoid(query, context);\n  }\n\n  /**\n   * 分析查询，判断是否可以优化\n   */\n  private analyzeQuery(query: string): OptimizeParams | null {\n    try {\n      const algebra = translate(query);\n      return this.analyzeAlgebra(algebra);\n    } catch (error) {\n      this.log(`Failed to analyze query: ${error}`);\n      return null;\n    }\n  }\n\n  /**\n   * 分析 Algebra 树\n   */\n  private analyzeAlgebra(op: Algebra.Operation): OptimizeParams | null {\n    const params: OptimizeParams = {\n      pattern: {},\n      variables: [],\n    };\n\n    let current: Algebra.Operation = op;\n    let bgpFound = false;\n\n    while (current) {\n      switch (current.type) {\n        case 'project': {\n          const project = current as Algebra.Project;\n          params.variables = project.variables.map(v => v.value);\n          current = project.input;\n          break;\n        }\n\n        case 'slice': {\n          const slice = current as Algebra.Slice;\n          if (slice.length !== undefined) {\n            params.limit = slice.length;\n          }\n          if (slice.start !== undefined && slice.start > 0) {\n            params.offset = slice.start;\n          }\n          current = slice.input;\n          break;\n        }\n\n        case 'distinct':\n          params.distinct = true;\n          current = (current as Algebra.Distinct).input;\n          break;\n\n        case 'reduced':\n          current = (current as Algebra.Reduced).input;\n          break;\n\n        case 'orderby': {\n          const orderBy = current as Algebra.OrderBy;\n          if (orderBy.expressions.length === 1) {\n            const expr = orderBy.expressions[0] as any;\n            if (expr.expression?.expressionType === 'term' && expr.expression.term.termType === 'Variable') {\n              const varName = expr.expression.term.value;\n              const termName = this.varNameToTermName(varName);\n              if (termName) {\n                params.order = [termName];\n                params.reverse = expr.descending || false;\n              }\n            }\n          }\n          current = orderBy.input;\n          break;\n        }\n\n        case 'filter':\n          // FILTER 查询暂时不优化，让 Comunica 处理\n          this.log(`Query has filter, not optimizing`);\n          return null;\n\n        case 'bgp': {\n          const bgp = current as Algebra.Bgp;\n          if (bgp.patterns.length !== 1) {\n            this.log(`BGP has ${bgp.patterns.length} patterns, not optimizing`);\n            return null;\n          }\n          \n          const pattern = bgp.patterns[0];\n          this.extractPattern(pattern, params);\n          bgpFound = true;\n          current = null as any;\n          break;\n        }\n\n        case 'join':\n        case 'leftjoin':\n        case 'union':\n        case 'minus':\n          this.log(`Query has ${current.type}, not optimizing`);\n          return null;\n\n        case 'graph': {\n          const graphOp = current as Algebra.Graph;\n          if (graphOp.name.termType === 'Variable') {\n            params.pattern.graphVar = graphOp.name.value;\n          } else {\n            params.pattern.graph = graphOp.name;\n          }\n          current = graphOp.input;\n          break;\n        }\n\n        default:\n          if ('input' in current) {\n            current = (current as any).input;\n          } else {\n            current = null as any;\n          }\n      }\n    }\n\n    if (!bgpFound) {\n      return null;\n    }\n\n    // 填充 variables（如果是 SELECT *）\n    if (params.variables.length === 0) {\n      if (params.pattern.subjectVar) params.variables.push(params.pattern.subjectVar);\n      if (params.pattern.predicateVar) params.variables.push(params.pattern.predicateVar);\n      if (params.pattern.objectVar) params.variables.push(params.pattern.objectVar);\n      if (params.pattern.graphVar) params.variables.push(params.pattern.graphVar);\n    }\n\n    return params;\n  }\n\n  /**\n   * 从 BGP pattern 提取匹配条件\n   */\n  private extractPattern(pattern: Algebra.Pattern, params: OptimizeParams): void {\n    if (pattern.subject.termType === 'Variable') {\n      params.pattern.subjectVar = pattern.subject.value;\n    } else {\n      params.pattern.subject = pattern.subject;\n    }\n\n    if (pattern.predicate.termType === 'Variable') {\n      params.pattern.predicateVar = pattern.predicate.value;\n    } else {\n      params.pattern.predicate = pattern.predicate;\n    }\n\n    if (pattern.object.termType === 'Variable') {\n      params.pattern.objectVar = pattern.object.value;\n    } else {\n      params.pattern.object = pattern.object;\n    }\n\n    if (pattern.graph.termType === 'Variable') {\n      params.pattern.graphVar = pattern.graph.value;\n    } else if (pattern.graph.termType === 'DefaultGraph') {\n      // DefaultGraph - don't set graph filter\n    } else {\n      params.pattern.graph = pattern.graph;\n    }\n  }\n\n  /**\n   * 执行优化的 SELECT\n   */\n  private async executeOptimizedSelect(params: OptimizeParams): Promise<ResultStream<Bindings>> {\n    const opts: GetOpts = {};\n\n    if (params.limit !== undefined) {\n      opts.limit = params.limit + (params.offset || 0);\n    }\n\n    if (params.order) {\n      opts.order = params.order;\n    }\n\n    if (params.reverse) {\n      opts.reverse = params.reverse;\n    }\n\n    const pattern: Pattern = {\n      subject: params.pattern.subject as any,\n      predicate: params.pattern.predicate as any,\n      object: params.pattern.object as any,\n      graph: params.pattern.graph as any,\n    };\n\n    this.log(`Querying quadstore with pattern: ${JSON.stringify(pattern)}, opts: ${JSON.stringify(opts)}`);\n\n    const result = await this.quadstore.get(pattern, opts);\n    let quads = result.items;\n\n    if (params.offset) {\n      quads = quads.slice(params.offset);\n    }\n\n    if (params.limit !== undefined) {\n      quads = quads.slice(0, params.limit);\n    }\n\n    const bindings = quads.map(quad => {\n      const binding = new SimpleBindings();\n      \n      if (params.pattern.subjectVar) {\n        binding.set(params.pattern.subjectVar, quad.subject);\n      }\n      if (params.pattern.predicateVar) {\n        binding.set(params.pattern.predicateVar, quad.predicate);\n      }\n      if (params.pattern.objectVar) {\n        binding.set(params.pattern.objectVar, quad.object);\n      }\n      if (params.pattern.graphVar) {\n        binding.set(params.pattern.graphVar, quad.graph);\n      }\n\n      return binding;\n    });\n\n    let finalBindings: SimpleBindings[] = bindings;\n    if (params.distinct) {\n      const seen = new Set<string>();\n      finalBindings = bindings.filter(b => {\n        const key = params.variables.map(v => `${v}=${b.get(v)?.value ?? ''}`).sort().join('|');\n        if (seen.has(key)) return false;\n        seen.add(key);\n        return true;\n      });\n    }\n\n    return new ArrayIterator(finalBindings) as unknown as ResultStream<Bindings>;\n  }\n\n  private varNameToTermName(varName: string): TermName | null {\n    const mapping: Record<string, TermName> = {\n      s: 'subject',\n      subject: 'subject',\n      p: 'predicate',\n      predicate: 'predicate',\n      o: 'object',\n      object: 'object',\n      g: 'graph',\n      graph: 'graph',\n    };\n    return mapping[varName.toLowerCase()] || null;\n  }\n\n  private async streamToArray<T>(stream: any): Promise<T[]> {\n    if (typeof stream.toArray === 'function') {\n      return stream.toArray();\n    }\n    const results: T[] = [];\n    return new Promise((resolve, reject) => {\n      stream.on('data', (item: T) => results.push(item));\n      stream.on('end', () => resolve(results));\n      stream.on('error', reject);\n    });\n  }\n}\n"]}

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

@@ -0,0 +1,46 @@
+/**
+ * OptimizedQuadstoreSource - 实现 Comunica IQuadSource 接口的优化 quadstore 源
+ *
+ * 这个实现允许在 match() 调用时从 context 读取优化参数（LIMIT、ORDER BY），
+ * 并直接传递给 quadstore.get() API，实现查询下推优化。
+ */
+import type { Quad, Term } from '@rdfjs/types';
+import type { IActionContext, IActionContextKey } from '@comunica/types';
+import type { AsyncIterator } from 'asynciterator';
+import { Quadstore, type TermName } from 'quadstore';
+export declare const KEY_OPTIMIZE_PARAMS: IActionContextKey<OptimizeParams>;
+export interface OptimizeParams {
+    limit?: number;
+    order?: TermName[];
+    reverse?: boolean;
+}
+/**
+ * 从 context 中提取优化参数
+ */
+export declare function getOptimizeParams(context?: IActionContext): OptimizeParams | undefined;
+/**
+ * 将优化参数设置到 context 中
+ */
+export declare function setOptimizeParams(context: IActionContext, params: OptimizeParams): IActionContext;
+/**
+ * 实现 Comunica IQuadSource 接口的优化 quadstore 源
+ */
+export declare class OptimizedQuadstoreSource {
+    private readonly store;
+    private readonly debug;
+    constructor(store: Quadstore, options?: {
+        debug?: boolean;
+    });
+    /**
+     * 实现 IQuadSource.match() - 带 context 支持的查询
+     */
+    match(subject: Term, predicate: Term, object: Term, graph: Term, context?: IActionContext): AsyncIterator<Quad>;
+    /**
+     * 创建带 metadata 的 AsyncIterator
+     */
+    private createIterator;
+    /**
+     * 异步加载数据到 iterator
+     */
+    private loadData;
+}

package/dist/storage/sparql/OptimizedQuadstoreSource.js

@@ -0,0 +1,118 @@
+"use strict";
+/**
+ * OptimizedQuadstoreSource - 实现 Comunica IQuadSource 接口的优化 quadstore 源
+ *
+ * 这个实现允许在 match() 调用时从 context 读取优化参数（LIMIT、ORDER BY），
+ * 并直接传递给 quadstore.get() API，实现查询下推优化。
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.OptimizedQuadstoreSource = exports.KEY_OPTIMIZE_PARAMS = void 0;
+exports.getOptimizeParams = getOptimizeParams;
+exports.setOptimizeParams = setOptimizeParams;
+const core_1 = require("@comunica/core");
+const asynciterator_1 = require("asynciterator");
+const utils_metadata_1 = require("@comunica/utils-metadata");
+// Context key for optimization parameters
+exports.KEY_OPTIMIZE_PARAMS = new core_1.ActionContextKey('@xpod/optimizeParams');
+/**
+ * 从 context 中提取优化参数
+ */
+function getOptimizeParams(context) {
+    if (!context)
+        return undefined;
+    return context.get(exports.KEY_OPTIMIZE_PARAMS);
+}
+/**
+ * 将优化参数设置到 context 中
+ */
+function setOptimizeParams(context, params) {
+    return context.set(exports.KEY_OPTIMIZE_PARAMS, params);
+}
+/**
+ * 实现 Comunica IQuadSource 接口的优化 quadstore 源
+ */
+class OptimizedQuadstoreSource {
+    constructor(store, options) {
+        this.store = store;
+        this.debug = options?.debug ?? false;
+    }
+    /**
+     * 实现 IQuadSource.match() - 带 context 支持的查询
+     */
+    match(subject, predicate, object, graph, context) {
+        // 构建 quadstore pattern
+        const pattern = {};
+        if (subject && subject.termType !== 'Variable') {
+            pattern.subject = subject;
+        }
+        if (predicate && predicate.termType !== 'Variable') {
+            pattern.predicate = predicate;
+        }
+        if (object && object.termType !== 'Variable') {
+            pattern.object = object;
+        }
+        if (graph && graph.termType !== 'Variable') {
+            pattern.graph = graph;
+        }
+        // 从 context 读取优化参数
+        const optimizeParams = getOptimizeParams(context);
+        const opts = {};
+        if (optimizeParams) {
+            if (optimizeParams.limit !== undefined) {
+                opts.limit = optimizeParams.limit;
+            }
+            if (optimizeParams.order !== undefined) {
+                opts.order = optimizeParams.order;
+            }
+            if (optimizeParams.reverse !== undefined) {
+                opts.reverse = optimizeParams.reverse;
+            }
+        }
+        if (this.debug) {
+            console.log(`[OptimizedQuadstoreSource] match() called`);
+            console.log(`  pattern: ${JSON.stringify(pattern)}`);
+            console.log(`  opts: ${JSON.stringify(opts)}`);
+        }
+        // 调用 quadstore.get() 并返回 AsyncIterator
+        return this.createIterator(pattern, opts);
+    }
+    /**
+     * 创建带 metadata 的 AsyncIterator
+     */
+    createIterator(pattern, opts) {
+        // 创建一个空的 ArrayIterator，然后异步填充
+        const iterator = new asynciterator_1.ArrayIterator([], { autoStart: false });
+        // 异步加载数据
+        this.loadData(iterator, pattern, opts);
+        return iterator;
+    }
+    /**
+     * 异步加载数据到 iterator
+     */
+    async loadData(iterator, pattern, opts) {
+        try {
+            // 获取数据
+            const result = await this.store.get(pattern, opts);
+            // 设置 metadata
+            iterator.setProperty('metadata', {
+                state: new utils_metadata_1.MetadataValidationState(),
+                cardinality: { type: 'exact', value: result.items.length },
+                canContainUndefs: false,
+            });
+            // 填充数据 - 使用 append 方法
+            if (result.items.length > 0) {
+                // ArrayIterator 在创建后可以追加数据
+                for (const item of result.items) {
+                    iterator._push(item);
+                }
+            }
+            // 关闭 iterator
+            iterator.close();
+        }
+        catch (error) {
+            iterator.destroy(error);
+        }
+    }
+}
+exports.OptimizedQuadstoreSource = OptimizedQuadstoreSource;
+//# sourceMappingURL=OptimizedQuadstoreSource.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"OptimizedQuadstoreSource.js","sourceRoot":"","sources":["../../../src/storage/sparql/OptimizedQuadstoreSource.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAuBH,8CAGC;AAKD,8CAEC;AA7BD,yCAAkD;AAClD,iDAA8C;AAG9C,6DAAmE;AAEnE,0CAA0C;AAC7B,QAAA,mBAAmB,GAC9B,IAAI,uBAAgB,CAAC,sBAAsB,CAAC,CAAC;AAQ/C;;GAEG;AACH,SAAgB,iBAAiB,CAAC,OAAwB;IACxD,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,OAAO,OAAO,CAAC,GAAG,CAAC,2BAAmB,CAAC,CAAC;AAC1C,CAAC;AAED;;GAEG;AACH,SAAgB,iBAAiB,CAAC,OAAuB,EAAE,MAAsB;IAC/E,OAAO,OAAO,CAAC,GAAG,CAAC,2BAAmB,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC;AAED;;GAEG;AACH,MAAa,wBAAwB;IAInC,YAAY,KAAgB,EAAE,OAA6B;QACzD,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,KAAK,GAAG,OAAO,EAAE,KAAK,IAAI,KAAK,CAAC;IACvC,CAAC;IAED;;OAEG;IACH,KAAK,CACH,OAAa,EACb,SAAe,EACf,MAAY,EACZ,KAAW,EACX,OAAwB;QAExB,uBAAuB;QACvB,MAAM,OAAO,GAAY,EAAE,CAAC;QAC5B,IAAI,OAAO,IAAI,OAAO,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YAC/C,OAAO,CAAC,OAAO,GAAG,OAAuB,CAAC;QAC5C,CAAC;QACD,IAAI,SAAS,IAAI,SAAS,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YACnD,OAAO,CAAC,SAAS,GAAG,SAA2B,CAAC;QAClD,CAAC;QACD,IAAI,MAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YAC7C,OAAO,CAAC,MAAM,GAAG,MAAqB,CAAC;QACzC,CAAC;QACD,IAAI,KAAK,IAAI,KAAK,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YAC3C,OAAO,CAAC,KAAK,GAAG,KAAmB,CAAC;QACtC,CAAC;QAED,mBAAmB;QACnB,MAAM,cAAc,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;QAClD,MAAM,IAAI,GAAY,EAAE,CAAC;QAEzB,IAAI,cAAc,EAAE,CAAC;YACnB,IAAI,cAAc,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBACvC,IAAI,CAAC,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC;YACpC,CAAC;YACD,IAAI,cAAc,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBACvC,IAAI,CAAC,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC;YACpC,CAAC;YACD,IAAI,cAAc,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBACzC,IAAI,CAAC,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC;YACxC,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,2CAA2C,CAAC,CAAC;YACzD,OAAO,CAAC,GAAG,CAAC,cAAc,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACrD,OAAO,CAAC,GAAG,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjD,CAAC;QAED,uCAAuC;QACvC,OAAO,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC5C,CAAC;IAED;;OAEG;IACK,cAAc,CAAC,OAAgB,EAAE,IAAa;QACpD,8BAA8B;QAC9B,MAAM,QAAQ,GAAG,IAAI,6BAAa,CAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QAEnE,SAAS;QACT,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;QAEvC,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,QAAQ,CACpB,QAA6B,EAC7B,OAAgB,EAChB,IAAa;QAEb,IAAI,CAAC;YACH,OAAO;YACP,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YAEnD,cAAc;YACd,QAAQ,CAAC,WAAW,CAAC,UAAU,EAAE;gBAC/B,KAAK,EAAE,IAAI,wCAAuB,EAAE;gBACpC,WAAW,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE;gBAC1D,gBAAgB,EAAE,KAAK;aACxB,CAAC,CAAC;YAEH,sBAAsB;YACtB,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,2BAA2B;gBAC3B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;oBAC/B,QAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAChC,CAAC;YACH,CAAC;YAED,cAAc;YACd,QAAQ,CAAC,KAAK,EAAE,CAAC;QACnB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,QAAQ,CAAC,OAAO,CAAC,KAAc,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;CACF;AA1GD,4DA0GC","sourcesContent":["/**\n * OptimizedQuadstoreSource - 实现 Comunica IQuadSource 接口的优化 quadstore 源\n * \n * 这个实现允许在 match() 调用时从 context 读取优化参数（LIMIT、ORDER BY），\n * 并直接传递给 quadstore.get() API，实现查询下推优化。\n */\n\nimport type { Quad, Term, Quad_Subject, Quad_Predicate, Quad_Object, Quad_Graph } from '@rdfjs/types';\nimport type { IActionContext, IActionContextKey } from '@comunica/types';\nimport { ActionContextKey } from '@comunica/core';\nimport { ArrayIterator } from 'asynciterator';\nimport type { AsyncIterator } from 'asynciterator';\nimport { Quadstore, type GetOpts, type TermName, type Pattern } from 'quadstore';\nimport { MetadataValidationState } from '@comunica/utils-metadata';\n\n// Context key for optimization parameters\nexport const KEY_OPTIMIZE_PARAMS: IActionContextKey<OptimizeParams> = \n  new ActionContextKey('@xpod/optimizeParams');\n\nexport interface OptimizeParams {\n  limit?: number;\n  order?: TermName[];\n  reverse?: boolean;\n}\n\n/**\n * 从 context 中提取优化参数\n */\nexport function getOptimizeParams(context?: IActionContext): OptimizeParams | undefined {\n  if (!context) return undefined;\n  return context.get(KEY_OPTIMIZE_PARAMS);\n}\n\n/**\n * 将优化参数设置到 context 中\n */\nexport function setOptimizeParams(context: IActionContext, params: OptimizeParams): IActionContext {\n  return context.set(KEY_OPTIMIZE_PARAMS, params);\n}\n\n/**\n * 实现 Comunica IQuadSource 接口的优化 quadstore 源\n */\nexport class OptimizedQuadstoreSource {\n  private readonly store: Quadstore;\n  private readonly debug: boolean;\n\n  constructor(store: Quadstore, options?: { debug?: boolean }) {\n    this.store = store;\n    this.debug = options?.debug ?? false;\n  }\n\n  /**\n   * 实现 IQuadSource.match() - 带 context 支持的查询\n   */\n  match(\n    subject: Term,\n    predicate: Term,\n    object: Term,\n    graph: Term,\n    context?: IActionContext\n  ): AsyncIterator<Quad> {\n    // 构建 quadstore pattern\n    const pattern: Pattern = {};\n    if (subject && subject.termType !== 'Variable') {\n      pattern.subject = subject as Quad_Subject;\n    }\n    if (predicate && predicate.termType !== 'Variable') {\n      pattern.predicate = predicate as Quad_Predicate;\n    }\n    if (object && object.termType !== 'Variable') {\n      pattern.object = object as Quad_Object;\n    }\n    if (graph && graph.termType !== 'Variable') {\n      pattern.graph = graph as Quad_Graph;\n    }\n\n    // 从 context 读取优化参数\n    const optimizeParams = getOptimizeParams(context);\n    const opts: GetOpts = {};\n    \n    if (optimizeParams) {\n      if (optimizeParams.limit !== undefined) {\n        opts.limit = optimizeParams.limit;\n      }\n      if (optimizeParams.order !== undefined) {\n        opts.order = optimizeParams.order;\n      }\n      if (optimizeParams.reverse !== undefined) {\n        opts.reverse = optimizeParams.reverse;\n      }\n    }\n\n    if (this.debug) {\n      console.log(`[OptimizedQuadstoreSource] match() called`);\n      console.log(`  pattern: ${JSON.stringify(pattern)}`);\n      console.log(`  opts: ${JSON.stringify(opts)}`);\n    }\n\n    // 调用 quadstore.get() 并返回 AsyncIterator\n    return this.createIterator(pattern, opts);\n  }\n\n  /**\n   * 创建带 metadata 的 AsyncIterator\n   */\n  private createIterator(pattern: Pattern, opts: GetOpts): AsyncIterator<Quad> {\n    // 创建一个空的 ArrayIterator，然后异步填充\n    const iterator = new ArrayIterator<Quad>([], { autoStart: false });\n    \n    // 异步加载数据\n    this.loadData(iterator, pattern, opts);\n    \n    return iterator;\n  }\n\n  /**\n   * 异步加载数据到 iterator\n   */\n  private async loadData(\n    iterator: ArrayIterator<Quad>,\n    pattern: Pattern,\n    opts: GetOpts\n  ): Promise<void> {\n    try {\n      // 获取数据\n      const result = await this.store.get(pattern, opts);\n      \n      // 设置 metadata\n      iterator.setProperty('metadata', {\n        state: new MetadataValidationState(),\n        cardinality: { type: 'exact', value: result.items.length },\n        canContainUndefs: false,\n      });\n      \n      // 填充数据 - 使用 append 方法\n      if (result.items.length > 0) {\n        // ArrayIterator 在创建后可以追加数据\n        for (const item of result.items) {\n          (iterator as any)._push(item);\n        }\n      }\n      \n      // 关闭 iterator\n      iterator.close();\n    } catch (error) {\n      iterator.destroy(error as Error);\n    }\n  }\n}\n"]}

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

@@ -0,0 +1,41 @@
+/**
+ * PatternBuilder - QuintPattern construction from SPARQL algebra
+ *
+ * Builds QuintPattern objects from SPARQL algebra patterns,
+ * applying security filters and pushdown conditions.
+ */
+import type { Bindings } from '@rdfjs/types';
+import type { Algebra } from 'sparqlalgebrajs';
+import type { QuintPattern, TermOperators } from '../quint/types';
+import type { SecurityFilters } from './ComunicaQuintEngine';
+/**
+ * Pushdown filters extracted from SPARQL FILTER clauses
+ * Maps variable names to their filter conditions
+ */
+export interface PushdownFilters {
+    [varName: string]: TermOperators;
+}
+/**
+ * PatternBuilder constructs QuintPattern objects from SPARQL algebra
+ */
+export declare class PatternBuilder {
+    private readonly getSecurityFilters;
+    constructor(getSecurityFilters: () => SecurityFilters | undefined);
+    /**
+     * Build base QuintPattern from SPARQL pattern (without pushdown filters)
+     */
+    buildBasePattern(pattern: Algebra.Pattern): QuintPattern;
+    /**
+     * Build QuintPattern with pushdown filters applied
+     */
+    buildQuintPattern(pattern: Algebra.Pattern, pushdownFilters: PushdownFilters): QuintPattern;
+    /**
+     * Build pattern for EXISTS subquery with bound variables
+     */
+    buildExistsPattern(subPattern: Algebra.Pattern, binding: Bindings): QuintPattern;
+    /**
+     * Merge existing filter with new filter
+     * Concrete terms take precedence over operators
+     */
+    private mergeFilters;
+}