@undefineds.co/xpod 0.3.6 → 0.3.15

package/dist/storage/rdf/RdfQuadIndex.jsonld

@@ -0,0 +1,416 @@
+{
+  "@context": [
+    "https://linkedsoftwaredependencies.org/bundles/npm/@undefineds.co/xpod/^0.0.0/components/context.jsonld"
+  ],
+  "@id": "npmd:@undefineds.co/xpod",
+  "components": [
+    {
+      "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex",
+      "@type": "Class",
+      "requireElement": "RdfQuadIndex",
+      "parameters": [
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex_options_path",
+          "range": "xsd:string"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex_options_debug",
+          "range": {
+            "@type": "ParameterRangeUnion",
+            "parameterRangeElements": [
+              "xsd:boolean",
+              {
+                "@type": "ParameterRangeUndefined"
+              }
+            ]
+          }
+        }
+      ],
+      "memberFields": [
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_options",
+          "memberFieldName": "options"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_sqliteRuntime",
+          "memberFieldName": "sqliteRuntime"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_db",
+          "memberFieldName": "db"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_dictionary",
+          "memberFieldName": "dictionary"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_cardinalityCache",
+          "memberFieldName": "cardinalityCache"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_constructor",
+          "memberFieldName": "constructor"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_open",
+          "memberFieldName": "open"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_close",
+          "memberFieldName": "close"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_clear",
+          "memberFieldName": "clear"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_put",
+          "memberFieldName": "put"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_replaceSource",
+          "memberFieldName": "replaceSource"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_deleteSource",
+          "memberFieldName": "deleteSource"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_multiPut",
+          "memberFieldName": "multiPut"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_insertQuads",
+          "memberFieldName": "insertQuads"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_delete",
+          "memberFieldName": "delete"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_scan",
+          "memberFieldName": "scan"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_scanWithTupleConstraints",
+          "memberFieldName": "scanWithTupleConstraints"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_joinPatterns",
+          "memberFieldName": "joinPatterns"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_countJoinPatterns",
+          "memberFieldName": "countJoinPatterns"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_aggregateJoinPatterns",
+          "memberFieldName": "aggregateJoinPatterns"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_aggregateJoinPatternsInternal",
+          "memberFieldName": "aggregateJoinPatternsInternal"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_groupCountJoinPatterns",
+          "memberFieldName": "groupCountJoinPatterns"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_groupAggregateJoinPatterns",
+          "memberFieldName": "groupAggregateJoinPatterns"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_groupAggregateJoinPatternsInternal",
+          "memberFieldName": "groupAggregateJoinPatternsInternal"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_scanInternal",
+          "memberFieldName": "scanInternal"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_compileJoinPatterns",
+          "memberFieldName": "compileJoinPatterns"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_buildJoinOrderClause",
+          "memberFieldName": "buildJoinOrderClause"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_joinRowKeyExpression",
+          "memberFieldName": "joinRowKeyExpression"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_buildJoinAggregateColumn",
+          "memberFieldName": "buildJoinAggregateColumn"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_buildGroupCountHavingClause",
+          "memberFieldName": "buildGroupCountHavingClause"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_buildGroupAggregateHavingClause",
+          "memberFieldName": "buildGroupAggregateHavingClause"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_havingSqlOperator",
+          "memberFieldName": "havingSqlOperator"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_buildGroupCountOrderScope",
+          "memberFieldName": "buildGroupCountOrderScope"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_buildGroupAggregateOrderScope",
+          "memberFieldName": "buildGroupAggregateOrderScope"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_matchToJoinCondition",
+          "memberFieldName": "matchToJoinCondition"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_joinRowsToBindings",
+          "memberFieldName": "joinRowsToBindings"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_count",
+          "memberFieldName": "count"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_estimateCardinality",
+          "memberFieldName": "estimateCardinality"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_countDistinct",
+          "memberFieldName": "countDistinct"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_countDistinctTuple",
+          "memberFieldName": "countDistinctTuple"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_stats",
+          "memberFieldName": "stats"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_cardinalityDistributions",
+          "memberFieldName": "cardinalityDistributions"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_literalDatatypeDistribution",
+          "memberFieldName": "literalDatatypeDistribution"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_graphCardinalityDistribution",
+          "memberFieldName": "graphCardinalityDistribution"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_predicateCardinalityDistribution",
+          "memberFieldName": "predicateCardinalityDistribution"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_predicateObjectCardinalityDistribution",
+          "memberFieldName": "predicateObjectCardinalityDistribution"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_subjectPredicateCardinalityDistribution",
+          "memberFieldName": "subjectPredicateCardinalityDistribution"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_cardinalityTerm",
+          "memberFieldName": "cardinalityTerm"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_estimateSerializedTextBytes",
+          "memberFieldName": "estimateSerializedTextBytes"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_estimateDatabaseBytes",
+          "memberFieldName": "estimateDatabaseBytes"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_collectSpaceObjects",
+          "memberFieldName": "collectSpaceObjects"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_estimateSpaceObjectsFromSchema",
+          "memberFieldName": "estimateSpaceObjectsFromSchema"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_estimatePageSize",
+          "memberFieldName": "estimatePageSize"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_initializeSchema",
+          "memberFieldName": "initializeSchema"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_upsertSource",
+          "memberFieldName": "upsertSource"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_buildWhereClause",
+          "memberFieldName": "buildWhereClause"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_matchToCondition",
+          "memberFieldName": "matchToCondition"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_termTypeConditionJoin",
+          "memberFieldName": "termTypeConditionJoin"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_languageConditionJoin",
+          "memberFieldName": "languageConditionJoin"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_datatypeConditionJoin",
+          "memberFieldName": "datatypeConditionJoin"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_termRangeCondition",
+          "memberFieldName": "termRangeCondition"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_termOperatorLexicalValue",
+          "memberFieldName": "termOperatorLexicalValue"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_termOperatorNumericValue",
+          "memberFieldName": "termOperatorNumericValue"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_termKindsForPatternKey",
+          "memberFieldName": "termKindsForPatternKey"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_termOperatorValueId",
+          "memberFieldName": "termOperatorValueId"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_addTextSearchCondition",
+          "memberFieldName": "addTextSearchCondition"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_prefixSearchConditionJoin",
+          "memberFieldName": "prefixSearchConditionJoin"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_textSearchConditionJoin",
+          "memberFieldName": "textSearchConditionJoin"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_regexTextSearchConditionJoin",
+          "memberFieldName": "regexTextSearchConditionJoin"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_populateRegexCandidateTable",
+          "memberFieldName": "populateRegexCandidateTable"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_populateTermInCandidateTable",
+          "memberFieldName": "populateTermInCandidateTable"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_scopedQuadColumn",
+          "memberFieldName": "scopedQuadColumn"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_scopedSqlName",
+          "memberFieldName": "scopedSqlName"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_buildTupleConstraintJoin",
+          "memberFieldName": "buildTupleConstraintJoin"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_populateTupleConstraintTable",
+          "memberFieldName": "populateTupleConstraintTable"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_termIdForTupleConstraint",
+          "memberFieldName": "termIdForTupleConstraint"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_populateCandidateTable",
+          "memberFieldName": "populateCandidateTable"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_chooseIndex",
+          "memberFieldName": "chooseIndex"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_exactTermPattern",
+          "memberFieldName": "exactTermPattern"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_countExactTermPattern",
+          "memberFieldName": "countExactTermPattern"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_countExactDistinctTermPattern",
+          "memberFieldName": "countExactDistinctTermPattern"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_countExactDistinctTupleTermPattern",
+          "memberFieldName": "countExactDistinctTupleTermPattern"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_countDistinctPattern",
+          "memberFieldName": "countDistinctPattern"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_countDistinctTuplePattern",
+          "memberFieldName": "countDistinctTuplePattern"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_buildOrderClause",
+          "memberFieldName": "buildOrderClause"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_paginationParamCount",
+          "memberFieldName": "paginationParamCount"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_rowsToQuads",
+          "memberFieldName": "rowsToQuads"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_requiredTerm",
+          "memberFieldName": "requiredTerm"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_metrics",
+          "memberFieldName": "metrics"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_requireDb",
+          "memberFieldName": "requireDb"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex__member_requireDictionary",
+          "memberFieldName": "requireDictionary"
+        }
+      ],
+      "constructorArguments": [
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex_options__constructorArgument",
+          "fields": [
+            {
+              "keyRaw": "path",
+              "value": {
+                "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex_options_path"
+              }
+            },
+            {
+              "keyRaw": "debug",
+              "value": {
+                "@id": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex_options_debug"
+              }
+            }
+          ]
+        }
+      ]
+    }
+  ]
+}

package/dist/storage/rdf/RdfShadowComparator.d.ts

@@ -0,0 +1,12 @@
+import type { Quad } from '@rdfjs/types';
+import type { QuintStore } from '../quint/types';
+import type { RdfPatternQuery, RdfShadowDiff, RdfShadowScanResult } from './types';
+import { RdfQuadIndex } from './RdfQuadIndex';
+export declare class RdfShadowComparator {
+    private readonly primary;
+    private readonly compatibility;
+    constructor(primary: RdfQuadIndex, compatibility: QuintStore);
+    compareScan(query: RdfPatternQuery): Promise<RdfShadowScanResult>;
+}
+export declare function diffQuads(primary: Quad[], compatibility: Quad[]): RdfShadowDiff;
+export declare function canonicalQuadKey(quad: Quad): string;

package/dist/storage/rdf/RdfShadowComparator.js

@@ -0,0 +1,47 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RdfShadowComparator = void 0;
+exports.diffQuads = diffQuads;
+exports.canonicalQuadKey = canonicalQuadKey;
+const n3_1 = require("n3");
+class RdfShadowComparator {
+    constructor(primary, compatibility) {
+        this.primary = primary;
+        this.compatibility = compatibility;
+    }
+    async compareScan(query) {
+        const primaryResult = this.primary.scan(query.pattern, query.options);
+        const compatibilityResult = await this.compatibility.get(query.pattern, query.options);
+        const diff = diffQuads(primaryResult.quads, compatibilityResult);
+        const orderedMatch = orderedQuadKeys(primaryResult.quads).join('\n') === orderedQuadKeys(compatibilityResult).join('\n');
+        return {
+            matched: diff.missingFromPrimary.length === 0 && diff.extraInPrimary.length === 0,
+            orderedMatch,
+            primary: primaryResult.quads,
+            compatibility: compatibilityResult,
+            diff,
+            metrics: primaryResult.metrics,
+        };
+    }
+}
+exports.RdfShadowComparator = RdfShadowComparator;
+function orderedQuadKeys(quads) {
+    return quads.map(canonicalQuadKey);
+}
+function diffQuads(primary, compatibility) {
+    const primarySet = new Set(primary.map(canonicalQuadKey));
+    const compatibilitySet = new Set(compatibility.map(canonicalQuadKey));
+    return {
+        missingFromPrimary: Array.from(compatibilitySet).filter((key) => !primarySet.has(key)).sort(),
+        extraInPrimary: Array.from(primarySet).filter((key) => !compatibilitySet.has(key)).sort(),
+    };
+}
+function canonicalQuadKey(quad) {
+    return [
+        (0, n3_1.termToId)(quad.graph),
+        (0, n3_1.termToId)(quad.subject),
+        (0, n3_1.termToId)(quad.predicate),
+        (0, n3_1.termToId)(quad.object),
+    ].join('\u001f');
+}
+//# sourceMappingURL=RdfShadowComparator.js.map

package/dist/storage/rdf/RdfShadowComparator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RdfShadowComparator.js","sourceRoot":"","sources":["../../../src/storage/rdf/RdfShadowComparator.ts"],"names":[],"mappings":";;;AAgCA,8BAOC;AAED,4CAOC;AAhDD,2BAA8B;AAM9B,MAAa,mBAAmB;IAC9B,YACmB,OAAqB,EACrB,aAAyB;QADzB,YAAO,GAAP,OAAO,CAAc;QACrB,kBAAa,GAAb,aAAa,CAAY;IACzC,CAAC;IAEG,KAAK,CAAC,WAAW,CAAC,KAAsB;QAC7C,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QACtE,MAAM,mBAAmB,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QACvF,MAAM,IAAI,GAAG,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;QACjE,MAAM,YAAY,GAAG,eAAe,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,eAAe,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzH,OAAO;YACL,OAAO,EAAE,IAAI,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC;YACjF,YAAY;YACZ,OAAO,EAAE,aAAa,CAAC,KAAK;YAC5B,aAAa,EAAE,mBAAmB;YAClC,IAAI;YACJ,OAAO,EAAE,aAAa,CAAC,OAAO;SAC/B,CAAC;IACJ,CAAC;CACF;AApBD,kDAoBC;AAED,SAAS,eAAe,CAAC,KAAa;IACpC,OAAO,KAAK,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;AACrC,CAAC;AAED,SAAgB,SAAS,CAAC,OAAe,EAAE,aAAqB;IAC9D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAC1D,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACtE,OAAO;QACL,kBAAkB,EAAE,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE;QAC7F,cAAc,EAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE;KAC1F,CAAC;AACJ,CAAC;AAED,SAAgB,gBAAgB,CAAC,IAAU;IACzC,OAAO;QACL,IAAA,aAAQ,EAAC,IAAI,CAAC,KAAY,CAAC;QAC3B,IAAA,aAAQ,EAAC,IAAI,CAAC,OAAc,CAAC;QAC7B,IAAA,aAAQ,EAAC,IAAI,CAAC,SAAgB,CAAC;QAC/B,IAAA,aAAQ,EAAC,IAAI,CAAC,MAAa,CAAC;KAC7B,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AACnB,CAAC","sourcesContent":["import { termToId } from 'n3';\nimport type { Quad } from '@rdfjs/types';\nimport type { QuintStore } from '../quint/types';\nimport type { RdfPatternQuery, RdfShadowDiff, RdfShadowScanResult } from './types';\nimport { RdfQuadIndex } from './RdfQuadIndex';\n\nexport class RdfShadowComparator {\n  public constructor(\n    private readonly primary: RdfQuadIndex,\n    private readonly compatibility: QuintStore,\n  ) {}\n\n  public async compareScan(query: RdfPatternQuery): Promise<RdfShadowScanResult> {\n    const primaryResult = this.primary.scan(query.pattern, query.options);\n    const compatibilityResult = await this.compatibility.get(query.pattern, query.options);\n    const diff = diffQuads(primaryResult.quads, compatibilityResult);\n    const orderedMatch = orderedQuadKeys(primaryResult.quads).join('\\n') === orderedQuadKeys(compatibilityResult).join('\\n');\n    return {\n      matched: diff.missingFromPrimary.length === 0 && diff.extraInPrimary.length === 0,\n      orderedMatch,\n      primary: primaryResult.quads,\n      compatibility: compatibilityResult,\n      diff,\n      metrics: primaryResult.metrics,\n    };\n  }\n}\n\nfunction orderedQuadKeys(quads: Quad[]): string[] {\n  return quads.map(canonicalQuadKey);\n}\n\nexport function diffQuads(primary: Quad[], compatibility: Quad[]): RdfShadowDiff {\n  const primarySet = new Set(primary.map(canonicalQuadKey));\n  const compatibilitySet = new Set(compatibility.map(canonicalQuadKey));\n  return {\n    missingFromPrimary: Array.from(compatibilitySet).filter((key) => !primarySet.has(key)).sort(),\n    extraInPrimary: Array.from(primarySet).filter((key) => !compatibilitySet.has(key)).sort(),\n  };\n}\n\nexport function canonicalQuadKey(quad: Quad): string {\n  return [\n    termToId(quad.graph as any),\n    termToId(quad.subject as any),\n    termToId(quad.predicate as any),\n    termToId(quad.object as any),\n  ].join('\\u001f');\n}\n"]}

package/dist/storage/rdf/RdfSparqlAdapter.d.ts

@@ -0,0 +1,147 @@
+import type { SparqlQuery } from 'sparqljs';
+import type { Quad, Term } from '@rdfjs/types';
+import type { RdfLocalQuery, RdfBindingRow, RdfConstructTemplate, RdfQueryTermPattern } from './types';
+export interface RdfSparqlCompileResult {
+    query: RdfLocalQuery;
+    variables: string[];
+    queryType: 'SELECT' | 'ASK' | 'CONSTRUCT' | 'DESCRIBE';
+    constructTemplate?: RdfConstructTemplate[];
+    describeTargets?: RdfQueryTermPattern[];
+}
+export interface RdfSparqlInsertOperation {
+    type: 'insert';
+    quads: Quad[];
+}
+export interface RdfSparqlDeleteOperation {
+    type: 'delete';
+    quads: Quad[];
+}
+export interface RdfSparqlDeleteWhereTemplate {
+    graph: RdfQueryTermPattern;
+    subject: RdfQueryTermPattern;
+    predicate: RdfQueryTermPattern;
+    object: RdfQueryTermPattern;
+}
+export type RdfSparqlUpdateTemplate = RdfSparqlDeleteWhereTemplate;
+export interface RdfSparqlDeleteWhereOperation {
+    type: 'deleteWhere';
+    query: RdfLocalQuery;
+    template: RdfSparqlUpdateTemplate[];
+}
+export interface RdfSparqlInsertDeleteWhereOperation {
+    type: 'insertDeleteWhere';
+    query: RdfLocalQuery;
+    deletes: RdfSparqlUpdateTemplate[];
+    inserts: RdfSparqlUpdateTemplate[];
+}
+export interface RdfSparqlInsertWhereOperation {
+    type: 'insertWhere';
+    query: RdfLocalQuery;
+    inserts: RdfSparqlUpdateTemplate[];
+}
+export type RdfSparqlUpdateDeltaOperation = RdfSparqlInsertOperation | RdfSparqlDeleteOperation | RdfSparqlDeleteWhereOperation | RdfSparqlInsertDeleteWhereOperation | RdfSparqlInsertWhereOperation;
+export interface RdfSparqlUpdateDelta {
+    operations: RdfSparqlUpdateDeltaOperation[];
+    inserts: Quad[];
+    deletes: Quad[];
+}
+export declare class UnsupportedSparqlQueryError extends Error {
+    constructor(message: string);
+}
+export declare class DisabledSparqlFeatureError extends Error {
+    constructor(message: string);
+}
+export declare class RdfSparqlAdapter {
+    compile(query: string | SparqlQuery, basePath: string): RdfSparqlCompileResult;
+    compileUpdateDelta(query: string | SparqlQuery, basePath: string): RdfSparqlUpdateDelta;
+    private compileDeleteWhere;
+    private compileInsertDeleteWhere;
+    private compileUsingDatasetScope;
+    private compileUsingGraphs;
+    private compileQueryDatasetScope;
+    private compileQueryDatasetGraphs;
+    private queryFromClause;
+    private compileWithGraph;
+    private impossibleGraph;
+    private queryFromUpdateWhere;
+    private queryFromUpdateTemplate;
+    private compileGraphQuadsTemplate;
+    private assertSafeUpdateTemplatePattern;
+    private assertScopedUpdateWherePatterns;
+    private compileUpdateGraphQuads;
+    private compileUpdateTriple;
+    private compileUpdateNamedNode;
+    private compileUpdateObject;
+    private compilePatterns;
+    private compileUnionBranches;
+    private compileUnionBranch;
+    private compileMinusGroup;
+    private compileAntiJoinGroup;
+    private compileExistsGroup;
+    private notExistsPatterns;
+    private existsPatterns;
+    private unionBranchPatterns;
+    private compileBgp;
+    private compileGraphPattern;
+    private compileScopedGraphTerm;
+    private graphScopeContains;
+    private graphScopeFilterValues;
+    private compileBind;
+    private compileBindExpression;
+    private compileBindLikeExpression;
+    private compileTriple;
+    private compilePropertyPath;
+    private compilePathSegmentPredicate;
+    private flattenFixedLengthPath;
+    private flattenFixedAlternativePath;
+    private flattenFixedAlternativePathItem;
+    private flattenFixedLengthPathItem;
+    private compileGraphTerm;
+    private compileTerm;
+    materializeConstruct(template: RdfConstructTemplate[], rows: RdfBindingRow[], graph?: Term): Quad[];
+    materializeDeleteWhere(template: RdfSparqlUpdateTemplate[], rows: RdfBindingRow[]): Quad[];
+    private materializeTemplate;
+    private compileConstructTemplate;
+    private compileDescribeTargets;
+    private resolveTemplateTerm;
+    private compileSelectVariables;
+    private compileAggregateProjection;
+    private aggregateType;
+    private assertNumericAggregateSafe;
+    private compileSelectProjectionExpression;
+    private compileGroupBy;
+    private compileGroupByExpression;
+    private compileHaving;
+    private compileHavingFilter;
+    private compileHavingBinaryFilter;
+    private havingAggregateVariableOrUndefined;
+    private assertGroupProjection;
+    private compileOrder;
+    private compileOrderExpression;
+    private compileFilter;
+    private compileOrFilter;
+    private flattenOrExpressions;
+    private filterValueKey;
+    private compileBinaryFilter;
+    private compileTermTestFilter;
+    private compileFunctionComparisonFilter;
+    private stringLengthVariableOrUndefined;
+    private stringValueVariableOrUndefined;
+    private stringOperandVariable;
+    private stringOperandVariableOrUndefined;
+    private compileLangMatchesFilter;
+    private compileValuesRows;
+    private valuesTerm;
+    private compileNegatedFilter;
+    private expressionArg;
+    private expressionVariable;
+    private expressionVariableOrUndefined;
+    private filterValue;
+    private literalString;
+    private binaryFilter;
+    private reverseBinaryFilter;
+    private negatedBinaryFilter;
+    private stringFilter;
+    private normalizeFunctionCallExpression;
+    private xpathFunctionOperator;
+}