jinaga-server 1.0.0

package/dist/postgres/specification-result-sql.js

@@ -0,0 +1,260 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.resultSqlFromSpecification = exports.ResultComposer = void 0;
+const maps_1 = require("./maps");
+const query_description_1 = require("./query-description");
+const query_description_builder_1 = require("./query-description-builder");
+class ResultComposer {
+    constructor(sqlQuery, resultProjection, parentFactIdLength, childResultComposers) {
+        this.sqlQuery = sqlQuery;
+        this.resultProjection = resultProjection;
+        this.parentFactIdLength = parentFactIdLength;
+        this.childResultComposers = childResultComposers;
+    }
+    getSqlQueries() {
+        const childQueries = [];
+        for (const childResultComposer of this.childResultComposers) {
+            childQueries.push((Object.assign({ name: childResultComposer.name }, childResultComposer.resultComposer.getSqlQueries())));
+        }
+        return {
+            sqlQuery: this.sqlQuery,
+            childQueries
+        };
+    }
+    compose(resultSets) {
+        const childResults = this.composeInternal(resultSets);
+        if (childResults.length === 0) {
+            return [];
+        }
+        else {
+            return childResults[0].results;
+        }
+    }
+    composeInternal(resultSets) {
+        const rows = resultSets.resultSet;
+        if (rows.length === 0) {
+            return [];
+        }
+        // Project all rows and their identifiers
+        const identifiedResults = rows.map(row => ({
+            factIds: this.identifierOf(row),
+            result: this.projectionOf(row)
+        }));
+        // Compose child results
+        for (const childResultComposer of this.childResultComposers) {
+            const childResultSet = resultSets.childResultSets.find(childResultSet => childResultSet.name === childResultComposer.name);
+            if (!childResultSet) {
+                const availableNames = resultSets.childResultSets.map(childResultSet => childResultSet.name);
+                throw new Error(`Child result set ${childResultComposer.name} not found in (${availableNames.join(", ")})`);
+            }
+            const composedResults = childResultComposer.resultComposer.composeInternal(childResultSet);
+            // Add the child results
+            let index = 0;
+            for (const identifiedResult of identifiedResults) {
+                let results = [];
+                if (index < composedResults.length && idsEqual(identifiedResult.factIds, composedResults[index].parentFactIds)) {
+                    results = composedResults[index].results;
+                    index++;
+                }
+                identifiedResult.result = Object.assign(Object.assign({}, identifiedResult.result), { [childResultComposer.name]: results });
+            }
+        }
+        // Group the results by their parent identifiers
+        const childResults = [];
+        let parentFactIds = identifiedResults[0].factIds.slice(0, this.parentFactIdLength);
+        let results = [identifiedResults[0].result];
+        for (const identifiedResult of identifiedResults.slice(1)) {
+            const nextParentFactIds = identifiedResult.factIds.slice(0, this.parentFactIdLength);
+            if (idsEqual(nextParentFactIds, parentFactIds)) {
+                results.push(identifiedResult.result);
+            }
+            else {
+                childResults.push({
+                    parentFactIds,
+                    results
+                });
+                parentFactIds = nextParentFactIds;
+                results = [identifiedResult.result];
+            }
+        }
+        childResults.push({
+            parentFactIds,
+            results
+        });
+        return childResults;
+    }
+    identifierOf(row) {
+        return this.sqlQuery.labels.map(label => row[`id${label.index}`]);
+    }
+    projectionOf(row) {
+        if (!Array.isArray(this.resultProjection)) {
+            return this.singularValue(this.resultProjection, row);
+        }
+        else if (this.resultProjection.length === 0 && this.childResultComposers.length === 0) {
+            return this.sqlQuery.labels
+                .slice(this.parentFactIdLength)
+                .reduce((acc, label) => (Object.assign(Object.assign({}, acc), { [label.name]: row[`data${label.index}`].fields })), {});
+        }
+        else {
+            return this.resultProjection.reduce((acc, elementProjection) => (Object.assign(Object.assign({}, acc), { [elementProjection.name]: this.elementValue(elementProjection, row) })), {});
+        }
+    }
+    elementValue(projection, row) {
+        const label = this.getLabel(projection.label);
+        if (projection.type === "field") {
+            return row[`data${label.index}`].fields[projection.field];
+        }
+        else if (projection.type === "hash") {
+            return row[`hash${label.index}`];
+        }
+    }
+    singularValue(projection, row) {
+        const label = this.getLabel(projection.label);
+        return row[`data${label.index}`].fields[projection.field];
+    }
+    getLabel(name) {
+        const label = this.sqlQuery.labels.find(label => label.name === name);
+        if (!label) {
+            throw new Error(`Label ${name} not found. Known labels: ${this.sqlQuery.labels.map(label => label.name).join(", ")}`);
+        }
+        return label;
+    }
+}
+exports.ResultComposer = ResultComposer;
+class ResultDescriptionBuilder extends query_description_builder_1.QueryDescriptionBuilder {
+    constructor(factTypes, roleMap) {
+        super(factTypes, roleMap);
+    }
+    buildDescription(start, specification) {
+        // Verify that the number of start facts equals the number of inputs
+        if (start.length !== specification.given.length) {
+            throw new Error(`The number of start facts (${start.length}) does not equal the number of inputs (${specification.given.length})`);
+        }
+        // Verify that the input type matches the start fact type
+        for (let i = 0; i < start.length; i++) {
+            if (start[i].type !== specification.given[i].type) {
+                throw new Error(`The type of start fact ${i} (${start[i].type}) does not match the type of input ${i} (${specification.given[i].type})`);
+            }
+        }
+        // Allocate a fact table for each given.
+        // While the fact type and hash parameters are zero, the join will not be written.
+        const inputs = specification.given
+            .map((label, i) => ({
+            label: label.name,
+            factIndex: i + 1,
+            factTypeId: (0, maps_1.getFactTypeId)(this.factTypes, label.type),
+            factHash: start[i].hash,
+            factTypeParameter: 0,
+            factHashParameter: 0
+        }));
+        const facts = specification.given
+            .map((label, i) => ({
+            factIndex: i + 1,
+            type: label.type
+        }));
+        const givenFacts = specification.given.reduce((knownFacts, label, i) => (Object.assign(Object.assign({}, knownFacts), { [label.name]: facts[i] })), {});
+        // The QueryDescription is an immutable data type.
+        // Initialize it with the inputs and facts.
+        // The DescriptionBuilder will branch at various points, and
+        // build on the current query description along each branch.
+        const initialQueryDescription = new query_description_1.QueryDescription(inputs, [], [], facts, [], []);
+        return this.createResultDescription(initialQueryDescription, specification.matches, specification.childProjections, givenFacts, []);
+    }
+    createResultDescription(queryDescription, matches, childProjections, knownFacts, path) {
+        ({ queryDescription, knownFacts } = this.addEdges(queryDescription, knownFacts, path, matches));
+        if (!queryDescription.isSatisfiable()) {
+            // Abort the branch if the query is not satisfiable
+            return {
+                queryDescription,
+                resultProjection: [],
+                childResultDescriptions: []
+            };
+        }
+        const childResultDescriptions = [];
+        if (Array.isArray(childProjections)) {
+            const specificationProjections = childProjections
+                .filter(projection => projection.type === "specification");
+            const elementProjections = childProjections
+                .filter(projection => projection.type === "field" || projection.type === "hash");
+            for (const child of specificationProjections) {
+                const childResultDescription = this.createResultDescription(queryDescription, child.matches, child.childProjections, knownFacts, []);
+                childResultDescriptions.push(Object.assign({ name: child.name }, childResultDescription));
+            }
+            return {
+                queryDescription,
+                resultProjection: elementProjections,
+                childResultDescriptions
+            };
+        }
+        else {
+            return {
+                queryDescription,
+                resultProjection: childProjections,
+                childResultDescriptions: []
+            };
+        }
+    }
+    addEdges(queryDescription, knownFacts, path, matches) {
+        for (const match of matches) {
+            for (const condition of match.conditions) {
+                if (condition.type === "path") {
+                    ({ queryDescription, knownFacts } = this.addPathCondition(queryDescription, knownFacts, path, match.unknown, "", condition));
+                }
+                else if (condition.type === "existential") {
+                    if (condition.exists) {
+                        // Include the edges of the existential condition into the current
+                        // query description.
+                        ({ queryDescription } = this.addEdges(queryDescription, knownFacts, path, condition.matches));
+                    }
+                    else {
+                        // Apply the where clause and continue with the tuple where it is true.
+                        // The path describes which not-exists condition we are currently building on.
+                        // Because the path is not empty, labeled facts will be included in the output.
+                        const { query: queryDescriptionWithNotExist, path: conditionalPath } = queryDescription.withNotExistsCondition(path);
+                        const { queryDescription: queryDescriptionConditional } = this.addEdges(queryDescriptionWithNotExist, knownFacts, conditionalPath, condition.matches);
+                        // If the negative existential condition is not satisfiable, then
+                        // that means that the condition will always be true.
+                        // We can therefore skip the branch for the negative existential condition.
+                        if (queryDescriptionConditional.isSatisfiable()) {
+                            queryDescription = queryDescriptionConditional;
+                        }
+                    }
+                }
+                if (!queryDescription.isSatisfiable()) {
+                    break;
+                }
+            }
+            if (!queryDescription.isSatisfiable()) {
+                break;
+            }
+        }
+        return {
+            queryDescription,
+            knownFacts
+        };
+    }
+}
+function idsEqual(a, b) {
+    return a.every((value, index) => value === b[index]);
+}
+function resultSqlFromSpecification(start, specification, factTypes, roleMap) {
+    const descriptionBuilder = new ResultDescriptionBuilder(factTypes, roleMap);
+    const description = descriptionBuilder.buildDescription(start, specification);
+    if (!description.queryDescription.isSatisfiable()) {
+        return null;
+    }
+    return createResultComposer(description, 0);
+}
+exports.resultSqlFromSpecification = resultSqlFromSpecification;
+function createResultComposer(description, parentFactIdLength) {
+    const sqlQuery = description.queryDescription.generateResultSqlQuery();
+    const resultProjection = description.resultProjection;
+    const childResultComposers = description.childResultDescriptions
+        .filter(child => child.queryDescription.isSatisfiable())
+        .map(child => ({
+        name: child.name,
+        resultComposer: createResultComposer(child, description.queryDescription.outputLength())
+    }));
+    return new ResultComposer(sqlQuery, resultProjection, parentFactIdLength, childResultComposers);
+}
+//# sourceMappingURL=specification-result-sql.js.map

package/dist/postgres/specification-result-sql.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"specification-result-sql.js","sourceRoot":"","sources":["../../src/postgres/specification-result-sql.ts"],"names":[],"mappings":";;;AAWA,iCAA6D;AAC7D,2DAAiH;AACjH,2EAAsE;AA4CtE,MAAa,cAAc;IACvB,YACqB,QAA+B,EAC/B,gBAAkC,EAClC,kBAA0B,EAC1B,oBAA2C;QAH3C,aAAQ,GAAR,QAAQ,CAAuB;QAC/B,qBAAgB,GAAhB,gBAAgB,CAAkB;QAClC,uBAAkB,GAAlB,kBAAkB,CAAQ;QAC1B,yBAAoB,GAApB,oBAAoB,CAAuB;IAC5D,CAAC;IAEE,aAAa;QAChB,MAAM,YAAY,GAAwB,EAAE,CAAC;QAC7C,KAAK,MAAM,mBAAmB,IAAI,IAAI,CAAC,oBAAoB,EAAE;YACzD,YAAY,CAAC,IAAI,CAAC,iBACd,IAAI,EAAE,mBAAmB,CAAC,IAAI,IAC3B,mBAAmB,CAAC,cAAc,CAAC,aAAa,EAAE,EACvD,CAAC,CAAC;SACP;QACD,OAAO;YACH,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,YAAY;SACf,CAAC;IACN,CAAC;IAEM,OAAO,CACV,UAAyB;QAEzB,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;QACtD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE;YAC3B,OAAO,EAAE,CAAC;SACb;aACI;YACD,OAAO,YAAY,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;SAClC;IACL,CAAC;IAEO,eAAe,CACnB,UAAyB;QAEzB,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,CAAC;QAClC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE;YACnB,OAAO,EAAE,CAAC;SACb;QAED,yCAAyC;QACzC,MAAM,iBAAiB,GAAwB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC5D,OAAO,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC;YAC/B,MAAM,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC;SACjC,CAAC,CAAC,CAAC;QAEJ,wBAAwB;QACxB,KAAK,MAAM,mBAAmB,IAAI,IAAI,CAAC,oBAAoB,EAAE;YACzD,MAAM,cAAc,GAAG,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CACpE,cAAc,CAAC,IAAI,KAAK,mBAAmB,CAAC,IAAI,CAAC,CAAC;YACtD,IAAI,CAAC,cAAc,EAAE;gBACjB,MAAM,cAAc,GAAG,UAAU,CAAC,eAAe,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;gBAC7F,MAAM,IAAI,KAAK,CAAC,oBAAoB,mBAAmB,CAAC,IAAI,kBAAkB,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;aAC/G;YACD,MAAM,eAAe,GAAG,mBAAmB,CAAC,cAAc,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC;YAE3F,wBAAwB;YACxB,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,KAAK,MAAM,gBAAgB,IAAI,iBAAiB,EAAE;gBAC9C,IAAI,OAAO,GAAU,EAAE,CAAC;gBACxB,IAAI,KAAK,GAAG,eAAe,CAAC,MAAM,IAAI,QAAQ,CAAC,gBAAgB,CAAC,OAAO,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,EAAE;oBAC5G,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC;oBACzC,KAAK,EAAE,CAAC;iBACX;gBACD,gBAAgB,CAAC,MAAM,mCAChB,gBAAgB,CAAC,MAAM,KAC1B,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,OAAO,GACtC,CAAC;aACL;SACJ;QAED,gDAAgD;QAChD,MAAM,YAAY,GAAmB,EAAE,CAAC;QACxC,IAAI,aAAa,GAAa,iBAAiB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC7F,IAAI,OAAO,GAAU,CAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC;QACrD,KAAK,MAAM,gBAAgB,IAAI,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;YACvD,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC;YACrF,IAAI,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC,EAAE;gBAC5C,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;aACzC;iBACI;gBACD,YAAY,CAAC,IAAI,CAAC;oBACd,aAAa;oBACb,OAAO;iBACV,CAAC,CAAC;gBACH,aAAa,GAAG,iBAAiB,CAAC;gBAClC,OAAO,GAAG,CAAE,gBAAgB,CAAC,MAAM,CAAE,CAAC;aACzC;SACJ;QACD,YAAY,CAAC,IAAI,CAAC;YACd,aAAa;YACb,OAAO;SACV,CAAC,CAAC;QACH,OAAO,YAAY,CAAC;IACxB,CAAC;IAEO,YAAY,CAAC,GAAQ;QACzB,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACtE,CAAC;IAEO,YAAY,CAAC,GAAQ;QACzB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE;YACvC,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;SACzD;aACI,IAAI,IAAI,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,MAAM,KAAK,CAAC,EAAE;YACnF,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM;iBACtB,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC;iBAC9B,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,iCACjB,GAAG,KACN,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,OAAO,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,IAChD,EAAE,EAAE,CAAC,CAAA;SACd;aACI;YACD,OAAO,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,iBAAiB,EAAE,EAAE,CAAC,iCACzD,GAAG,KACN,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,iBAAiB,EAAE,GAAG,CAAC,IACrE,EAAE,EAAE,CAAC,CAAC;SACX;IACL,CAAC;IAEO,YAAY,CAAC,UAA6B,EAAE,GAAQ;QACxD,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE;YAC7B,OAAO,GAAG,CAAC,OAAO,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;SAC7D;aACI,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE;YACjC,OAAO,GAAG,CAAC,OAAO,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;SACpC;IACL,CAAC;IAEO,aAAa,CAAC,UAA8B,EAAE,GAAQ;QAC1D,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC9C,OAAO,GAAG,CAAC,OAAO,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC9D,CAAC;IAEO,QAAQ,CAAC,IAAY;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACtE,IAAI,CAAC,KAAK,EAAE;YACR,MAAM,IAAI,KAAK,CAAC,SAAS,IAAI,6BAA6B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SACzH;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;CACJ;AAhJD,wCAgJC;AAOD,MAAM,wBAAyB,SAAQ,mDAAuB;IAC1D,YACI,SAAsB,EACtB,OAAgB;QAEhB,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED,gBAAgB,CAAC,KAAsB,EAAE,aAA4B;QACjE,oEAAoE;QACpE,IAAI,KAAK,CAAC,MAAM,KAAK,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE;YAC7C,MAAM,IAAI,KAAK,CAAC,8BAA8B,KAAK,CAAC,MAAM,0CAA0C,aAAa,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;SACtI;QACD,yDAAyD;QACzD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YACnC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;gBAC/C,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,sCAAsC,CAAC,KAAK,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;aAC5I;SACJ;QAED,wCAAwC;QACxC,kFAAkF;QAClF,MAAM,MAAM,GAAuB,aAAa,CAAC,KAAK;aACjD,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YAChB,KAAK,EAAE,KAAK,CAAC,IAAI;YACjB,SAAS,EAAE,CAAC,GAAC,CAAC;YACd,UAAU,EAAE,IAAA,oBAAa,EAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC;YACrD,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI;YACvB,iBAAiB,EAAE,CAAC;YACpB,iBAAiB,EAAE,CAAC;SACvB,CAAC,CAAC,CAAC;QACR,MAAM,KAAK,GAAsB,aAAa,CAAC,KAAK;aAC/C,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YAChB,SAAS,EAAE,CAAC,GAAC,CAAC;YACd,IAAI,EAAE,KAAK,CAAC,IAAI;SACnB,CAAC,CAAC,CAAC;QACR,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,iCACjE,UAAU,KACb,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IACxB,EAAE,EAAsB,CAAC,CAAC;QAE5B,kDAAkD;QAClD,2CAA2C;QAC3C,4DAA4D;QAC5D,4DAA4D;QAC5D,MAAM,uBAAuB,GAAG,IAAI,oCAAgB,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QACpF,OAAO,IAAI,CAAC,uBAAuB,CAAC,uBAAuB,EAAE,aAAa,CAAC,OAAO,EAAE,aAAa,CAAC,gBAAgB,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;IACxI,CAAC;IAEO,uBAAuB,CAAC,gBAAkC,EAAE,OAAgB,EAAE,gBAAkC,EAAE,UAA4B,EAAE,IAAc;QAClK,CAAC,EAAE,gBAAgB,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QAChG,IAAI,CAAC,gBAAgB,CAAC,aAAa,EAAE,EAAE;YACnC,mDAAmD;YACnD,OAAO;gBACH,gBAAgB;gBAChB,gBAAgB,EAAE,EAAE;gBACpB,uBAAuB,EAAE,EAAE;aAC9B,CAAA;SACJ;QACD,MAAM,uBAAuB,GAA6B,EAAE,CAAC;QAC7D,IAAI,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE;YACjC,MAAM,wBAAwB,GAAG,gBAAgB;iBAC5C,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe,CAA8B,CAAC;YAC5F,MAAM,kBAAkB,GAAG,gBAAgB;iBACtC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,CAAwB,CAAC;YAC5G,KAAK,MAAM,KAAK,IAAI,wBAAwB,EAAE;gBAC1C,MAAM,sBAAsB,GAAG,IAAI,CAAC,uBAAuB,CAAC,gBAAgB,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,gBAAgB,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;gBACrI,uBAAuB,CAAC,IAAI,iBACxB,IAAI,EAAE,KAAK,CAAC,IAAI,IACb,sBAAsB,EAC3B,CAAC;aACN;YACD,OAAO;gBACH,gBAAgB;gBAChB,gBAAgB,EAAE,kBAAkB;gBACpC,uBAAuB;aAC1B,CAAC;SACL;aACI;YACD,OAAO;gBACH,gBAAgB;gBAChB,gBAAgB,EAAE,gBAAgB;gBAClC,uBAAuB,EAAE,EAAE;aAC9B,CAAA;SACJ;IACL,CAAC;IAEO,QAAQ,CAAC,gBAAkC,EAAE,UAA4B,EAAE,IAAc,EAAE,OAAgB;QAC/G,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE;YACzB,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE;gBACtC,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE;oBAC3B,CAAC,EAAC,gBAAgB,EAAE,UAAU,EAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,gBAAgB,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC;iBAC9H;qBACI,IAAI,SAAS,CAAC,IAAI,KAAK,aAAa,EAAE;oBACvC,IAAI,SAAS,CAAC,MAAM,EAAE;wBAClB,kEAAkE;wBAClE,qBAAqB;wBACrB,CAAC,EAAE,gBAAgB,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;qBACjG;yBACI;wBACD,uEAAuE;wBACvE,8EAA8E;wBAC9E,+EAA+E;wBAC/E,MAAM,EAAE,KAAK,EAAE,4BAA4B,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,gBAAgB,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC;wBACrH,MAAM,EAAE,gBAAgB,EAAE,2BAA2B,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,4BAA4B,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;wBAEtJ,iEAAiE;wBACjE,qDAAqD;wBACrD,2EAA2E;wBAC3E,IAAI,2BAA2B,CAAC,aAAa,EAAE,EAAE;4BAC7C,gBAAgB,GAAG,2BAA2B,CAAC;yBAClD;qBACJ;iBACJ;gBACD,IAAI,CAAC,gBAAgB,CAAC,aAAa,EAAE,EAAE;oBACnC,MAAM;iBACT;aACJ;YACD,IAAI,CAAC,gBAAgB,CAAC,aAAa,EAAE,EAAE;gBACnC,MAAM;aACT;SACJ;QACD,OAAO;YACH,gBAAgB;YAChB,UAAU;SACb,CAAC;IACN,CAAC;CACJ;AAED,SAAS,QAAQ,CAAC,CAAW,EAAE,CAAW;IACtC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,SAAgB,0BAA0B,CAAC,KAAsB,EAAE,aAA4B,EAAE,SAAsB,EAAE,OAAgB;IACrI,MAAM,kBAAkB,GAAG,IAAI,wBAAwB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC5E,MAAM,WAAW,GAAG,kBAAkB,CAAC,gBAAgB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IAE9E,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,aAAa,EAAE,EAAE;QAC/C,OAAO,IAAI,CAAC;KACf;IACD,OAAO,oBAAoB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;AAChD,CAAC;AARD,gEAQC;AAED,SAAS,oBAAoB,CAAC,WAA8B,EAAE,kBAA0B;IACpF,MAAM,QAAQ,GAAG,WAAW,CAAC,gBAAgB,CAAC,sBAAsB,EAAE,CAAC;IACvE,MAAM,gBAAgB,GAAG,WAAW,CAAC,gBAAgB,CAAC;IACtD,MAAM,oBAAoB,GAAG,WAAW,CAAC,uBAAuB;SAC3D,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,aAAa,EAAE,CAAC;SACvD,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACX,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,cAAc,EAAE,oBAAoB,CAAC,KAAK,EAAE,WAAW,CAAC,gBAAgB,CAAC,YAAY,EAAE,CAAC;KAC3F,CAAC,CAAC,CAAC;IACR,OAAO,IAAI,cAAc,CAAC,QAAQ,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,oBAAoB,CAAC,CAAC;AACpG,CAAC"}

package/dist/postgres/specification-sql.d.ts

@@ -0,0 +1,3 @@
+import { FactBookmark, FactReference, Specification } from "jinaga";
+import { SpecificationSqlQuery } from "./query-description";
+export declare function sqlFromSpecification(start: FactReference[], bookmarks: FactBookmark[], limit: number, specification: Specification, factTypes: Map<string, number>, roleMap: Map<number, Map<string, number>>): SpecificationSqlQuery[];

package/dist/postgres/specification-sql.js

@@ -0,0 +1,119 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.sqlFromSpecification = void 0;
+const maps_1 = require("./maps");
+const query_description_1 = require("./query-description");
+const query_description_builder_1 = require("./query-description-builder");
+class DescriptionBuilder extends query_description_builder_1.QueryDescriptionBuilder {
+    constructor(factTypes, roleMap) { super(factTypes, roleMap); }
+    buildDescriptions(start, specification) {
+        // Verify that the number of start facts equals the number of inputs
+        if (start.length !== specification.given.length) {
+            throw new Error(`The number of start facts (${start.length}) does not equal the number of inputs (${specification.given.length})`);
+        }
+        // Verify that the input type matches the start fact type
+        for (let i = 0; i < start.length; i++) {
+            if (start[i].type !== specification.given[i].type) {
+                throw new Error(`The type of start fact ${i} (${start[i].type}) does not match the type of input ${i} (${specification.given[i].type})`);
+            }
+        }
+        // Allocate a fact table for each given.
+        // While the fact type and hash parameters are zero, the join will not be written.
+        const inputs = specification.given
+            .map((label, i) => ({
+            label: label.name,
+            factIndex: i + 1,
+            factTypeId: (0, maps_1.getFactTypeId)(this.factTypes, label.type),
+            factHash: start[i].hash,
+            factTypeParameter: 0,
+            factHashParameter: 0
+        }));
+        const facts = specification.given
+            .map((label, i) => ({
+            factIndex: i + 1,
+            type: label.type
+        }));
+        const givenFacts = specification.given.reduce((knownFacts, label, i) => (Object.assign(Object.assign({}, knownFacts), { [label.name]: facts[i] })), {});
+        // The QueryDescription is an immutable data type.
+        // Initialize it with the inputs and facts.
+        // The DescriptionBuilder will branch at various points, and
+        // build on the current query description along each branch.
+        const initialQueryDescription = new query_description_1.QueryDescription(inputs, [], [], facts, [], []);
+        const { queryDescriptions, knownFacts } = this.addEdges(initialQueryDescription, givenFacts, [], "", specification.matches);
+        // The final query description represents the complete tuple.
+        // Build projections onto that one.
+        const finalQueryDescription = queryDescriptions[queryDescriptions.length - 1];
+        if (Array.isArray(specification.childProjections)) {
+            const queryDescriptionsWithProjections = this.addProjections(finalQueryDescription, knownFacts, specification.childProjections);
+            return [...queryDescriptions, ...queryDescriptionsWithProjections];
+        }
+        else {
+            return queryDescriptions;
+        }
+    }
+    addEdges(queryDescription, knownFacts, path, prefix, matches) {
+        const queryDescriptions = [];
+        for (const match of matches) {
+            for (const condition of match.conditions) {
+                if (condition.type === "path") {
+                    ({ queryDescription, knownFacts } = this.addPathCondition(queryDescription, knownFacts, path, match.unknown, prefix, condition));
+                }
+                else if (condition.type === "existential") {
+                    if (condition.exists) {
+                        // Include the edges of the existential condition into the current
+                        // query description.
+                        const { queryDescriptions: newQueryDescriptions } = this.addEdges(queryDescription, knownFacts, path, prefix, condition.matches);
+                        const last = newQueryDescriptions.length - 1;
+                        queryDescriptions.push(...newQueryDescriptions.slice(0, last));
+                        queryDescription = newQueryDescriptions[last];
+                    }
+                    else {
+                        // Branch from the current query description and follow the
+                        // edges of the existential condition.
+                        // This will produce tuples that prove the condition false.
+                        const { queryDescriptions: newQueryDescriptions } = this.addEdges(queryDescription, knownFacts, path, prefix, condition.matches);
+                        // Then apply the where clause and continue with the tuple where it is true.
+                        // The path describes which not-exists condition we are currently building on.
+                        // Because the path is not empty, labeled facts will be included in the output.
+                        const { query: queryDescriptionWithNotExist, path: conditionalPath } = queryDescription.withNotExistsCondition(path);
+                        const { queryDescriptions: newQueryDescriptionsWithNotExists } = this.addEdges(queryDescriptionWithNotExist, knownFacts, conditionalPath, prefix, condition.matches);
+                        const last = newQueryDescriptionsWithNotExists.length - 1;
+                        const queryDescriptionConditional = newQueryDescriptionsWithNotExists[last];
+                        // If the negative existential condition is not satisfiable, then
+                        // that means that the condition will always be true.
+                        // We can therefore skip the branch for the negative existential condition.
+                        if (queryDescriptionConditional.isSatisfiable()) {
+                            queryDescriptions.push(...newQueryDescriptions);
+                            queryDescriptions.push(...newQueryDescriptionsWithNotExists.slice(0, last));
+                            queryDescription = queryDescriptionConditional;
+                        }
+                    }
+                }
+            }
+        }
+        queryDescriptions.push(queryDescription);
+        return { queryDescriptions, knownFacts };
+    }
+    addProjections(queryDescription, knownFacts, projections) {
+        const queryDescriptions = [];
+        projections.forEach(projection => {
+            if (projection.type === "specification") {
+                // Produce more facts in the tuple, and prefix the labels with the projection name.
+                const prefix = projection.name + ".";
+                const { queryDescriptions: queryDescriptionsWithEdges } = this.addEdges(queryDescription, knownFacts, [], prefix, projection.matches);
+                queryDescriptions.push(...queryDescriptionsWithEdges);
+            }
+        });
+        return queryDescriptions;
+    }
+}
+function sqlFromSpecification(start, bookmarks, limit, specification, factTypes, roleMap) {
+    const descriptionBuilder = new DescriptionBuilder(factTypes, roleMap);
+    const descriptions = descriptionBuilder.buildDescriptions(start, specification);
+    // Only generate SQL for satisfiable queries.
+    return descriptions
+        .filter(description => description.isSatisfiable())
+        .map(description => description.generateSqlQuery(bookmarks, limit));
+}
+exports.sqlFromSpecification = sqlFromSpecification;
+//# sourceMappingURL=specification-sql.js.map

package/dist/postgres/specification-sql.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"specification-sql.js","sourceRoot":"","sources":["../../src/postgres/specification-sql.ts"],"names":[],"mappings":";;;AAEA,iCAA6D;AAC7D,2DAAiH;AACjH,2EAAsE;AAMtE,MAAM,kBAAmB,SAAQ,mDAAuB;IACpD,YACI,SAAsB,EACtB,OAAgB,IAChB,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IAEzB,iBAAiB,CAAC,KAAsB,EAAE,aAA4B;QACzE,oEAAoE;QACpE,IAAI,KAAK,CAAC,MAAM,KAAK,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE;YAC7C,MAAM,IAAI,KAAK,CAAC,8BAA8B,KAAK,CAAC,MAAM,0CAA0C,aAAa,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;SACtI;QACD,yDAAyD;QACzD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YACnC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;gBAC/C,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,sCAAsC,CAAC,KAAK,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;aAC5I;SACJ;QAED,wCAAwC;QACxC,kFAAkF;QAClF,MAAM,MAAM,GAAuB,aAAa,CAAC,KAAK;aACjD,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YAChB,KAAK,EAAE,KAAK,CAAC,IAAI;YACjB,SAAS,EAAE,CAAC,GAAC,CAAC;YACd,UAAU,EAAE,IAAA,oBAAa,EAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC;YACrD,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI;YACvB,iBAAiB,EAAE,CAAC;YACpB,iBAAiB,EAAE,CAAC;SACvB,CAAC,CAAC,CAAC;QACR,MAAM,KAAK,GAAsB,aAAa,CAAC,KAAK;aAC/C,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YAChB,SAAS,EAAE,CAAC,GAAC,CAAC;YACd,IAAI,EAAE,KAAK,CAAC,IAAI;SACnB,CAAC,CAAC,CAAC;QACR,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,iCACjE,UAAU,KACb,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IACxB,EAAE,EAAsB,CAAC,CAAC;QAG5B,kDAAkD;QAClD,2CAA2C;QAC3C,4DAA4D;QAC5D,4DAA4D;QAC5D,MAAM,uBAAuB,GAAG,IAAI,oCAAgB,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QACpF,MAAM,EAAE,iBAAiB,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,uBAAuB,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;QAE5H,6DAA6D;QAC7D,mCAAmC;QACnC,MAAM,qBAAqB,GAAG,iBAAiB,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC9E,IAAI,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,gBAAgB,CAAC,EAAE;YAC/C,MAAM,gCAAgC,GAAG,IAAI,CAAC,cAAc,CAAC,qBAAqB,EAAE,UAAU,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;YAChI,OAAO,CAAE,GAAG,iBAAiB,EAAE,GAAG,gCAAgC,CAAE,CAAC;SACxE;aACI;YACD,OAAO,iBAAiB,CAAC;SAC5B;IACL,CAAC;IAEO,QAAQ,CAAC,gBAAkC,EAAE,UAA4B,EAAE,IAAc,EAAE,MAAc,EAAE,OAAgB;QAC/H,MAAM,iBAAiB,GAAuB,EAAE,CAAC;QACjD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE;YACzB,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE;gBACtC,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE;oBAC3B,CAAC,EAAC,gBAAgB,EAAE,UAAU,EAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,gBAAgB,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;iBAClI;qBACI,IAAI,SAAS,CAAC,IAAI,KAAK,aAAa,EAAE;oBACvC,IAAI,SAAS,CAAC,MAAM,EAAE;wBAClB,kEAAkE;wBAClE,qBAAqB;wBACrB,MAAM,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;wBACjI,MAAM,IAAI,GAAG,oBAAoB,CAAC,MAAM,GAAG,CAAC,CAAC;wBAC7C,iBAAiB,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;wBAC/D,gBAAgB,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;qBACjD;yBACI;wBACD,2DAA2D;wBAC3D,sCAAsC;wBACtC,2DAA2D;wBAC3D,MAAM,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;wBAEjI,4EAA4E;wBAC5E,8EAA8E;wBAC9E,+EAA+E;wBAC/E,MAAM,EAAE,KAAK,EAAE,4BAA4B,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,gBAAgB,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC;wBACrH,MAAM,EAAE,iBAAiB,EAAE,iCAAiC,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,4BAA4B,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;wBACrK,MAAM,IAAI,GAAG,iCAAiC,CAAC,MAAM,GAAG,CAAC,CAAC;wBAC1D,MAAM,2BAA2B,GAAG,iCAAiC,CAAC,IAAI,CAAC,CAAC;wBAE5E,iEAAiE;wBACjE,qDAAqD;wBACrD,2EAA2E;wBAC3E,IAAI,2BAA2B,CAAC,aAAa,EAAE,EAAE;4BAC7C,iBAAiB,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,CAAC;4BAChD,iBAAiB,CAAC,IAAI,CAAC,GAAG,iCAAiC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;4BAC5E,gBAAgB,GAAG,2BAA2B,CAAC;yBAClD;qBACJ;iBACJ;aACJ;SACJ;QACD,iBAAiB,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACzC,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,CAAC;IAC7C,CAAC;IAED,cAAc,CAAC,gBAAkC,EAAE,UAA4B,EAAE,WAAyB;QACtG,MAAM,iBAAiB,GAAuB,EAAE,CAAC;QACjD,WAAW,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE;YAC7B,IAAI,UAAU,CAAC,IAAI,KAAK,eAAe,EAAE;gBACrC,mFAAmF;gBACnF,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,GAAG,GAAG,CAAC;gBACrC,MAAM,EAAE,iBAAiB,EAAE,0BAA0B,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC;gBACtI,iBAAiB,CAAC,IAAI,CAAC,GAAG,0BAA0B,CAAC,CAAC;aACzD;QACL,CAAC,CAAC,CAAC;QACH,OAAO,iBAAiB,CAAC;IAC7B,CAAC;CACJ;AAED,SAAgB,oBAAoB,CAAC,KAAsB,EAAE,SAAyB,EAAE,KAAa,EAAE,aAA4B,EAAE,SAA8B,EAAE,OAAyC;IAC1M,MAAM,kBAAkB,GAAG,IAAI,kBAAkB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACtE,MAAM,YAAY,GAAG,kBAAkB,CAAC,iBAAiB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IAEhF,6CAA6C;IAC7C,OAAO,YAAY;SACd,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,WAAW,CAAC,aAAa,EAAE,CAAC;SAClD,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,WAAW,CAAC,gBAAgB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;AAC5E,CAAC;AARD,oDAQC"}

package/dist/postgres/sql.d.ts

@@ -0,0 +1,10 @@
+import { FactReference, Step } from "jinaga";
+import { FactTypeMap, RoleMap } from "./maps";
+export declare type SqlQuery = {
+    empty: boolean;
+    sql: string;
+    parameters: any[];
+    pathLength: number;
+    factTypeNames: string[];
+};
+export declare function sqlFromSteps(start: FactReference, steps: Step[], factTypes: FactTypeMap, roleMap: RoleMap): SqlQuery;