@comunica/actor-optimize-query-operation-leftjoin-expression-pushdown 4.4.0

package/LICENSE.txt

@@ -0,0 +1,22 @@
+The MIT License (MIT)
+
+Copyright © 2017–now Ruben Taelman, Joachim Van Herwegen
+Comunica Association and Ghent University – imec, Belgium
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.

package/README.md

@@ -0,0 +1,37 @@
+# Comunica LeftJoin Expression Pushdown Optimize Query Operation Actor
+
+[![npm version](https://badge.fury.io/js/%40comunica%2Factor-optimize-query-operation-leftjoin-expression-pushdown.svg)](https://www.npmjs.com/package/@comunica/actor-optimize-query-operation-leftjoin-expression-pushdown)
+
+An [Optimize Query Operation](https://github.com/comunica/comunica/tree/master/packages/bus-optimize-query-operation) actor
+that pushes down expressions in left joins into either the left-hand or right-hand operator
+if it overlaps with just one of them.
+
+This module is part of the [Comunica framework](https://github.com/comunica/comunica),
+and should only be used by [developers that want to build their own query engine](https://comunica.dev/docs/modify/).
+
+[Click here if you just want to query with Comunica](https://comunica.dev/docs/query/).
+
+## Install
+
+```bash
+$ yarn add @comunica/actor-optimize-query-operation-leftjoin-expression-pushdown
+```
+
+## Configure
+
+After installing, this package can be added to your engine's configuration as follows:
+```text
+{
+  "@context": [
+    ...
+    "https://linkedsoftwaredependencies.org/bundles/npm/@comunica/actor-optimize-query-operation-leftjoin-expression-pushdown/^1.0.0/components/context.jsonld"
+  ],
+  "actors": [
+    ...
+    {
+      "@id": "urn:comunica:default:optimize-query-operation/actors#leftjoin-expression-pushdown",
+      "@type": "ActorOptimizeQueryOperationLeftjoinExpressionPushdown"
+    }
+  ]
+}
+```

package/components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld

@@ -0,0 +1,181 @@
+{
+  "@context": [
+    "https://linkedsoftwaredependencies.org/bundles/npm/@comunica/actor-optimize-query-operation-leftjoin-expression-pushdown/^4.0.0/components/context.jsonld",
+    "https://linkedsoftwaredependencies.org/bundles/npm/@comunica/bus-optimize-query-operation/^4.0.0/components/context.jsonld",
+    "https://linkedsoftwaredependencies.org/bundles/npm/@comunica/core/^4.0.0/components/context.jsonld"
+  ],
+  "@id": "npmd:@comunica/actor-optimize-query-operation-leftjoin-expression-pushdown",
+  "components": [
+    {
+      "@id": "caoqolep:components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld#ActorOptimizeQueryOperationLeftjoinExpressionPushdown",
+      "@type": "Class",
+      "requireElement": "ActorOptimizeQueryOperationLeftjoinExpressionPushdown",
+      "extends": [
+        "cboqo:components/ActorOptimizeQueryOperation.jsonld#ActorOptimizeQueryOperation"
+      ],
+      "comment": "A comunica LeftJoin Expression Pushdown Optimize Query Operation Actor.",
+      "parameters": [
+        {
+          "@id": "caoqolep:components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld#ActorOptimizeQueryOperationLeftjoinExpressionPushdown_args_name",
+          "range": "xsd:string",
+          "default": {
+            "@id": "rdf:subject"
+          },
+          "comment": "The name for this actor."
+        },
+        {
+          "@id": "caoqolep:components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld#ActorOptimizeQueryOperationLeftjoinExpressionPushdown_args_bus",
+          "range": {
+            "@type": "ParameterRangeGenericComponent",
+            "component": "cc:components/Bus.jsonld#Bus",
+            "genericTypeInstances": [
+              {
+                "@type": "ParameterRangeGenericComponent",
+                "component": "cc:components/Actor.jsonld#Actor",
+                "genericTypeInstances": [
+                  {
+                    "@type": "ParameterRangeGenericTypeReference",
+                    "parameterRangeGenericType": "npmd:@comunica/actor-abstract-mediatyped/^4.0.0/components/ActorAbstractMediaTyped.jsonld#ActorAbstractMediaTyped__generic_I"
+                  },
+                  {
+                    "@type": "ParameterRangeGenericTypeReference",
+                    "parameterRangeGenericType": "npmd:@comunica/actor-abstract-mediatyped/^4.0.0/components/ActorAbstractMediaTyped.jsonld#ActorAbstractMediaTyped__generic_T"
+                  },
+                  {
+                    "@type": "ParameterRangeGenericTypeReference",
+                    "parameterRangeGenericType": "npmd:@comunica/actor-abstract-mediatyped/^4.0.0/components/ActorAbstractMediaTyped.jsonld#ActorAbstractMediaTyped__generic_O"
+                  },
+                  {
+                    "@type": "ParameterRangeGenericTypeReference",
+                    "parameterRangeGenericType": "npmd:@comunica/actor-abstract-mediatyped/^4.0.0/components/ActorAbstractMediaTyped.jsonld#ActorAbstractMediaTyped__generic_TS"
+                  }
+                ]
+              },
+              {
+                "@type": "ParameterRangeGenericTypeReference",
+                "parameterRangeGenericType": "npmd:@comunica/actor-abstract-mediatyped/^4.0.0/components/ActorAbstractMediaTyped.jsonld#ActorAbstractMediaTyped__generic_I"
+              },
+              {
+                "@type": "ParameterRangeGenericTypeReference",
+                "parameterRangeGenericType": "npmd:@comunica/actor-abstract-mediatyped/^4.0.0/components/ActorAbstractMediaTyped.jsonld#ActorAbstractMediaTyped__generic_T"
+              },
+              {
+                "@type": "ParameterRangeGenericTypeReference",
+                "parameterRangeGenericType": "npmd:@comunica/actor-abstract-mediatyped/^4.0.0/components/ActorAbstractMediaTyped.jsonld#ActorAbstractMediaTyped__generic_O"
+              },
+              {
+                "@type": "ParameterRangeGenericTypeReference",
+                "parameterRangeGenericType": "npmd:@comunica/actor-abstract-mediatyped/^4.0.0/components/ActorAbstractMediaTyped.jsonld#ActorAbstractMediaTyped__generic_TS"
+              }
+            ]
+          },
+          "default": {
+            "@id": "cboqo:components/ActorOptimizeQueryOperation.jsonld#ActorOptimizeQueryOperation_default_bus",
+            "@type": "cc:components/Bus.jsonld#Bus"
+          },
+          "comment": "The bus this actor subscribes to."
+        },
+        {
+          "@id": "caoqolep:components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld#ActorOptimizeQueryOperationLeftjoinExpressionPushdown_args_busFailMessage",
+          "range": {
+            "@type": "ParameterRangeUnion",
+            "parameterRangeElements": [
+              "xsd:string",
+              {
+                "@type": "ParameterRangeUndefined"
+              }
+            ]
+          },
+          "default": "Query optimization failed: none of the configured actors were able to optimize",
+          "comment": "The message that will be configured in the bus for reporting failures.  This message may be a template string that contains references to the executed `action`. For example, the following templated string is allowed: \"RDF dereferencing failed: no actors could handle ${action.handle.mediaType}\""
+        },
+        {
+          "@id": "caoqolep:components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld#ActorOptimizeQueryOperationLeftjoinExpressionPushdown_args_beforeActors",
+          "range": {
+            "@type": "ParameterRangeUnion",
+            "parameterRangeElements": [
+              {
+                "@type": "ParameterRangeArray",
+                "parameterRangeValue": {
+                  "@type": "ParameterRangeGenericComponent",
+                  "component": "cc:components/Actor.jsonld#Actor",
+                  "genericTypeInstances": [
+                    {
+                      "@type": "ParameterRangeGenericTypeReference",
+                      "parameterRangeGenericType": "npmd:@comunica/actor-abstract-mediatyped/^4.0.0/components/ActorAbstractMediaTyped.jsonld#ActorAbstractMediaTyped__generic_I"
+                    },
+                    {
+                      "@type": "ParameterRangeGenericTypeReference",
+                      "parameterRangeGenericType": "npmd:@comunica/actor-abstract-mediatyped/^4.0.0/components/ActorAbstractMediaTyped.jsonld#ActorAbstractMediaTyped__generic_T"
+                    },
+                    {
+                      "@type": "ParameterRangeGenericTypeReference",
+                      "parameterRangeGenericType": "npmd:@comunica/actor-abstract-mediatyped/^4.0.0/components/ActorAbstractMediaTyped.jsonld#ActorAbstractMediaTyped__generic_O"
+                    },
+                    {
+                      "@type": "ParameterRangeGenericTypeReference",
+                      "parameterRangeGenericType": "npmd:@comunica/actor-abstract-mediatyped/^4.0.0/components/ActorAbstractMediaTyped.jsonld#ActorAbstractMediaTyped__generic_TS"
+                    }
+                  ]
+                }
+              },
+              {
+                "@type": "ParameterRangeUndefined"
+              }
+            ]
+          },
+          "comment": "Actor that must be registered in the bus before this actor."
+        }
+      ],
+      "memberFields": [
+        {
+          "@id": "caoqolep:components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld#ActorOptimizeQueryOperationLeftjoinExpressionPushdown__member_constructor",
+          "memberFieldName": "constructor"
+        },
+        {
+          "@id": "caoqolep:components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld#ActorOptimizeQueryOperationLeftjoinExpressionPushdown__member_test",
+          "memberFieldName": "test"
+        },
+        {
+          "@id": "caoqolep:components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld#ActorOptimizeQueryOperationLeftjoinExpressionPushdown__member_run",
+          "memberFieldName": "run"
+        },
+        {
+          "@id": "caoqolep:components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld#ActorOptimizeQueryOperationLeftjoinExpressionPushdown__member_variablesIntersect",
+          "memberFieldName": "variablesIntersect"
+        }
+      ],
+      "constructorArguments": [
+        {
+          "@id": "caoqolep:components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld#ActorOptimizeQueryOperationLeftjoinExpressionPushdown_args__constructorArgument",
+          "fields": [
+            {
+              "keyRaw": "name",
+              "value": {
+                "@id": "caoqolep:components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld#ActorOptimizeQueryOperationLeftjoinExpressionPushdown_args_name"
+              }
+            },
+            {
+              "keyRaw": "bus",
+              "value": {
+                "@id": "caoqolep:components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld#ActorOptimizeQueryOperationLeftjoinExpressionPushdown_args_bus"
+              }
+            },
+            {
+              "keyRaw": "busFailMessage",
+              "value": {
+                "@id": "caoqolep:components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld#ActorOptimizeQueryOperationLeftjoinExpressionPushdown_args_busFailMessage"
+              }
+            },
+            {
+              "keyRaw": "beforeActors",
+              "value": {
+                "@id": "caoqolep:components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld#ActorOptimizeQueryOperationLeftjoinExpressionPushdown_args_beforeActors"
+              }
+            }
+          ]
+        }
+      ]
+    }
+  ]
+}

package/components/components.jsonld

@@ -0,0 +1,11 @@
+{
+  "@context": [
+    "https://linkedsoftwaredependencies.org/bundles/npm/@comunica/actor-optimize-query-operation-leftjoin-expression-pushdown/^4.0.0/components/context.jsonld"
+  ],
+  "@id": "npmd:@comunica/actor-optimize-query-operation-leftjoin-expression-pushdown",
+  "@type": "Module",
+  "requireName": "@comunica/actor-optimize-query-operation-leftjoin-expression-pushdown",
+  "import": [
+    "caoqolep:components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld"
+  ]
+}

package/components/context.jsonld

@@ -0,0 +1,41 @@
+{
+  "@context": [
+    "https://linkedsoftwaredependencies.org/bundles/npm/componentsjs/^6.0.0/components/context.jsonld",
+    {
+      "npmd": "https://linkedsoftwaredependencies.org/bundles/npm/",
+      "caoqolep": "npmd:@comunica/actor-optimize-query-operation-leftjoin-expression-pushdown/^4.0.0/",
+      "ActorOptimizeQueryOperationLeftjoinExpressionPushdown": {
+        "@id": "caoqolep:components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld#ActorOptimizeQueryOperationLeftjoinExpressionPushdown",
+        "@prefix": true,
+        "@context": {
+          "args_name": {
+            "@id": "caoqolep:components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld#ActorOptimizeQueryOperationLeftjoinExpressionPushdown_args_name"
+          },
+          "args_bus": {
+            "@id": "caoqolep:components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld#ActorOptimizeQueryOperationLeftjoinExpressionPushdown_args_bus"
+          },
+          "args_busFailMessage": {
+            "@id": "caoqolep:components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld#ActorOptimizeQueryOperationLeftjoinExpressionPushdown_args_busFailMessage"
+          },
+          "args_beforeActors": {
+            "@id": "caoqolep:components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld#ActorOptimizeQueryOperationLeftjoinExpressionPushdown_args_beforeActors",
+            "@container": "@list"
+          },
+          "name": {
+            "@id": "caoqolep:components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld#ActorOptimizeQueryOperationLeftjoinExpressionPushdown_args_name"
+          },
+          "bus": {
+            "@id": "caoqolep:components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld#ActorOptimizeQueryOperationLeftjoinExpressionPushdown_args_bus"
+          },
+          "busFailMessage": {
+            "@id": "caoqolep:components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld#ActorOptimizeQueryOperationLeftjoinExpressionPushdown_args_busFailMessage"
+          },
+          "beforeActors": {
+            "@id": "caoqolep:components/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.jsonld#ActorOptimizeQueryOperationLeftjoinExpressionPushdown_args_beforeActors",
+            "@container": "@list"
+          }
+        }
+      }
+    }
+  ]
+}

package/lib/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.d.ts

@@ -0,0 +1,18 @@
+import type { IActionOptimizeQueryOperation, IActorOptimizeQueryOperationOutput, IActorOptimizeQueryOperationArgs } from '@comunica/bus-optimize-query-operation';
+import { ActorOptimizeQueryOperation } from '@comunica/bus-optimize-query-operation';
+import type { TestResult, IActorTest } from '@comunica/core';
+import type * as RDF from '@rdfjs/types';
+/**
+ * A comunica LeftJoin Expression Pushdown Optimize Query Operation Actor.
+ */
+export declare class ActorOptimizeQueryOperationLeftjoinExpressionPushdown extends ActorOptimizeQueryOperation {
+    constructor(args: IActorOptimizeQueryOperationArgs);
+    test(_action: IActionOptimizeQueryOperation): Promise<TestResult<IActorTest>>;
+    run(action: IActionOptimizeQueryOperation): Promise<IActorOptimizeQueryOperationOutput>;
+    /**
+     * Check if there is an overlap between the two given lists of variables.
+     * @param varsA A list of variables.
+     * @param varsB A list of variables.
+     */
+    variablesIntersect(varsA: RDF.Variable[], varsB: RDF.Variable[]): boolean;
+}

package/lib/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.js

@@ -0,0 +1,67 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ActorOptimizeQueryOperationLeftjoinExpressionPushdown = void 0;
+const bus_optimize_query_operation_1 = require("@comunica/bus-optimize-query-operation");
+const context_entries_1 = require("@comunica/context-entries");
+const core_1 = require("@comunica/core");
+const utils_query_operation_1 = require("@comunica/utils-query-operation");
+const sparqlalgebrajs_1 = require("sparqlalgebrajs");
+/**
+ * A comunica LeftJoin Expression Pushdown Optimize Query Operation Actor.
+ */
+class ActorOptimizeQueryOperationLeftjoinExpressionPushdown extends bus_optimize_query_operation_1.ActorOptimizeQueryOperation {
+    constructor(args) {
+        super(args);
+    }
+    async test(_action) {
+        return (0, core_1.passTestVoid)();
+    }
+    async run(action) {
+        const dataFactory = action.context.getSafe(context_entries_1.KeysInitQuery.dataFactory);
+        const algebraFactory = new sparqlalgebrajs_1.Factory(dataFactory);
+        let operation = action.operation;
+        // eslint-disable-next-line ts/no-this-alias
+        const self = this;
+        operation = sparqlalgebrajs_1.Util.mapOperation(operation, {
+            leftjoin(op, factory) {
+                // Try to push the expression to either the left or right if it exclusively overlaps with just one of them.
+                if (op.expression) {
+                    const variablesExpression = (0, utils_query_operation_1.getExpressionVariables)(op.expression);
+                    const variablesLeft = sparqlalgebrajs_1.Util.inScopeVariables(op.input[0]);
+                    const variablesRight = sparqlalgebrajs_1.Util.inScopeVariables(op.input[1]);
+                    const intersectLeft = self.variablesIntersect(variablesExpression, variablesLeft);
+                    const intersectRight = self.variablesIntersect(variablesExpression, variablesRight);
+                    if (intersectLeft && !intersectRight) {
+                        self.logDebug(action.context, `Pushed down optional expression to left-hand operator`);
+                        return {
+                            recurse: true,
+                            result: factory.createLeftJoin(factory.createFilter(op.input[0], op.expression), op.input[1]),
+                        };
+                    }
+                    if (!intersectLeft && intersectRight) {
+                        self.logDebug(action.context, `Pushed down optional expression to right-hand operator`);
+                        return {
+                            recurse: true,
+                            result: factory.createLeftJoin(op.input[0], factory.createFilter(op.input[1], op.expression)),
+                        };
+                    }
+                }
+                return {
+                    recurse: true,
+                    result: op,
+                };
+            },
+        }, algebraFactory);
+        return { operation, context: action.context };
+    }
+    /**
+     * Check if there is an overlap between the two given lists of variables.
+     * @param varsA A list of variables.
+     * @param varsB A list of variables.
+     */
+    variablesIntersect(varsA, varsB) {
+        return varsA.some(varA => varsB.some(varB => varA.equals(varB)));
+    }
+}
+exports.ActorOptimizeQueryOperationLeftjoinExpressionPushdown = ActorOptimizeQueryOperationLeftjoinExpressionPushdown;
+//# sourceMappingURL=ActorOptimizeQueryOperationLeftjoinExpressionPushdown.js.map

package/lib/ActorOptimizeQueryOperationLeftjoinExpressionPushdown.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ActorOptimizeQueryOperationLeftjoinExpressionPushdown.js","sourceRoot":"","sources":["ActorOptimizeQueryOperationLeftjoinExpressionPushdown.ts"],"names":[],"mappings":";;;AAKA,yFAAqF;AACrF,+DAA0D;AAE1D,yCAA8C;AAE9C,2EAAyE;AAGzE,qDAAgD;AAEhD;;GAEG;AACH,MAAa,qDAAsD,SAAQ,0DAA2B;IACpG,YAAmB,IAAsC;QACvD,KAAK,CAAC,IAAI,CAAC,CAAC;IACd,CAAC;IAEM,KAAK,CAAC,IAAI,CAAC,OAAsC;QACtD,OAAO,IAAA,mBAAY,GAAE,CAAC;IACxB,CAAC;IAEM,KAAK,CAAC,GAAG,CAAC,MAAqC;QACpD,MAAM,WAAW,GAAwB,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,+BAAa,CAAC,WAAW,CAAC,CAAC;QAC3F,MAAM,cAAc,GAAG,IAAI,yBAAO,CAAC,WAAW,CAAC,CAAC;QAChD,IAAI,SAAS,GAAsB,MAAM,CAAC,SAAS,CAAC;QAEpD,4CAA4C;QAC5C,MAAM,IAAI,GAAG,IAAI,CAAC;QAClB,SAAS,GAAG,sBAAI,CAAC,YAAY,CAAC,SAAS,EAAE;YACvC,QAAQ,CAAC,EAAoB,EAAE,OAAgB;gBAC7C,2GAA2G;gBAC3G,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;oBAClB,MAAM,mBAAmB,GAAG,IAAA,8CAAsB,EAAC,EAAE,CAAC,UAAU,CAAC,CAAC;oBAClE,MAAM,aAAa,GAAG,sBAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;oBACzD,MAAM,cAAc,GAAG,sBAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC1D,MAAM,aAAa,GAAG,IAAI,CAAC,kBAAkB,CAAC,mBAAmB,EAAE,aAAa,CAAC,CAAC;oBAClF,MAAM,cAAc,GAAG,IAAI,CAAC,kBAAkB,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAC;oBACpF,IAAI,aAAa,IAAI,CAAC,cAAc,EAAE,CAAC;wBACrC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,EAAE,uDAAuD,CAAC,CAAC;wBACvF,OAAO;4BACL,OAAO,EAAE,IAAI;4BACb,MAAM,EAAE,OAAO,CAAC,cAAc,CAC5B,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,EAChD,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CACZ;yBACF,CAAC;oBACJ,CAAC;oBACD,IAAI,CAAC,aAAa,IAAI,cAAc,EAAE,CAAC;wBACrC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,EAAE,wDAAwD,CAAC,CAAC;wBACxF,OAAO;4BACL,OAAO,EAAE,IAAI;4BACb,MAAM,EAAE,OAAO,CAAC,cAAc,CAC5B,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EACX,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CACjD;yBACF,CAAC;oBACJ,CAAC;gBACH,CAAC;gBAED,OAAO;oBACL,OAAO,EAAE,IAAI;oBACb,MAAM,EAAE,EAAE;iBACX,CAAC;YACJ,CAAC;SACF,EAAE,cAAc,CAAC,CAAC;QAEnB,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;IAChD,CAAC;IAED;;;;OAIG;IACI,kBAAkB,CAAC,KAAqB,EAAE,KAAqB;QACpE,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnE,CAAC;CACF;AAjED,sHAiEC","sourcesContent":["import type {\n  IActionOptimizeQueryOperation,\n  IActorOptimizeQueryOperationOutput,\n  IActorOptimizeQueryOperationArgs,\n} from '@comunica/bus-optimize-query-operation';\nimport { ActorOptimizeQueryOperation } from '@comunica/bus-optimize-query-operation';\nimport { KeysInitQuery } from '@comunica/context-entries';\nimport type { TestResult, IActorTest } from '@comunica/core';\nimport { passTestVoid } from '@comunica/core';\nimport type { ComunicaDataFactory } from '@comunica/types';\nimport { getExpressionVariables } from '@comunica/utils-query-operation';\nimport type * as RDF from '@rdfjs/types';\nimport type { Algebra } from 'sparqlalgebrajs';\nimport { Factory, Util } from 'sparqlalgebrajs';\n\n/**\n * A comunica LeftJoin Expression Pushdown Optimize Query Operation Actor.\n */\nexport class ActorOptimizeQueryOperationLeftjoinExpressionPushdown extends ActorOptimizeQueryOperation {\n  public constructor(args: IActorOptimizeQueryOperationArgs) {\n    super(args);\n  }\n\n  public async test(_action: IActionOptimizeQueryOperation): Promise<TestResult<IActorTest>> {\n    return passTestVoid();\n  }\n\n  public async run(action: IActionOptimizeQueryOperation): Promise<IActorOptimizeQueryOperationOutput> {\n    const dataFactory: ComunicaDataFactory = action.context.getSafe(KeysInitQuery.dataFactory);\n    const algebraFactory = new Factory(dataFactory);\n    let operation: Algebra.Operation = action.operation;\n\n    // eslint-disable-next-line ts/no-this-alias\n    const self = this;\n    operation = Util.mapOperation(operation, {\n      leftjoin(op: Algebra.LeftJoin, factory: Factory) {\n        // Try to push the expression to either the left or right if it exclusively overlaps with just one of them.\n        if (op.expression) {\n          const variablesExpression = getExpressionVariables(op.expression);\n          const variablesLeft = Util.inScopeVariables(op.input[0]);\n          const variablesRight = Util.inScopeVariables(op.input[1]);\n          const intersectLeft = self.variablesIntersect(variablesExpression, variablesLeft);\n          const intersectRight = self.variablesIntersect(variablesExpression, variablesRight);\n          if (intersectLeft && !intersectRight) {\n            self.logDebug(action.context, `Pushed down optional expression to left-hand operator`);\n            return {\n              recurse: true,\n              result: factory.createLeftJoin(\n                factory.createFilter(op.input[0], op.expression),\n                op.input[1],\n              ),\n            };\n          }\n          if (!intersectLeft && intersectRight) {\n            self.logDebug(action.context, `Pushed down optional expression to right-hand operator`);\n            return {\n              recurse: true,\n              result: factory.createLeftJoin(\n                op.input[0],\n                factory.createFilter(op.input[1], op.expression),\n              ),\n            };\n          }\n        }\n\n        return {\n          recurse: true,\n          result: op,\n        };\n      },\n    }, algebraFactory);\n\n    return { operation, context: action.context };\n  }\n\n  /**\n   * Check if there is an overlap between the two given lists of variables.\n   * @param varsA A list of variables.\n   * @param varsB A list of variables.\n   */\n  public variablesIntersect(varsA: RDF.Variable[], varsB: RDF.Variable[]): boolean {\n    return varsA.some(varA => varsB.some(varB => varA.equals(varB)));\n  }\n}\n"]}

package/lib/index.d.ts

@@ -0,0 +1 @@
+export * from './ActorOptimizeQueryOperationLeftjoinExpressionPushdown';

package/lib/index.js

@@ -0,0 +1,18 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./ActorOptimizeQueryOperationLeftjoinExpressionPushdown"), exports);
+//# sourceMappingURL=index.js.map

package/lib/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,0FAAwE","sourcesContent":["export * from './ActorOptimizeQueryOperationLeftjoinExpressionPushdown';\n"]}

package/package.json

@@ -0,0 +1,53 @@
+{
+  "name": "@comunica/actor-optimize-query-operation-leftjoin-expression-pushdown",
+  "version": "4.4.0",
+  "description": "A leftjoin-expression-pushdown optimize-query-operation actor",
+  "lsd:module": true,
+  "license": "MIT",
+  "funding": {
+    "type": "opencollective",
+    "url": "https://opencollective.com/comunica-association"
+  },
+  "homepage": "https://comunica.dev/",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/comunica/comunica.git",
+    "directory": "packages/actor-optimize-query-operation-leftjoin-expression-pushdown"
+  },
+  "bugs": {
+    "url": "https://github.com/comunica/comunica/issues"
+  },
+  "keywords": [
+    "comunica",
+    "actor",
+    "optimize-query-operation",
+    "leftjoin-expression-pushdown"
+  ],
+  "sideEffects": false,
+  "main": "lib/index.js",
+  "typings": "lib/index",
+  "publishConfig": {
+    "access": "public"
+  },
+  "files": [
+    "components",
+    "lib/**/*.d.ts",
+    "lib/**/*.js",
+    "lib/**/*.js.map"
+  ],
+  "scripts": {
+    "build": "yarn run build:ts && yarn run build:components",
+    "build:ts": "node \"../../node_modules/typescript/bin/tsc\"",
+    "build:components": "componentsjs-generator"
+  },
+  "dependencies": {
+    "@comunica/bus-optimize-query-operation": "^4.4.0",
+    "@comunica/context-entries": "^4.4.0",
+    "@comunica/core": "^4.4.0",
+    "@comunica/types": "^4.4.0",
+    "@comunica/utils-query-operation": "^4.4.0",
+    "@rdfjs/types": "*",
+    "sparqlalgebrajs": "^4.3.8"
+  },
+  "gitHead": "27acde56dfe0c1ff1162c1f46818ad752296ca88"
+}