@undefineds.co/xpod 0.3.74 → 0.4.0-rc.139

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

@@ -1,143 +0,0 @@
-/**
- * ComunicaQuintEngine - Comunica SPARQL engine backed by QuintStore
- *
- * Features:
- * 1. Query pushdown optimization (LIMIT/ORDER BY)
- * 2. FILTER pushdown via IQuerySource interface
- * 3. External filters for security boundaries (ACL)
- * 4. OPTIONAL optimization via QueryOptimizer
- *
- * Architecture:
- * - Uses QuintQuerySource (IQuerySource) for proper FILTER pushdown
- * - Uses QueryOptimizer for OPTIONAL and Compound Query optimization
- * - Comunica pushes FILTER operations down to sources that declare support
- * - QuintQuerySource extracts filters from algebra and applies them to QuintStore
- */
-import type { Quad, Bindings, ResultStream } from '@rdfjs/types';
-import { type Algebra } from 'sparqlalgebrajs';
-import type { QuintStore, TermOperators } from '../quint/types';
-export interface ComunicaQuintEngineOptions {
-    debug?: boolean;
-}
-/**
- * Security/ACL filters passed from upstream
- * These are applied unconditionally to restrict query scope
- */
-export interface SecurityFilters {
-    subject?: TermOperators;
-    predicate?: TermOperators;
-    object?: TermOperators;
-    graph?: TermOperators;
-}
-export interface QueryContext {
-    sources?: unknown[];
-    baseIRI?: string;
-    /** Security filters for access control */
-    filters?: SecurityFilters;
-    [key: string]: unknown;
-}
-/**
- * Query analysis result (stateless)
- */
-export interface QueryAnalysis {
-    hasFilter: boolean;
-    filterTypes: string[];
-    pushdownable: string[];
-    nonPushdownable: string[];
-    estimatedPushdownRate: number;
-}
-export declare class ComunicaQuintEngine {
-    private readonly store;
-    private readonly rdfStore;
-    private readonly querySource;
-    private readonly queryOptimizer;
-    private readonly simpleExecutor;
-    private readonly engine;
-    private readonly debug;
-    private bindingsFactory;
-    private currentOptimizeParams;
-    private currentSecurityFilters;
-    private currentFilterExpressions;
-    constructor(store: QuintStore, options?: ComunicaQuintEngineOptions);
-    /**
-     * Analyze a query's pushdown potential (stateless)
-     * Returns analysis of what can/cannot be pushed down without executing the query
-     */
-    analyzeQuery(query: string): QueryAnalysis;
-    /**
-     * Analyze algebra tree for pushdown potential
-     */
-    private analyzeAlgebra;
-    /**
-     * Walk algebra tree and collect filter info
-     */
-    private walkAlgebra;
-    /**
-     * Analyze a filter expression
-     */
-    private analyzeExpression;
-    /**
-     * Execute SELECT query
-     * Uses IQuerySource for proper FILTER pushdown
-     *
-     * OPTIONAL 优化：
-     * 如果查询包含多个 OPTIONAL 且只是获取属性（不参与过滤），
-     * 则先执行核心条件获取 subjects，再批量获取属性
-     */
-    queryBindings(query: string, context?: QueryContext): Promise<ResultStream<Bindings>>;
-    /**
-     * 执行核心查询（不含 OPTIONAL）
-     */
-    private executeCoreQuery;
-    /**
-     * Extract FILTER expressions from query and store them for later pushdown
-     * Maps variable names to their filter expressions
-     */
-    private extractAndStoreFilters;
-    /**
-     * Recursively collect FILTER expressions and their variable bindings
-     */
-    private collectFilterExpressions;
-    /**
-     * Get variable names from an expression
-     */
-    private getExpressionVariables;
-    /**
-     * Get the current filter expression for a variable (used by QuintQuerySource)
-     */
-    getFilterExpressionForVariable(varName: string): Algebra.Expression | undefined;
-    /**
-     * Execute ASK query
-     */
-    queryBoolean(query: string, context?: QueryContext): Promise<boolean>;
-    /**
-     * Execute CONSTRUCT/DESCRIBE query
-     */
-    queryQuads(query: string, context?: QueryContext): Promise<ResultStream<Quad>>;
-    /**
-     * Execute UPDATE query (INSERT/DELETE)
-     * Uses RDF.Store interface since UPDATE doesn't need FILTER pushdown
-     */
-    queryVoid(query: string, context?: QueryContext): Promise<void>;
-    /**
-     * Parse "DELETE WHERE { GRAPH <uri> { ?s ?p ?o. } }" and return the graph URI.
-     * Returns null if the statement doesn't match this pattern.
-     */
-    private parseDeleteWhereGraph;
-    /**
-     * Split a compound SPARQL UPDATE into individual statements.
-     */
-    private splitUpdateStatements;
-    /**
-     * Extract optimization params from SPARQL query
-     */
-    private extractOptimizeParams;
-    /**
-     * Extract optimization params from SPARQL algebra
-     */
-    private extractOptimizeParamsFromAlgebra;
-    /**
-     * Map SPARQL variable name to TermName
-     */
-    private variableToTermName;
-}