jinaga-server 1.0.0 → 1.1.0

package/dist/postgres/query-description.d.ts

@@ -1,71 +0,0 @@
-import { FactBookmark } from "jinaga";
-export interface SpecificationLabel {
-    name: string;
-    type: string;
-    index: number;
-}
-export declare type SpecificationSqlQuery = {
-    sql: string;
-    parameters: (string | number | number[])[];
-    labels: SpecificationLabel[];
-    bookmark: string;
-};
-export interface InputDescription {
-    label: string;
-    factIndex: number;
-    factTypeId: number;
-    factHash: string;
-    factTypeParameter: number;
-    factHashParameter: number;
-}
-interface OutputDescription {
-    label: string;
-    type: string;
-    factIndex: number;
-}
-export interface FactDescription {
-    type: string;
-    factIndex: number;
-}
-interface EdgeDescription {
-    edgeIndex: number;
-    predecessorFactIndex: number;
-    successorFactIndex: number;
-    roleParameter: number;
-}
-interface NotExistsConditionDescription {
-    edges: EdgeDescription[];
-    notExistsConditions: NotExistsConditionDescription[];
-}
-export declare class QueryDescription {
-    private readonly inputs;
-    private readonly parameters;
-    private readonly outputs;
-    private readonly facts;
-    private readonly edges;
-    private readonly notExistsConditions;
-    static unsatisfiable: QueryDescription;
-    constructor(inputs: InputDescription[], parameters: (string | number)[], outputs: OutputDescription[], facts: FactDescription[], edges: EdgeDescription[], notExistsConditions?: NotExistsConditionDescription[]);
-    withParameter(parameter: string | number): {
-        query: QueryDescription;
-        parameterIndex: number;
-    };
-    withInputParameter(label: string): QueryDescription;
-    withFact(type: string): {
-        query: QueryDescription;
-        factIndex: number;
-    };
-    withOutput(label: string, type: string, factIndex: number): QueryDescription;
-    withEdge(predecessorFactIndex: number, successorFactIndex: number, roleParameter: number, path: number[]): QueryDescription;
-    withNotExistsCondition(path: number[]): {
-        query: QueryDescription;
-        path: number[];
-    };
-    isSatisfiable(): boolean;
-    hasOutput(label: string): boolean;
-    inputByLabel(label: string): InputDescription | undefined;
-    outputLength(): number;
-    generateSqlQuery(bookmarks: FactBookmark[], limit: number): SpecificationSqlQuery;
-    generateResultSqlQuery(): SpecificationSqlQuery;
-}
-export {};

package/dist/postgres/query-description.js

@@ -1,256 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.QueryDescription = void 0;
-function notExistsWithEdge(notExistsConditions, edge, path) {
-    if (path.length === 1) {
-        return notExistsConditions.map((c, i) => i === path[0] ?
-            {
-                edges: [...c.edges, edge],
-                notExistsConditions: c.notExistsConditions
-            } :
-            c);
-    }
-    else {
-        return notExistsConditions.map((c, i) => i === path[0] ?
-            {
-                edges: c.edges,
-                notExistsConditions: notExistsWithEdge(c.notExistsConditions, edge, path.slice(1))
-            } :
-            c);
-    }
-}
-function notExistsWithCondition(notExistsConditions, path) {
-    if (path.length === 0) {
-        path = [notExistsConditions.length];
-        notExistsConditions = [
-            ...notExistsConditions,
-            {
-                edges: [],
-                notExistsConditions: []
-            }
-        ];
-        return { notExistsConditions, path };
-    }
-    else {
-        const { notExistsConditions: newNotExistsConditions, path: newPath } = notExistsWithCondition(notExistsConditions[path[0]].notExistsConditions, path.slice(1));
-        notExistsConditions = notExistsConditions.map((c, i) => i === path[0] ?
-            {
-                edges: c.edges,
-                notExistsConditions: newNotExistsConditions
-            } :
-            c);
-        path = [path[0], ...newPath];
-        return { notExistsConditions, path };
-    }
-}
-function countEdges(notExistsConditions) {
-    return notExistsConditions.reduce((count, c) => count + c.edges.length + countEdges(c.notExistsConditions), 0);
-}
-class QueryDescription {
-    constructor(inputs, parameters, outputs, facts, edges, notExistsConditions = []) {
-        this.inputs = inputs;
-        this.parameters = parameters;
-        this.outputs = outputs;
-        this.facts = facts;
-        this.edges = edges;
-        this.notExistsConditions = notExistsConditions;
-    }
-    withParameter(parameter) {
-        const parameterIndex = this.parameters.length + 1;
-        const query = new QueryDescription(this.inputs, this.parameters.concat(parameter), this.outputs, this.facts, this.edges, this.notExistsConditions);
-        return { query, parameterIndex };
-    }
-    withInputParameter(label) {
-        const factTypeParameter = this.parameters.length + 1;
-        const factHashParameter = factTypeParameter + 1;
-        const input = this.inputs.find(i => i.label === label);
-        const inputs = this.inputs.map(input => input.label === label
-            ? Object.assign(Object.assign({}, input), { factTypeParameter, factHashParameter }) : input);
-        return new QueryDescription(inputs, this.parameters.concat(input.factTypeId, input.factHash), this.outputs, this.facts, this.edges, this.notExistsConditions);
-    }
-    withFact(type) {
-        const factIndex = this.facts.length + 1;
-        const fact = { factIndex, type };
-        const query = new QueryDescription(this.inputs, this.parameters, this.outputs, this.facts.concat(fact), this.edges, this.notExistsConditions);
-        return { query, factIndex };
-    }
-    withOutput(label, type, factIndex) {
-        const output = { label, type, factIndex };
-        const query = new QueryDescription(this.inputs, this.parameters, this.outputs.concat(output), this.facts, this.edges, this.notExistsConditions);
-        return query;
-    }
-    withEdge(predecessorFactIndex, successorFactIndex, roleParameter, path) {
-        const edge = {
-            edgeIndex: this.edges.length + countEdges(this.notExistsConditions) + 1,
-            predecessorFactIndex,
-            successorFactIndex,
-            roleParameter
-        };
-        const query = (path.length === 0)
-            ? new QueryDescription(this.inputs, this.parameters, this.outputs, this.facts, this.edges.concat(edge), this.notExistsConditions)
-            : new QueryDescription(this.inputs, this.parameters, this.outputs, this.facts, this.edges, notExistsWithEdge(this.notExistsConditions, edge, path));
-        return query;
-    }
-    withNotExistsCondition(path) {
-        const { notExistsConditions: newNotExistsConditions, path: newPath } = notExistsWithCondition(this.notExistsConditions, path);
-        const query = new QueryDescription(this.inputs, this.parameters, this.outputs, this.facts, this.edges, newNotExistsConditions);
-        return { query, path: newPath };
-    }
-    isSatisfiable() {
-        return this.inputs.length > 0;
-    }
-    hasOutput(label) {
-        return this.outputs.some(o => o.label === label);
-    }
-    inputByLabel(label) {
-        return this.inputs.find(i => i.label === label);
-    }
-    outputLength() {
-        return this.outputs.length;
-    }
-    generateSqlQuery(bookmarks, limit) {
-        const hashes = this.outputs
-            .map(output => `f${output.factIndex}.hash as hash${output.factIndex}`)
-            .join(", ");
-        const factIds = this.outputs
-            .map(output => `f${output.factIndex}.fact_id`)
-            .join(", ");
-        const firstEdge = this.edges[0];
-        const predecessorFact = this.inputs.find(i => i.factIndex === firstEdge.predecessorFactIndex);
-        const successorFact = this.inputs.find(i => i.factIndex === firstEdge.successorFactIndex);
-        const firstFactIndex = predecessorFact ? predecessorFact.factIndex : successorFact.factIndex;
-        const writtenFactIndexes = new Set().add(firstFactIndex);
-        const joins = generateJoins(this.edges, writtenFactIndexes);
-        const inputWhereClauses = this.inputs
-            .filter(input => input.factTypeParameter !== 0)
-            .map(input => `f${input.factIndex}.fact_type_id = $${input.factTypeParameter} AND f${input.factIndex}.hash = $${input.factHashParameter}`)
-            .join(" AND ");
-        const notExistsWhereClauses = this.notExistsConditions
-            .map(notExistsWhereClause => ` AND NOT EXISTS (${generateNotExistsWhereClause(notExistsWhereClause, writtenFactIndexes)})`)
-            .join("");
-        const bookmarkParameter = this.parameters.length + 1;
-        const limitParameter = bookmarkParameter + 1;
-        const bookmark = bookmarks.find(bookmark => bookmark.labels.length === this.outputs.length &&
-            bookmark.labels.every((label, index) => label === this.outputs[index].label));
-        const sql = `SELECT ${hashes}, sort(array[${factIds}], 'desc') as bookmark FROM public.fact f${firstFactIndex}${joins.join("")} WHERE ${inputWhereClauses}${notExistsWhereClauses} AND sort(array[${factIds}], 'desc') > $${bookmarkParameter} ORDER BY bookmark ASC LIMIT $${limitParameter}`;
-        const bookmarkValue = parseBookmark(bookmark);
-        return {
-            sql,
-            parameters: [...this.parameters, bookmarkValue, limit],
-            labels: this.outputs.map(output => ({
-                name: output.label,
-                type: output.type,
-                index: output.factIndex
-            })),
-            bookmark: "[]"
-        };
-    }
-    generateResultSqlQuery() {
-        const columns = this.outputs
-            .map(output => `f${output.factIndex}.hash as hash${output.factIndex}, f${output.factIndex}.fact_id as id${output.factIndex}, f${output.factIndex}.data as data${output.factIndex}`)
-            .join(", ");
-        const firstEdge = this.edges[0];
-        const predecessorFact = this.inputs.find(i => i.factIndex === firstEdge.predecessorFactIndex);
-        const successorFact = this.inputs.find(i => i.factIndex === firstEdge.successorFactIndex);
-        const firstFactIndex = predecessorFact ? predecessorFact.factIndex : successorFact.factIndex;
-        const writtenFactIndexes = new Set().add(firstFactIndex);
-        const joins = generateJoins(this.edges, writtenFactIndexes);
-        const inputWhereClauses = this.inputs
-            .filter(input => input.factTypeParameter !== 0)
-            .map(input => `f${input.factIndex}.fact_type_id = $${input.factTypeParameter} AND f${input.factIndex}.hash = $${input.factHashParameter}`)
-            .join(" AND ");
-        const notExistsWhereClauses = this.notExistsConditions
-            .map(notExistsWhereClause => ` AND NOT EXISTS (${generateNotExistsWhereClause(notExistsWhereClause, writtenFactIndexes)})`)
-            .join("");
-        const orderByClause = this.outputs
-            .map(output => `f${output.factIndex}.fact_id ASC`)
-            .join(", ");
-        const sql = `SELECT ${columns} FROM public.fact f${firstFactIndex}${joins.join("")} WHERE ${inputWhereClauses}${notExistsWhereClauses} ORDER BY ${orderByClause}`;
-        return {
-            sql,
-            parameters: this.parameters,
-            labels: this.outputs.map(output => ({
-                name: output.label,
-                type: output.type,
-                index: output.factIndex
-            })),
-            bookmark: "[]"
-        };
-    }
-}
-exports.QueryDescription = QueryDescription;
-// An unsatisfiable query description will produce no results.
-QueryDescription.unsatisfiable = new QueryDescription([], [], [], [], [], []);
-function generateJoins(edges, writtenFactIndexes) {
-    const joins = [];
-    edges.forEach(edge => {
-        if (writtenFactIndexes.has(edge.predecessorFactIndex)) {
-            if (writtenFactIndexes.has(edge.successorFactIndex)) {
-                joins.push(` JOIN public.edge e${edge.edgeIndex}` +
-                    ` ON e${edge.edgeIndex}.predecessor_fact_id = f${edge.predecessorFactIndex}.fact_id` +
-                    ` AND e${edge.edgeIndex}.successor_fact_id = f${edge.successorFactIndex}.fact_id` +
-                    ` AND e${edge.edgeIndex}.role_id = $${edge.roleParameter}`);
-            }
-            else {
-                joins.push(` JOIN public.edge e${edge.edgeIndex}` +
-                    ` ON e${edge.edgeIndex}.predecessor_fact_id = f${edge.predecessorFactIndex}.fact_id` +
-                    ` AND e${edge.edgeIndex}.role_id = $${edge.roleParameter}`);
-                joins.push(` JOIN public.fact f${edge.successorFactIndex}` +
-                    ` ON f${edge.successorFactIndex}.fact_id = e${edge.edgeIndex}.successor_fact_id`);
-                writtenFactIndexes.add(edge.successorFactIndex);
-            }
-        }
-        else if (writtenFactIndexes.has(edge.successorFactIndex)) {
-            joins.push(` JOIN public.edge e${edge.edgeIndex}` +
-                ` ON e${edge.edgeIndex}.successor_fact_id = f${edge.successorFactIndex}.fact_id` +
-                ` AND e${edge.edgeIndex}.role_id = $${edge.roleParameter}`);
-            joins.push(` JOIN public.fact f${edge.predecessorFactIndex}` +
-                ` ON f${edge.predecessorFactIndex}.fact_id = e${edge.edgeIndex}.predecessor_fact_id`);
-            writtenFactIndexes.add(edge.predecessorFactIndex);
-        }
-        else {
-            throw new Error("Neither predecessor nor successor fact has been written");
-        }
-    });
-    return joins;
-}
-function generateNotExistsWhereClause(notExistsWhereClause, outerFactIndexes) {
-    const firstEdge = notExistsWhereClause.edges[0];
-    const writtenFactIndexes = new Set(outerFactIndexes);
-    const firstJoin = [];
-    const whereClause = [];
-    if (writtenFactIndexes.has(firstEdge.predecessorFactIndex)) {
-        if (writtenFactIndexes.has(firstEdge.successorFactIndex)) {
-            throw new Error("Not yet implemented");
-        }
-        else {
-            whereClause.push(`e${firstEdge.edgeIndex}.predecessor_fact_id = f${firstEdge.predecessorFactIndex}.fact_id` +
-                ` AND e${firstEdge.edgeIndex}.role_id = $${firstEdge.roleParameter}`);
-            firstJoin.push(` JOIN public.fact f${firstEdge.successorFactIndex}` +
-                ` ON f${firstEdge.successorFactIndex}.fact_id = e${firstEdge.edgeIndex}.successor_fact_id`);
-            writtenFactIndexes.add(firstEdge.successorFactIndex);
-        }
-    }
-    else if (writtenFactIndexes.has(firstEdge.successorFactIndex)) {
-        whereClause.push(`e${firstEdge.edgeIndex}.successor_fact_id = f${firstEdge.successorFactIndex}.fact_id` +
-            ` AND e${firstEdge.edgeIndex}.role_id = $${firstEdge.roleParameter}`);
-        firstJoin.push(` JOIN public.fact f${firstEdge.predecessorFactIndex}` +
-            ` ON f${firstEdge.predecessorFactIndex}.fact_id = e${firstEdge.edgeIndex}.predecessor_fact_id`);
-        writtenFactIndexes.add(firstEdge.predecessorFactIndex);
-    }
-    else {
-        throw new Error("Neither predecessor nor successor fact has been written");
-    }
-    const tailJoins = generateJoins(notExistsWhereClause.edges.slice(1), writtenFactIndexes);
-    const joins = firstJoin.concat(tailJoins);
-    return `SELECT 1 FROM public.edge e${firstEdge.edgeIndex}${joins.join("")} WHERE ${whereClause.join(" AND ")}`;
-}
-function parseBookmark(bookmark) {
-    if (bookmark === undefined || bookmark === null || bookmark.bookmark === "") {
-        return [];
-    }
-    else {
-        return bookmark.bookmark.split(".").map(str => parseInt(str));
-    }
-}
-//# sourceMappingURL=query-description.js.map

package/dist/postgres/query-description.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"query-description.js","sourceRoot":"","sources":["../../src/postgres/query-description.ts"],"names":[],"mappings":";;;AAyCA,SAAS,iBAAiB,CAAC,mBAAoD,EAAE,IAA6G,EAAE,IAAc;IAC1M,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE;QACnB,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACpD;gBACI,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC;gBACzB,mBAAmB,EAAE,CAAC,CAAC,mBAAmB;aAC7C,CAAC,CAAC;YACH,CAAC,CACJ,CAAC;KACL;SACI;QACD,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACpD;gBACI,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,mBAAmB,EAAE,iBAAiB,CAAC,CAAC,CAAC,mBAAmB,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;aACrF,CAAC,CAAC;YACH,CAAC,CACJ,CAAC;KACL;AACL,CAAC;AACD,SAAS,sBAAsB,CAAC,mBAAoD,EAAE,IAAc;IAChG,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE;QACnB,IAAI,GAAG,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;QACpC,mBAAmB,GAAG;YAClB,GAAG,mBAAmB;YACtB;gBACI,KAAK,EAAE,EAAE;gBACT,mBAAmB,EAAE,EAAE;aAC1B;SACJ,CAAC;QACF,OAAO,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC;KACxC;SACI;QACD,MAAM,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,sBAAsB,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/J,mBAAmB,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACnE;gBACI,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,mBAAmB,EAAE,sBAAsB;aAC9C,CAAC,CAAC;YACH,CAAC,CACJ,CAAC;QACF,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC;QAC7B,OAAO,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC;KACxC;AACL,CAAC;AACD,SAAS,UAAU,CAAC,mBAAoD;IACpE,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,mBAAmB,CAAC,EACtG,CAAC,CAAC,CAAC;AACX,CAAC;AACD,MAAa,gBAAgB;IAMzB,YACqB,MAA0B,EAC1B,UAA+B,EAC/B,OAA4B,EAC5B,KAAwB,EACxB,KAAwB,EACxB,sBAAuD,EAAE;QALzD,WAAM,GAAN,MAAM,CAAoB;QAC1B,eAAU,GAAV,UAAU,CAAqB;QAC/B,YAAO,GAAP,OAAO,CAAqB;QAC5B,UAAK,GAAL,KAAK,CAAmB;QACxB,UAAK,GAAL,KAAK,CAAmB;QACxB,wBAAmB,GAAnB,mBAAmB,CAAsC;IAC3E,CAAC;IAEG,aAAa,CAAC,SAA0B;QAC3C,MAAM,cAAc,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;QAClD,MAAM,KAAK,GAAG,IAAI,gBAAgB,CAC9B,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,EACjC,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,mBAAmB,CAC3B,CAAC;QACF,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC;IACrC,CAAC;IAEM,kBAAkB,CAAC,KAAa;QACnC,MAAM,iBAAiB,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;QACrD,MAAM,iBAAiB,GAAG,iBAAiB,GAAG,CAAC,CAAC;QAChD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;QACvD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,KAAK;YACzD,CAAC,iCAAM,KAAK,KAAE,iBAAiB,EAAE,iBAAiB,IAClD,CAAC,CAAC,KAAK,CACV,CAAC;QACF,OAAO,IAAI,gBAAgB,CACvB,MAAM,EACN,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC,EACxD,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,mBAAmB,CAC3B,CAAC;IACN,CAAC;IAEM,QAAQ,CAAC,IAAY;QACxB,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,IAAI,gBAAgB,CAC9B,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EACvB,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,mBAAmB,CAC3B,CAAC;QACF,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IAChC,CAAC;IAEM,UAAU,CAAC,KAAa,EAAE,IAAY,EAAE,SAAiB;QAC5D,MAAM,MAAM,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,IAAI,gBAAgB,CAC9B,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAC3B,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,mBAAmB,CAC3B,CAAC;QACF,OAAO,KAAK,CAAC;IACjB,CAAC;IAEM,QAAQ,CAAC,oBAA4B,EAAE,kBAA0B,EAAE,aAAqB,EAAE,IAAc;QAC3G,MAAM,IAAI,GAAG;YACT,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC;YACvE,oBAAoB;YACpB,kBAAkB;YAClB,aAAa;SAChB,CAAC;QACF,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC;YAC7B,CAAC,CAAC,IAAI,gBAAgB,CAClB,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EACvB,IAAI,CAAC,mBAAmB,CAC3B;YACD,CAAC,CAAC,IAAI,gBAAgB,CAClB,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,KAAK,EACV,iBAAiB,CAAC,IAAI,CAAC,mBAAmB,EAAE,IAAI,EAAE,IAAI,CAAC,CAC1D,CAAC;QACN,OAAO,KAAK,CAAC;IACjB,CAAC;IAEM,sBAAsB,CAAC,IAAc;QACxC,MAAM,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,sBAAsB,CAAC,IAAI,CAAC,mBAAmB,EAAE,IAAI,CAAC,CAAC;QAC9H,MAAM,KAAK,GAAG,IAAI,gBAAgB,CAC9B,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,KAAK,EACV,sBAAsB,CACzB,CAAC;QACF,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IACpC,CAAC;IAED,aAAa;QACT,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;IAClC,CAAC;IAED,SAAS,CAAC,KAAa;QACnB,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;IACrD,CAAC;IAED,YAAY,CAAC,KAAa;QACtB,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;IACpD,CAAC;IAED,YAAY;QACR,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;IAC/B,CAAC;IAED,gBAAgB,CAAC,SAAyB,EAAE,KAAa;QACrD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO;aACtB,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,SAAS,gBAAgB,MAAM,CAAC,SAAS,EAAE,CAAC;aACrE,IAAI,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO;aACvB,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,SAAS,UAAU,CAAC;aAC7C,IAAI,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAC9F,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,kBAAkB,CAAC,CAAC;QAC1F,MAAM,cAAc,GAAG,eAAe,CAAC,CAAC,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC;QAC7F,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QACjE,MAAM,KAAK,GAAa,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;QACtE,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM;aAChC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,iBAAiB,KAAK,CAAC,CAAC;aAC9C,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,SAAS,oBAAoB,KAAK,CAAC,iBAAiB,SAAS,KAAK,CAAC,SAAS,YAAY,KAAK,CAAC,iBAAiB,EAAE,CAAC;aACzI,IAAI,CAAC,OAAO,CAAC,CAAC;QACnB,MAAM,qBAAqB,GAAG,IAAI,CAAC,mBAAmB;aACjD,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC,oBAAoB,4BAA4B,CAAC,oBAAoB,EAAE,kBAAkB,CAAC,GAAG,CAAC;aAC1H,IAAI,CAAC,EAAE,CAAC,CAAC;QACd,MAAM,iBAAiB,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;QACrD,MAAM,cAAc,GAAG,iBAAiB,GAAG,CAAC,CAAC;QAC7C,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CACvC,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM;YAC9C,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAC/E,CAAC;QACF,MAAM,GAAG,GAAG,UAAU,MAAM,gBAAgB,OAAO,4CAA4C,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,iBAAiB,GAAG,qBAAqB,mBAAmB,OAAO,iBAAiB,iBAAiB,iCAAiC,cAAc,EAAE,CAAC;QAC/R,MAAM,aAAa,GAAa,aAAa,CAAC,QAAQ,CAAC,CAAC;QACxD,OAAO;YACH,GAAG;YACH,UAAU,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,aAAa,EAAE,KAAK,CAAC;YACtD,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBAChC,IAAI,EAAE,MAAM,CAAC,KAAK;gBAClB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,KAAK,EAAE,MAAM,CAAC,SAAS;aAC1B,CAAC,CAAC;YACH,QAAQ,EAAE,IAAI;SACjB,CAAC;IACN,CAAC;IAED,sBAAsB;QAClB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO;aACvB,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,SAAS,gBAAgB,MAAM,CAAC,SAAS,MAAM,MAAM,CAAC,SAAS,iBAAiB,MAAM,CAAC,SAAS,MAAM,MAAM,CAAC,SAAS,gBAAgB,MAAM,CAAC,SAAS,EAAE,CAAC;aAClL,IAAI,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAC9F,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,kBAAkB,CAAC,CAAC;QAC1F,MAAM,cAAc,GAAG,eAAe,CAAC,CAAC,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC;QAC7F,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QACjE,MAAM,KAAK,GAAa,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;QACtE,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM;aAChC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,iBAAiB,KAAK,CAAC,CAAC;aAC9C,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,SAAS,oBAAoB,KAAK,CAAC,iBAAiB,SAAS,KAAK,CAAC,SAAS,YAAY,KAAK,CAAC,iBAAiB,EAAE,CAAC;aACzI,IAAI,CAAC,OAAO,CAAC,CAAC;QACnB,MAAM,qBAAqB,GAAG,IAAI,CAAC,mBAAmB;aACjD,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC,oBAAoB,4BAA4B,CAAC,oBAAoB,EAAE,kBAAkB,CAAC,GAAG,CAAC;aAC1H,IAAI,CAAC,EAAE,CAAC,CAAC;QACd,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO;aAC7B,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,SAAS,cAAc,CAAC;aACjD,IAAI,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,GAAG,GAAG,UAAU,OAAO,sBAAsB,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,iBAAiB,GAAG,qBAAqB,aAAa,aAAa,EAAE,CAAC;QAClK,OAAO;YACH,GAAG;YACH,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBAChC,IAAI,EAAE,MAAM,CAAC,KAAK;gBAClB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,KAAK,EAAE,MAAM,CAAC,SAAS;aAC1B,CAAC,CAAC;YACH,QAAQ,EAAE,IAAI;SACjB,CAAC;IACN,CAAC;;AAxML,4CAyMC;AAxMG,8DAA8D;AACvD,8BAAa,GAAqB,IAAI,gBAAgB,CACzD,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CACzB,CAAC;AAuMN,SAAS,aAAa,CAAC,KAAwB,EAAE,kBAA+B;IAC5E,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;QACjB,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,EAAE;YACnD,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE;gBACjD,KAAK,CAAC,IAAI,CACN,sBAAsB,IAAI,CAAC,SAAS,EAAE;oBACtC,QAAQ,IAAI,CAAC,SAAS,2BAA2B,IAAI,CAAC,oBAAoB,UAAU;oBACpF,SAAS,IAAI,CAAC,SAAS,yBAAyB,IAAI,CAAC,kBAAkB,UAAU;oBACjF,SAAS,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC,aAAa,EAAE,CAC7D,CAAC;aACL;iBACI;gBACD,KAAK,CAAC,IAAI,CACN,sBAAsB,IAAI,CAAC,SAAS,EAAE;oBACtC,QAAQ,IAAI,CAAC,SAAS,2BAA2B,IAAI,CAAC,oBAAoB,UAAU;oBACpF,SAAS,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC,aAAa,EAAE,CAC7D,CAAC;gBACF,KAAK,CAAC,IAAI,CACN,sBAAsB,IAAI,CAAC,kBAAkB,EAAE;oBAC/C,QAAQ,IAAI,CAAC,kBAAkB,eAAe,IAAI,CAAC,SAAS,oBAAoB,CACnF,CAAC;gBACF,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;aACnD;SACJ;aACI,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE;YACtD,KAAK,CAAC,IAAI,CACN,sBAAsB,IAAI,CAAC,SAAS,EAAE;gBACtC,QAAQ,IAAI,CAAC,SAAS,yBAAyB,IAAI,CAAC,kBAAkB,UAAU;gBAChF,SAAS,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC,aAAa,EAAE,CAC7D,CAAC;YACF,KAAK,CAAC,IAAI,CACN,sBAAsB,IAAI,CAAC,oBAAoB,EAAE;gBACjD,QAAQ,IAAI,CAAC,oBAAoB,eAAe,IAAI,CAAC,SAAS,sBAAsB,CACvF,CAAC;YACF,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;SACrD;aACI;YACD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;SAC9E;IACL,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,4BAA4B,CAAC,oBAAmD,EAAE,gBAA6B;IACpH,MAAM,SAAS,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAS,gBAAgB,CAAC,CAAC;IAC7D,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,IAAI,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,oBAAoB,CAAC,EAAE;QACxD,IAAI,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,EAAE;YACtD,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;SAC1C;aACI;YACD,WAAW,CAAC,IAAI,CACZ,IAAI,SAAS,CAAC,SAAS,2BAA2B,SAAS,CAAC,oBAAoB,UAAU;gBAC1F,SAAS,SAAS,CAAC,SAAS,eAAe,SAAS,CAAC,aAAa,EAAE,CACvE,CAAC;YACF,SAAS,CAAC,IAAI,CACV,sBAAsB,SAAS,CAAC,kBAAkB,EAAE;gBACpD,QAAQ,SAAS,CAAC,kBAAkB,eAAe,SAAS,CAAC,SAAS,oBAAoB,CAC7F,CAAC;YACF,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;SACxD;KACJ;SACI,IAAI,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,EAAE;QAC3D,WAAW,CAAC,IAAI,CACZ,IAAI,SAAS,CAAC,SAAS,yBAAyB,SAAS,CAAC,kBAAkB,UAAU;YACtF,SAAS,SAAS,CAAC,SAAS,eAAe,SAAS,CAAC,aAAa,EAAE,CACvE,CAAC;QACF,SAAS,CAAC,IAAI,CACV,sBAAsB,SAAS,CAAC,oBAAoB,EAAE;YACtD,QAAQ,SAAS,CAAC,oBAAoB,eAAe,SAAS,CAAC,SAAS,sBAAsB,CACjG,CAAC;QACF,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;KAC1D;SACI;QACD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;KAC9E;IACD,MAAM,SAAS,GAAa,aAAa,CAAC,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;IACnG,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC1C,OAAO,8BAA8B,SAAS,CAAC,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;AACnH,CAAC;AAED,SAAS,aAAa,CAAC,QAAsB;IACzC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,CAAC,QAAQ,KAAK,EAAE,EAAE;QACzE,OAAO,EAAE,CAAC;KACb;SACI;QACD,OAAO,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;KACjE;AACL,CAAC"}

package/src/postgres/query-description-builder.ts

@@ -1,116 +0,0 @@
-import { Label, PathCondition } from "jinaga";
-
-import { FactTypeMap, getFactTypeId, getRoleId, RoleMap } from "./maps";
-import { QueryDescription } from "./query-description";
-import { FactByIdentifier } from "./specification-result-sql";
-
-export class QueryDescriptionBuilder {
-    constructor(
-        protected readonly factTypes: FactTypeMap,
-        protected readonly roleMap: RoleMap
-    ) { }
-
-    protected addPathCondition(queryDescription: QueryDescription, knownFacts: FactByIdentifier, path: number[], unknown: Label, prefix: string, condition: PathCondition): { queryDescription: QueryDescription, knownFacts: FactByIdentifier } {
-        // If no input parameter has been allocated, allocate one now.
-        const input = queryDescription.inputByLabel(condition.labelRight);
-        if (input && input.factTypeParameter === 0) {
-            queryDescription = queryDescription.withInputParameter(input.label);
-        }
-
-        // Determine whether we have already written the output.
-        const knownFact = knownFacts[unknown.name];
-        const roleCount = condition.rolesLeft.length + condition.rolesRight.length;
-
-        // Walk up the right-hand side.
-        // This generates predecessor joins from a given or prior label.
-        let fact = knownFacts[condition.labelRight];
-        if (!fact) {
-            throw new Error(`Label ${condition.labelRight} not found. Known labels: ${Object.keys(knownFacts).join(", ")}`);
-        }
-        let type = fact.type;
-        let factIndex = fact.factIndex;
-        for (const [i, role] of condition.rolesRight.entries()) {
-            // If the type or role is not known, then no facts matching the condition can
-            // exist. The query is unsatisfiable.
-            const typeId = getFactTypeId(this.factTypes, type);
-            if (!typeId) {
-                return { queryDescription: QueryDescription.unsatisfiable, knownFacts };
-            }
-            const roleId = getRoleId(this.roleMap, typeId, role.name);
-            if (!roleId) {
-                return { queryDescription: QueryDescription.unsatisfiable, knownFacts };
-            }
-
-            const { query: queryWithParameter, parameterIndex: roleParameter } = queryDescription.withParameter(roleId);
-            if (i === roleCount - 1 && knownFact) {
-                // If we have already written the output, we can use the fact index.
-                queryDescription = queryWithParameter.withEdge(knownFact.factIndex, factIndex, roleParameter, path);
-                factIndex = knownFact.factIndex;
-            }
-            else {
-                // If we have not written the fact, we need to write it now.
-                const { query, factIndex: predecessorFactIndex } = queryWithParameter.withFact(role.targetType);
-                queryDescription = query.withEdge(predecessorFactIndex, factIndex, roleParameter, path);
-                factIndex = predecessorFactIndex;
-            }
-            type = role.targetType;
-        }
-
-        const rightType = type;
-
-        // Walk up the left-hand side.
-        // We will need to reverse this walk to generate successor joins.
-        type = unknown.type;
-        const newEdges: {
-            roleId: number;
-            declaringType: string;
-        }[] = [];
-        for (const role of condition.rolesLeft) {
-            // If the type or role is not known, then no facts matching the condition can
-            // exist. The query is unsatisfiable.
-            const typeId = getFactTypeId(this.factTypes, type);
-            if (!typeId) {
-                return { queryDescription: QueryDescription.unsatisfiable, knownFacts };
-            }
-            const roleId = getRoleId(this.roleMap, typeId, role.name);
-            if (!roleId) {
-                return { queryDescription: QueryDescription.unsatisfiable, knownFacts };
-            }
-
-            newEdges.push({
-                roleId,
-                declaringType: type
-            });
-            type = role.targetType;
-        }
-
-        if (type !== rightType) {
-            throw new Error(`Type mismatch: ${type} is compared to ${rightType}`);
-        }
-
-        newEdges.reverse().forEach(({ roleId, declaringType }, i) => {
-            const { query: queryWithParameter, parameterIndex: roleParameter } = queryDescription.withParameter(roleId);
-            if (condition.rolesRight.length + i === roleCount - 1 && knownFact) {
-                queryDescription = queryWithParameter.withEdge(factIndex, knownFact.factIndex, roleParameter, path);
-                factIndex = knownFact.factIndex;
-            }
-            else {
-                const { query: queryWithFact, factIndex: successorFactIndex } = queryWithParameter.withFact(declaringType);
-                queryDescription = queryWithFact.withEdge(factIndex, successorFactIndex, roleParameter, path);
-                factIndex = successorFactIndex;
-            }
-        });
-
-        // If we have not captured the known fact, add it now.
-        if (!knownFact) {
-            knownFacts = { ...knownFacts, [unknown.name]: { factIndex, type: unknown.type } };
-            // If we have not written the output, write it now.
-            // Only write the output if we are not inside of an existential condition.
-            // Use the prefix, which will be set for projections.
-            if (path.length === 0) {
-                queryDescription = queryDescription.withOutput(prefix + unknown.name, unknown.type, factIndex);
-            }
-        }
-        return { queryDescription, knownFacts };
-    }
-}