@rocicorp/zero 0.6.2024112101 → 0.7.2024112700

package/out/zql/src/query/auth-query.js

@@ -0,0 +1,34 @@
+import { normalizeTableSchema, } from '../../../zero-schema/src/normalize-table-schema.js';
+import { ExpressionBuilder } from './expression.js';
+import { AbstractQuery } from './query-impl.js';
+export function authQuery(schema) {
+    return new AuthQuery(normalizeTableSchema(schema));
+}
+/**
+ * This class will replace `config-query` once we have moved all
+ * authorization logic out of the config.
+ */
+export class AuthQuery extends AbstractQuery {
+    constructor(schema, ast = { table: schema.tableName }, format) {
+        super(schema, ast, format);
+    }
+    expressionBuilder() {
+        return new ExpressionBuilder(this._exists);
+    }
+    _newQuery(schema, ast, format) {
+        return new AuthQuery(schema, ast, format);
+    }
+    get ast() {
+        return this._completeAst();
+    }
+    materialize() {
+        throw new Error('AuthQuery cannot be materialized');
+    }
+    run() {
+        throw new Error('AuthQuery cannot be run');
+    }
+    preload() {
+        throw new Error('AuthQuery cannot be preloaded');
+    }
+}
+//# sourceMappingURL=auth-query.js.map

package/out/zql/src/query/auth-query.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"auth-query.js","sourceRoot":"","sources":["../../../../../zql/src/query/auth-query.ts"],"names":[],"mappings":"AACA,OAAO,EACL,oBAAoB,GAErB,MAAM,oDAAoD,CAAC;AAG5D,OAAO,EAAC,iBAAiB,EAAC,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAC,aAAa,EAAC,MAAM,iBAAiB,CAAC;AAI9C,MAAM,UAAU,SAAS,CACvB,MAAe;IAEf,OAAO,IAAI,SAAS,CAAU,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED;;;GAGG;AACH,MAAM,OAAO,SAGX,SAAQ,aAAoC;IAC5C,YACE,MAA6B,EAC7B,MAAW,EAAC,KAAK,EAAE,MAAM,CAAC,SAAS,EAAC,EACpC,MAA2B;QAE3B,KAAK,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IAC7B,CAAC;IAED,iBAAiB;QACf,OAAO,IAAI,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7C,CAAC;IAES,SAAS,CACjB,MAA6B,EAC7B,GAAQ,EACR,MAA0B;QAE1B,OAAO,IAAI,SAAS,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IAC5C,CAAC;IAED,IAAI,GAAG;QACL,OAAO,IAAI,CAAC,YAAY,EAAE,CAAC;IAC7B,CAAC;IAED,WAAW;QACT,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IACtD,CAAC;IAED,GAAG;QACD,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAC7C,CAAC;IAED,OAAO;QAIL,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;IACnD,CAAC;CACF"}

package/out/zql/src/query/dnf.js

@@ -0,0 +1,57 @@
+import { unreachable } from '../../../shared/src/asserts.js';
+import { flatten, TRUE } from './expression.js';
+/**
+ * DNF (Disjunctive Normal Form) is a way to represent a boolean expression as a
+ * series of `or` conditions where each `or` condition is a series of `and`
+ * conditions. The `and` conditions are the terms (SimpleCondition) of the
+ * expression.
+ */
+export function dnf(condition) {
+    return unwrap(dnfInner(condition));
+}
+function dnfInner(condition) {
+    switch (condition.type) {
+        case 'simple':
+        case 'correlatedSubquery':
+            return { type: 'or', conditions: [condition] };
+        case 'and':
+            return distributeAnd(condition.conditions.map(dnfInner));
+        case 'or':
+            return {
+                type: 'or',
+                conditions: flatten('or', condition.conditions.map(dnfInner).flatMap(c => c.conditions)),
+            };
+        default:
+            unreachable(condition);
+    }
+}
+function distributeAnd(conditions) {
+    if (conditions.length === 0) {
+        return { type: 'or', conditions: [TRUE] };
+    }
+    return conditions.reduce((acc, orCondition) => {
+        const newConditions = [];
+        for (const accCondition of acc.conditions) {
+            for (const orSubCondition of orCondition.conditions) {
+                newConditions.push({
+                    type: 'and',
+                    conditions: [accCondition, orSubCondition],
+                });
+            }
+        }
+        return {
+            type: 'or',
+            conditions: flatten('or', newConditions),
+        };
+    });
+}
+export function unwrap(c) {
+    if (c.type === 'simple' || c.type === 'correlatedSubquery') {
+        return c;
+    }
+    if (c.conditions.length === 1) {
+        return unwrap(c.conditions[0]);
+    }
+    return { type: c.type, conditions: flatten(c.type, c.conditions.map(unwrap)) };
+}
+//# sourceMappingURL=dnf.js.map

package/out/zql/src/query/dnf.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dnf.js","sourceRoot":"","sources":["../../../../../zql/src/query/dnf.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,WAAW,EAAC,MAAM,gCAAgC,CAAC;AAE3D,OAAO,EAAC,OAAO,EAAE,IAAI,EAAC,MAAM,iBAAiB,CAAC;AAE9C;;;;;GAKG;AACH,MAAM,UAAU,GAAG,CAAC,SAAoB;IACtC,OAAO,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,QAAQ,CAAC,SAAoB;IACpC,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,QAAQ,CAAC;QACd,KAAK,oBAAoB;YACvB,OAAO,EAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,SAAS,CAAC,EAAC,CAAC;QAE/C,KAAK,KAAK;YACR,OAAO,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;QAE3D,KAAK,IAAI;YACP,OAAO;gBACL,IAAI,EAAE,IAAI;gBACV,UAAU,EAAE,OAAO,CACjB,IAAI,EACJ,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAC9D;aACF,CAAC;QAEJ;YACE,WAAW,CAAC,SAAS,CAAC,CAAC;IAC3B,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,UAAyB;IAC9C,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,EAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAC,CAAC;IAC1C,CAAC;IAED,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,WAAW,EAAe,EAAE;QACzD,MAAM,aAAa,GAAgB,EAAE,CAAC;QACtC,KAAK,MAAM,YAAY,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YAC1C,KAAK,MAAM,cAAc,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;gBACpD,aAAa,CAAC,IAAI,CAAC;oBACjB,IAAI,EAAE,KAAK;oBACX,UAAU,EAAE,CAAC,YAAY,EAAE,cAAc,CAAC;iBAC3C,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO;YACL,IAAI,EAAE,IAAI;YACV,UAAU,EAAE,OAAO,CAAC,IAAI,EAAE,aAAa,CAAC;SACzC,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,CAAY;IACjC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QAC3D,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,EAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAC,CAAC;AAC/E,CAAC"}

package/out/zql/src/query/expression.js

@@ -0,0 +1,155 @@
+/* eslint-disable @typescript-eslint/no-explicit-any */
+import { must } from '../../../shared/src/must.js';
+export class ExpressionBuilder {
+    #exists;
+    constructor(exists) {
+        this.#exists = exists;
+        this.exists = this.exists.bind(this);
+    }
+    get eb() {
+        return this;
+    }
+    cmp(field, opOrValue, value) {
+        return cmp(field, opOrValue, value);
+    }
+    cmpLit(left, op, right) {
+        return {
+            type: 'simple',
+            left: isParameter(left) ? left : { type: 'literal', value: left },
+            right: isParameter(right) ? right : { type: 'literal', value: right },
+            op,
+        };
+    }
+    and = and;
+    or = or;
+    not = not;
+    exists(relationship, cb) {
+        return this.#exists(relationship, cb);
+    }
+}
+export function and(...conditions) {
+    const expressions = filterTrue(filterUndefined(conditions));
+    if (expressions.length === 1) {
+        return expressions[0];
+    }
+    if (expressions.some(isAlwaysFalse)) {
+        return FALSE;
+    }
+    return { type: 'and', conditions: expressions };
+}
+export function or(...conditions) {
+    const expressions = filterFalse(filterUndefined(conditions));
+    if (expressions.length === 1) {
+        return expressions[0];
+    }
+    if (expressions.some(isAlwaysTrue)) {
+        return TRUE;
+    }
+    return { type: 'or', conditions: expressions };
+}
+export function not(expression) {
+    switch (expression.type) {
+        case 'and':
+            return {
+                type: 'or',
+                conditions: expression.conditions.map(not),
+            };
+        case 'or':
+            return {
+                type: 'and',
+                conditions: expression.conditions.map(not),
+            };
+        case 'correlatedSubquery':
+            return {
+                type: 'correlatedSubquery',
+                related: expression.related,
+                op: negateOperator(expression.op),
+            };
+        case 'simple':
+            return {
+                type: 'simple',
+                op: negateOperator(expression.op),
+                left: expression.left,
+                right: expression.right,
+            };
+    }
+}
+export function cmp(field, opOrValue, value) {
+    let op;
+    if (value === undefined) {
+        value = opOrValue;
+        op = '=';
+    }
+    else {
+        op = opOrValue;
+    }
+    return {
+        type: 'simple',
+        left: { type: 'column', name: field },
+        right: isParameter(value) ? value : { type: 'literal', value },
+        op,
+    };
+}
+function isParameter(value) {
+    return (typeof value === 'object' && value?.type === 'static');
+}
+export const TRUE = {
+    type: 'and',
+    conditions: [],
+};
+const FALSE = {
+    type: 'or',
+    conditions: [],
+};
+function isAlwaysTrue(condition) {
+    return condition.type === 'and' && condition.conditions.length === 0;
+}
+function isAlwaysFalse(condition) {
+    return condition.type === 'or' && condition.conditions.length === 0;
+}
+export function flatten(type, conditions) {
+    const flattened = [];
+    for (const c of conditions) {
+        if (c.type === type) {
+            flattened.push(...c.conditions);
+        }
+        else {
+            flattened.push(c);
+        }
+    }
+    return flattened;
+}
+const negateSimpleOperatorMap = {
+    ['=']: '!=',
+    ['!=']: '=',
+    ['<']: '>=',
+    ['>']: '<=',
+    ['>=']: '<',
+    ['<=']: '>',
+    ['IN']: 'NOT IN',
+    ['NOT IN']: 'IN',
+    ['LIKE']: 'NOT LIKE',
+    ['NOT LIKE']: 'LIKE',
+    ['ILIKE']: 'NOT ILIKE',
+    ['NOT ILIKE']: 'ILIKE',
+    ['IS']: 'IS NOT',
+    ['IS NOT']: 'IS',
+};
+const negateOperatorMap = {
+    ...negateSimpleOperatorMap,
+    ['EXISTS']: 'NOT EXISTS',
+    ['NOT EXISTS']: 'EXISTS',
+};
+function negateOperator(op) {
+    return must(negateOperatorMap[op]);
+}
+function filterUndefined(array) {
+    return array.filter(e => e !== undefined);
+}
+function filterTrue(conditions) {
+    return conditions.filter(c => !isAlwaysTrue(c));
+}
+function filterFalse(conditions) {
+    return conditions.filter(c => !isAlwaysFalse(c));
+}
+//# sourceMappingURL=expression.js.map

package/out/zql/src/query/expression.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression.js","sourceRoot":"","sources":["../../../../../zql/src/query/expression.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,EAAC,IAAI,EAAC,MAAM,6BAA6B,CAAC;AAsCjD,MAAM,OAAO,iBAAiB;IACnB,OAAO,CAKD;IAEf,YACE,MAKc;QAEd,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;QACtB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC;IAED,IAAI,EAAE;QACJ,OAAO,IAAI,CAAC;IACd,CAAC;IAkCD,GAAG,CACD,KAAa,EACb,SAAiD,EACjD,KAAmC;QAEnC,OAAO,GAAG,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;IACtC,CAAC;IAED,MAAM,CACJ,IAAiC,EACjC,EAAY,EACZ,KAAkC;QAElC,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAC;YAC/D,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAC;YACnE,EAAE;SACH,CAAC;IACJ,CAAC;IAED,GAAG,GAAG,GAAG,CAAC;IACV,EAAE,GAAG,EAAE,CAAC;IACR,GAAG,GAAG,GAAG,CAAC;IAYV,MAAM,CACJ,YAAoB,EACpB,EAEkC;QAElC,OAAO,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;IACxC,CAAC;CACF;AAED,MAAM,UAAU,GAAG,CAAC,GAAG,UAAqC;IAC1D,MAAM,WAAW,GAAG,UAAU,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC;IAE5D,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC;IACxB,CAAC;IAED,IAAI,WAAW,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QACpC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,EAAC,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,WAAW,EAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,EAAE,CAAC,GAAG,UAAqC;IACzD,MAAM,WAAW,GAAG,WAAW,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC;IAE7D,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC;IACxB,CAAC;IAED,IAAI,WAAW,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,EAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAC,CAAC;AAC/C,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,UAAqB;IACvC,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,KAAK;YACR,OAAO;gBACL,IAAI,EAAE,IAAI;gBACV,UAAU,EAAE,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;aAC3C,CAAC;QACJ,KAAK,IAAI;YACP,OAAO;gBACL,IAAI,EAAE,KAAK;gBACX,UAAU,EAAE,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;aAC3C,CAAC;QACJ,KAAK,oBAAoB;YACvB,OAAO;gBACL,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE,UAAU,CAAC,OAAO;gBAC3B,EAAE,EAAE,cAAc,CAAC,UAAU,CAAC,EAAE,CAAC;aAClC,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO;gBACL,IAAI,EAAE,QAAQ;gBACd,EAAE,EAAE,cAAc,CAAC,UAAU,CAAC,EAAE,CAAC;gBACjC,IAAI,EAAE,UAAU,CAAC,IAAI;gBACrB,KAAK,EAAE,UAAU,CAAC,KAAK;aACxB,CAAC;IACN,CAAC;AACH,CAAC;AAED,MAAM,UAAU,GAAG,CACjB,KAAa,EACb,SAAiD,EACjD,KAAmC;IAEnC,IAAI,EAAY,CAAC;IACjB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,KAAK,GAAG,SAAS,CAAC;QAClB,EAAE,GAAG,GAAG,CAAC;IACX,CAAC;SAAM,CAAC;QACN,EAAE,GAAG,SAAqB,CAAC;IAC7B,CAAC;IAED,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,EAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAC;QACnC,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAC;QAC5D,EAAE;KACH,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAClB,KAAyC;IAEzC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ,IAAK,KAAwB,EAAE,IAAI,KAAK,QAAQ,CAC1E,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,IAAI,GAAc;IAC7B,IAAI,EAAE,KAAK;IACX,UAAU,EAAE,EAAE;CACf,CAAC;AAEF,MAAM,KAAK,GAAc;IACvB,IAAI,EAAE,IAAI;IACV,UAAU,EAAE,EAAE;CACf,CAAC;AAEF,SAAS,YAAY,CAAC,SAAoB;IACxC,OAAO,SAAS,CAAC,IAAI,KAAK,KAAK,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,aAAa,CAAC,SAAoB;IACzC,OAAO,SAAS,CAAC,IAAI,KAAK,IAAI,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,IAAkB,EAClB,UAAuB;IAEvB,MAAM,SAAS,GAAgB,EAAE,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;QAClC,CAAC;aAAM,CAAC;YACN,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,uBAAuB,GAAG;IAC9B,CAAC,GAAG,CAAC,EAAE,IAAI;IACX,CAAC,IAAI,CAAC,EAAE,GAAG;IACX,CAAC,GAAG,CAAC,EAAE,IAAI;IACX,CAAC,GAAG,CAAC,EAAE,IAAI;IACX,CAAC,IAAI,CAAC,EAAE,GAAG;IACX,CAAC,IAAI,CAAC,EAAE,GAAG;IACX,CAAC,IAAI,CAAC,EAAE,QAAQ;IAChB,CAAC,QAAQ,CAAC,EAAE,IAAI;IAChB,CAAC,MAAM,CAAC,EAAE,UAAU;IACpB,CAAC,UAAU,CAAC,EAAE,MAAM;IACpB,CAAC,OAAO,CAAC,EAAE,WAAW;IACtB,CAAC,WAAW,CAAC,EAAE,OAAO;IACtB,CAAC,IAAI,CAAC,EAAE,QAAQ;IAChB,CAAC,QAAQ,CAAC,EAAE,IAAI;CACR,CAAC;AAEX,MAAM,iBAAiB,GAAG;IACxB,GAAG,uBAAuB;IAC1B,CAAC,QAAQ,CAAC,EAAE,YAAY;IACxB,CAAC,YAAY,CAAC,EAAE,QAAQ;CAChB,CAAC;AAEX,SAAS,cAAc,CACrB,EAAM;IAEN,OAAO,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,eAAe,CAAI,KAAwB;IAClD,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,UAAU,CAAC,UAAuB;IACzC,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,WAAW,CAAC,UAAuB;IAC1C,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC"}

package/out/zql/src/query/query-impl.d.ts

@@ -1,4 +1,4 @@
-import type { AST } from '../../../zero-protocol/src/ast.js';
+import type { AST, Condition } from '../../../zero-protocol/src/ast.js';
 import { type NormalizedTableSchema } from '../../../zero-schema/src/normalize-table-schema.js';
 import { type PullSchemaForRelationship, type TableSchema, type TableSchemaToRow } from '../../../zero-schema/src/table-schema.js';
 import { type BuilderDelegate } from '../builder/builder.js';
@@ -32,6 +32,7 @@ export declare abstract class AbstractQuery<TSchema extends TableSchema, TReturn
     } | undefined): Query<TSchema, TReturn>;
     limit(limit: number): Query<TSchema, TReturn>;
     orderBy<TSelector extends keyof TSchema['columns']>(field: TSelector, direction: 'asc' | 'desc'): Query<TSchema, TReturn>;
+    protected _exists: (relationship: string, cb?: (query: Query<TableSchema, QueryType>) => Query<TableSchema, QueryType>) => Condition;
     protected _completeAst(): AST;
     abstract materialize(): TypedView<Smash<TReturn>>;
     abstract materialize<T>(factory: ViewFactory<TSchema, TReturn, T>): T;
@@ -42,10 +43,12 @@ export declare abstract class AbstractQuery<TSchema extends TableSchema, TReturn
     };
 }
 export declare const astForTestingSymbol: unique symbol;
+export declare const completedAstSymbol: unique symbol;
 export declare class QueryImpl<TSchema extends TableSchema, TReturn extends QueryType = DefaultQueryResultRow<TSchema>> extends AbstractQuery<TSchema, TReturn> {
     #private;
     constructor(delegate: QueryDelegate, schema: NormalizedTableSchema, ast?: AST, format?: Format | undefined);
     get [astForTestingSymbol](): AST;
+    get [completedAstSymbol](): AST;
     protected _newQuery<TSchema extends TableSchema, TReturn extends QueryType>(schema: NormalizedTableSchema, ast: AST, format: Format | undefined): Query<TSchema, TReturn>;
     materialize<T>(factory?: ViewFactory<TSchema, TReturn, T>): T;
     run(): Smash<TReturn>;

package/out/zql/src/query/query-impl.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"query-impl.d.ts","sourceRoot":"","sources":["../../../../../zql/src/query/query-impl.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAC,GAAG,EAAsB,MAAM,mCAAmC,CAAC;AAEhF,OAAO,EAEL,KAAK,qBAAqB,EAC3B,MAAM,oDAAoD,CAAC;AAC5D,OAAO,EAGL,KAAK,yBAAyB,EAC9B,KAAK,WAAW,EAChB,KAAK,gBAAgB,EACtB,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAAgB,KAAK,eAAe,EAAC,MAAM,uBAAuB,CAAC;AAG1E,OAAO,KAAK,EAAC,MAAM,EAAE,WAAW,EAAC,MAAM,gBAAgB,CAAC;AAExD,OAAO,EAIL,KAAK,iBAAiB,EACvB,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAC,aAAa,EAAC,MAAM,qBAAqB,CAAC;AACvD,OAAO,KAAK,EACV,YAAY,EACZ,qBAAqB,EACrB,uBAAuB,EACvB,YAAY,EACZ,QAAQ,EACR,SAAS,EACT,KAAK,EACL,SAAS,EACT,KAAK,EACN,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAC,SAAS,EAAC,MAAM,iBAAiB,CAAC;AAE/C,wBAAgB,QAAQ,CACtB,OAAO,SAAS,WAAW,EAC3B,OAAO,SAAS,SAAS,GAAG,qBAAqB,CAAC,OAAO,CAAC,EAC1D,QAAQ,EAAE,aAAa,EAAE,WAAW,EAAE,OAAO,GAAG,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAExE;AAcD,MAAM,MAAM,cAAc,GAAG,MAAM,IAAI,CAAC;AACxC,MAAM,MAAM,WAAW,GAAG,CAAC,GAAG,EAAE,OAAO,KAAK,IAAI,CAAC;AACjD,MAAM,WAAW,aAAc,SAAQ,eAAe;IACpD,cAAc,CAAC,GAAG,EAAE,GAAG,EAAE,WAAW,CAAC,EAAE,WAAW,GAAG,SAAS,GAAG,MAAM,IAAI,CAAC;IAC5E,mBAAmB,CAAC,EAAE,EAAE,cAAc,GAAG,MAAM,IAAI,CAAC;IACpD,gBAAgB,CAAC,CAAC,EAAE,gBAAgB,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;CACnD;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,SAAS,MAAM,OAAO,EAC/D,WAAW,EAAE,UAAU,GAAG,gBAAgB,EAC1C,KAAK,EAAE,MAAM,GACZ,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAM7C;AAED,eAAO,MAAM,WAAW,WAAW,CAAC;AAEpC,8BAAsB,aAAa,CACjC,OAAO,SAAS,WAAW,EAC3B,OAAO,SAAS,SAAS,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAC1D,YAAW,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC;;gBAQxC,MAAM,EAAE,qBAAqB,EAC7B,GAAG,EAAE,GAAG,EACR,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS;IAO7B,IAAI,MAAM,IAAI,MAAM,CAEnB;IAED,IAAI,IAAI,MAAM;IASd,SAAS,CAAC,QAAQ,CAAC,SAAS,CAC1B,OAAO,SAAS,WAAW,EAC3B,OAAO,SAAS,SAAS,EAEzB,MAAM,EAAE,qBAAqB,EAC7B,GAAG,EAAE,GAAG,EACR,MAAM,EAAE,MAAM,GAAG,SAAS,GACzB,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;IAE1B,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC;IAc5C,WAAW,CACT,YAAY,EAAE,MAAM,OAAO,CAAC,eAAe,CAAC,GAC3C,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;IAa1B,OAAO,CAAC,aAAa,SAAS,MAAM,OAAO,CAAC,eAAe,CAAC,EAC1D,YAAY,EAAE,aAAa,GAC1B,KAAK,CACN,OAAO,EACP,YAAY,CACV,KAAK,CACH,yBAAyB,CAAC,OAAO,EAAE,aAAa,CAAC,EACjD,qBAAqB,CAAC,yBAAyB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CACzE,EACD,OAAO,EACP,aAAa,GAAG,MAAM,CACvB,CACF;IAqHD,KAAK,CACH,wBAAwB,EAAE,MAAM,GAAG,iBAAiB,CAAC,OAAO,CAAC,EAC7D,SAAS,CAAC,EACN,QAAQ,GACR,uBAAuB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GACtC,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAC5B,KAAK,CAAC,EAAE,uBAAuB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GACxE,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;IAyB1B,KAAK,CACH,GAAG,EAAE,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,EACvC,IAAI,CAAC,EAAE;QAAC,SAAS,EAAE,OAAO,CAAA;KAAC,GAAG,SAAS,GACtC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;IAc1B,KAAK,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;IAkB7C,OAAO,CAAC,SAAS,SAAS,MAAM,OAAO,CAAC,SAAS,CAAC,EAChD,KAAK,EAAE,SAAS,EAChB,SAAS,EAAE,KAAK,GAAG,MAAM,GACxB,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;IAiG1B,SAAS,CAAC,YAAY,IAAI,GAAG;IA2B7B,QAAQ,CAAC,WAAW,IAAI,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACjD,QAAQ,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC;IACrE,QAAQ,CAAC,GAAG,IAAI,KAAK,CAAC,OAAO,CAAC;IAC9B,QAAQ,CAAC,OAAO,IAAI;QAClB,OAAO,EAAE,MAAM,IAAI,CAAC;QACpB,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;KACzB;CACF;AAED,eAAO,MAAM,mBAAmB,eAAW,CAAC;AAE5C,qBAAa,SAAS,CACpB,OAAO,SAAS,WAAW,EAC3B,OAAO,SAAS,SAAS,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAC1D,SAAQ,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC;;gBAKrC,QAAQ,EAAE,aAAa,EACvB,MAAM,EAAE,qBAAqB,EAC7B,GAAG,GAAE,GAA+B,EACpC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS;IAQ7B,IAAI,CAAC,mBAAmB,CAAC,IAAI,GAAG,CAE/B;IAED,SAAS,CAAC,SAAS,CAAC,OAAO,SAAS,WAAW,EAAE,OAAO,SAAS,SAAS,EACxE,MAAM,EAAE,qBAAqB,EAC7B,GAAG,EAAE,GAAG,EACR,MAAM,EAAE,MAAM,GAAG,SAAS,GACzB,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;IAI1B,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC;IAsB7D,GAAG;IAOH,OAAO,IAAI;QACT,OAAO,EAAE,MAAM,IAAI,CAAC;QACpB,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;KACzB;CAaF"}
+{"version":3,"file":"query-impl.d.ts","sourceRoot":"","sources":["../../../../../zql/src/query/query-impl.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAC,GAAG,EAAE,SAAS,EAAW,MAAM,mCAAmC,CAAC;AAEhF,OAAO,EAEL,KAAK,qBAAqB,EAC3B,MAAM,oDAAoD,CAAC;AAC5D,OAAO,EAGL,KAAK,yBAAyB,EAC9B,KAAK,WAAW,EAChB,KAAK,gBAAgB,EACtB,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAAgB,KAAK,eAAe,EAAC,MAAM,uBAAuB,CAAC;AAG1E,OAAO,KAAK,EAAC,MAAM,EAAE,WAAW,EAAC,MAAM,gBAAgB,CAAC;AAExD,OAAO,EAIL,KAAK,iBAAiB,EACvB,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAC,aAAa,EAAC,MAAM,qBAAqB,CAAC;AACvD,OAAO,KAAK,EACV,YAAY,EACZ,qBAAqB,EACrB,uBAAuB,EACvB,YAAY,EACZ,QAAQ,EACR,SAAS,EACT,KAAK,EACL,SAAS,EACT,KAAK,EACN,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAC,SAAS,EAAC,MAAM,iBAAiB,CAAC;AAE/C,wBAAgB,QAAQ,CACtB,OAAO,SAAS,WAAW,EAC3B,OAAO,SAAS,SAAS,GAAG,qBAAqB,CAAC,OAAO,CAAC,EAC1D,QAAQ,EAAE,aAAa,EAAE,WAAW,EAAE,OAAO,GAAG,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAExE;AAcD,MAAM,MAAM,cAAc,GAAG,MAAM,IAAI,CAAC;AACxC,MAAM,MAAM,WAAW,GAAG,CAAC,GAAG,EAAE,OAAO,KAAK,IAAI,CAAC;AACjD,MAAM,WAAW,aAAc,SAAQ,eAAe;IACpD,cAAc,CAAC,GAAG,EAAE,GAAG,EAAE,WAAW,CAAC,EAAE,WAAW,GAAG,SAAS,GAAG,MAAM,IAAI,CAAC;IAC5E,mBAAmB,CAAC,EAAE,EAAE,cAAc,GAAG,MAAM,IAAI,CAAC;IACpD,gBAAgB,CAAC,CAAC,EAAE,gBAAgB,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;CACnD;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,SAAS,MAAM,OAAO,EAC/D,WAAW,EAAE,UAAU,GAAG,gBAAgB,EAC1C,KAAK,EAAE,MAAM,GACZ,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAM7C;AAED,eAAO,MAAM,WAAW,WAAW,CAAC;AAEpC,8BAAsB,aAAa,CACjC,OAAO,SAAS,WAAW,EAC3B,OAAO,SAAS,SAAS,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAC1D,YAAW,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC;;gBAQxC,MAAM,EAAE,qBAAqB,EAC7B,GAAG,EAAE,GAAG,EACR,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS;IAO7B,IAAI,MAAM,IAAI,MAAM,CAEnB;IAED,IAAI,IAAI,MAAM;IASd,SAAS,CAAC,QAAQ,CAAC,SAAS,CAC1B,OAAO,SAAS,WAAW,EAC3B,OAAO,SAAS,SAAS,EAEzB,MAAM,EAAE,qBAAqB,EAC7B,GAAG,EAAE,GAAG,EACR,MAAM,EAAE,MAAM,GAAG,SAAS,GACzB,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;IAE1B,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC;IAc5C,WAAW,CACT,YAAY,EAAE,MAAM,OAAO,CAAC,eAAe,CAAC,GAC3C,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;IAa1B,OAAO,CAAC,aAAa,SAAS,MAAM,OAAO,CAAC,eAAe,CAAC,EAC1D,YAAY,EAAE,aAAa,GAC1B,KAAK,CACN,OAAO,EACP,YAAY,CACV,KAAK,CACH,yBAAyB,CAAC,OAAO,EAAE,aAAa,CAAC,EACjD,qBAAqB,CAAC,yBAAyB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CACzE,EACD,OAAO,EACP,aAAa,GAAG,MAAM,CACvB,CACF;IAqHD,KAAK,CACH,wBAAwB,EAAE,MAAM,GAAG,iBAAiB,CAAC,OAAO,CAAC,EAC7D,SAAS,CAAC,EACN,QAAQ,GACR,uBAAuB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GACtC,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAC5B,KAAK,CAAC,EAAE,uBAAuB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GACxE,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;IAyB1B,KAAK,CACH,GAAG,EAAE,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,EACvC,IAAI,CAAC,EAAE;QAAC,SAAS,EAAE,OAAO,CAAA;KAAC,GAAG,SAAS,GACtC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;IAc1B,KAAK,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;IAkB7C,OAAO,CAAC,SAAS,SAAS,MAAM,OAAO,CAAC,SAAS,CAAC,EAChD,KAAK,EAAE,SAAS,EAChB,SAAS,EAAE,KAAK,GAAG,MAAM,GACxB,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;IAW1B,SAAS,CAAC,OAAO,iBACD,MAAM,OAChB,CACF,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,SAAS,CAAC,KACjC,KAAK,CAAC,WAAW,EAAE,SAAS,CAAC,KACjC,SAAS,CA6EV;IAIF,SAAS,CAAC,YAAY,IAAI,GAAG;IA2B7B,QAAQ,CAAC,WAAW,IAAI,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACjD,QAAQ,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC;IACrE,QAAQ,CAAC,GAAG,IAAI,KAAK,CAAC,OAAO,CAAC;IAC9B,QAAQ,CAAC,OAAO,IAAI;QAClB,OAAO,EAAE,MAAM,IAAI,CAAC;QACpB,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;KACzB;CACF;AAED,eAAO,MAAM,mBAAmB,eAAW,CAAC;AAC5C,eAAO,MAAM,kBAAkB,eAAW,CAAC;AAE3C,qBAAa,SAAS,CACpB,OAAO,SAAS,WAAW,EAC3B,OAAO,SAAS,SAAS,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAC1D,SAAQ,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC;;gBAKrC,QAAQ,EAAE,aAAa,EACvB,MAAM,EAAE,qBAAqB,EAC7B,GAAG,GAAE,GAA+B,EACpC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS;IAQ7B,IAAI,CAAC,mBAAmB,CAAC,IAAI,GAAG,CAE/B;IAED,IAAI,CAAC,kBAAkB,CAAC,IAAI,GAAG,CAE9B;IAED,SAAS,CAAC,SAAS,CAAC,OAAO,SAAS,WAAW,EAAE,OAAO,SAAS,SAAS,EACxE,MAAM,EAAE,qBAAqB,EAC7B,GAAG,EAAE,GAAG,EACR,MAAM,EAAE,MAAM,GAAG,SAAS,GACzB,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;IAI1B,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC;IAsB7D,GAAG;IAOH,OAAO,IAAI;QACT,OAAO,EAAE,MAAM,IAAI,CAAC;QACpB,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;KACzB;CAaF"}

package/out/zql/src/query/query-impl.js

@@ -0,0 +1,359 @@
+/* eslint-disable @typescript-eslint/naming-convention */
+/* eslint-disable @typescript-eslint/no-explicit-any */
+import { resolver } from '@rocicorp/resolver';
+import { assert } from '../../../shared/src/asserts.js';
+import { hashOfAST } from '../../../zero-protocol/src/ast-hash.js';
+import { normalizeTableSchema, } from '../../../zero-schema/src/normalize-table-schema.js';
+import { isFieldRelationship, isJunctionRelationship, } from '../../../zero-schema/src/table-schema.js';
+import { buildPipeline } from '../builder/builder.js';
+import { ArrayView } from '../ivm/array-view.js';
+import { dnf } from './dnf.js';
+import { and, cmp, ExpressionBuilder, } from './expression.js';
+export function newQuery(delegate, tableSchema) {
+    return new QueryImpl(delegate, normalizeTableSchema(tableSchema));
+}
+function newQueryWithDetails(delegate, schema, ast, format) {
+    return new QueryImpl(delegate, schema, ast, format);
+}
+export function staticParam(anchorClass, field) {
+    return {
+        type: 'static',
+        anchor: anchorClass,
+        field,
+    };
+}
+export const SUBQ_PREFIX = 'zsubq_';
+export class AbstractQuery {
+    #ast;
+    #schema;
+    #format;
+    #hash = '';
+    constructor(schema, ast, format) {
+        this.#ast = ast;
+        this.#format = format ?? { singular: false, relationships: {} };
+        this.#schema = schema;
+    }
+    get format() {
+        return this.#format;
+    }
+    hash() {
+        if (!this.#hash) {
+            const ast = this._completeAst();
+            const hash = hashOfAST(ast);
+            this.#hash = hash;
+        }
+        return this.#hash;
+    }
+    one() {
+        return this._newQuery(this.#schema, {
+            ...this.#ast,
+            limit: 1,
+        }, {
+            ...this.#format,
+            singular: true,
+        });
+    }
+    whereExists(relationship, cb = q => q) {
+        return this.where(({ exists }) => exists(relationship, cb));
+    }
+    related(relationship, cb = q => q) {
+        if (relationship.startsWith(SUBQ_PREFIX)) {
+            throw new Error(`Relationship names may not start with "${SUBQ_PREFIX}". That is a reserved prefix.`);
+        }
+        const related = this.#schema.relationships[relationship];
+        assert(related, 'Invalid relationship');
+        const fieldRelationship = related;
+        const junctionRelationship = related;
+        if (isFieldRelationship(fieldRelationship)) {
+            const destSchema = fieldRelationship.dest.schema;
+            const sq = cb(this._newQuery(destSchema, {
+                table: destSchema.tableName,
+                alias: relationship,
+            }, undefined));
+            return this._newQuery(this.#schema, {
+                ...this.#ast,
+                related: [
+                    ...(this.#ast.related ?? []),
+                    {
+                        correlation: {
+                            parentField: fieldRelationship.source,
+                            childField: fieldRelationship.dest.field,
+                            op: '=',
+                        },
+                        subquery: addPrimaryKeysToAst(destSchema, sq.#ast),
+                    },
+                ],
+            }, {
+                ...this.#format,
+                relationships: {
+                    ...this.#format.relationships,
+                    [relationship]: sq.#format,
+                },
+            });
+        }
+        if (isJunctionRelationship(junctionRelationship)) {
+            const destSchema = junctionRelationship.dest.schema;
+            const junctionSchema = junctionRelationship.junction.dest.schema;
+            const sq = cb(this._newQuery(destSchema, {
+                table: destSchema.tableName,
+                alias: relationship,
+            }, undefined));
+            return this._newQuery(this.#schema, {
+                ...this.#ast,
+                related: [
+                    ...(this.#ast.related ?? []),
+                    {
+                        correlation: {
+                            parentField: junctionRelationship.source,
+                            childField: junctionRelationship.junction.source,
+                            op: '=',
+                        },
+                        subquery: {
+                            table: junctionSchema.tableName,
+                            alias: relationship,
+                            orderBy: addPrimaryKeys(junctionSchema, undefined),
+                            related: [
+                                {
+                                    correlation: {
+                                        parentField: junctionRelationship.junction.dest.field,
+                                        childField: junctionRelationship.dest.field,
+                                        op: '=',
+                                    },
+                                    hidden: true,
+                                    subquery: addPrimaryKeysToAst(destSchema, sq.#ast),
+                                },
+                            ],
+                        },
+                    },
+                ],
+            }, {
+                ...this.#format,
+                relationships: {
+                    ...this.#format.relationships,
+                    [relationship]: sq.#format,
+                },
+            });
+        }
+        throw new Error(`Invalid relationship ${relationship}`);
+    }
+    where(fieldOrExpressionFactory, opOrValue, value) {
+        let cond;
+        if (typeof fieldOrExpressionFactory === 'function') {
+            cond = fieldOrExpressionFactory(new ExpressionBuilder(this._exists));
+        }
+        else {
+            assert(opOrValue !== undefined, 'Invalid condition');
+            cond = cmp(fieldOrExpressionFactory, opOrValue, value);
+        }
+        const existingWhere = this.#ast.where;
+        if (existingWhere) {
+            cond = and(existingWhere, cond);
+        }
+        return this._newQuery(this.#schema, {
+            ...this.#ast,
+            where: dnf(cond),
+        }, this.#format);
+    }
+    start(row, opts) {
+        return this._newQuery(this.#schema, {
+            ...this.#ast,
+            start: {
+                row,
+                exclusive: !opts?.inclusive,
+            },
+        }, this.#format);
+    }
+    limit(limit) {
+        if (limit < 0) {
+            throw new Error('Limit must be non-negative');
+        }
+        if ((limit | 0) !== limit) {
+            throw new Error('Limit must be an integer');
+        }
+        return this._newQuery(this.#schema, {
+            ...this.#ast,
+            limit,
+        }, this.#format);
+    }
+    orderBy(field, direction) {
+        return this._newQuery(this.#schema, {
+            ...this.#ast,
+            orderBy: [...(this.#ast.orderBy ?? []), [field, direction]],
+        }, this.#format);
+    }
+    _exists = (relationship, cb = q => q) => {
+        const related = this.#schema.relationships[relationship];
+        assert(related, 'Invalid relationship');
+        const fieldRelationship = related;
+        const junctionRelationship = related;
+        if (isFieldRelationship(fieldRelationship)) {
+            const destSchema = fieldRelationship.dest.schema;
+            const sq = cb(this._newQuery(destSchema, {
+                table: destSchema.tableName,
+                alias: `${SUBQ_PREFIX}${relationship}`,
+            }, undefined));
+            return {
+                type: 'correlatedSubquery',
+                related: {
+                    correlation: {
+                        parentField: fieldRelationship.source,
+                        childField: fieldRelationship.dest.field,
+                        op: '=',
+                    },
+                    subquery: addPrimaryKeysToAst(destSchema, sq.#ast),
+                },
+                op: 'EXISTS',
+            };
+        }
+        if (isJunctionRelationship(junctionRelationship)) {
+            const destSchema = junctionRelationship.dest.schema;
+            const junctionSchema = junctionRelationship.junction.dest.schema;
+            const queryToDest = cb(this._newQuery(destSchema, {
+                table: destSchema.tableName,
+                alias: `${SUBQ_PREFIX}${relationship}`,
+            }, undefined));
+            return {
+                type: 'correlatedSubquery',
+                related: {
+                    correlation: {
+                        parentField: junctionRelationship.source,
+                        childField: junctionRelationship.junction.source,
+                        op: '=',
+                    },
+                    subquery: {
+                        table: junctionSchema.tableName,
+                        alias: `${SUBQ_PREFIX}${relationship}`,
+                        orderBy: addPrimaryKeys(junctionSchema, undefined),
+                        where: {
+                            type: 'correlatedSubquery',
+                            related: {
+                                correlation: {
+                                    parentField: junctionRelationship.junction.dest.field,
+                                    childField: junctionRelationship.dest.field,
+                                    op: '=',
+                                },
+                                subquery: addPrimaryKeysToAst(destSchema, queryToDest.#ast),
+                            },
+                            op: 'EXISTS',
+                        },
+                    },
+                },
+                op: 'EXISTS',
+            };
+        }
+        throw new Error(`Invalid relationship ${relationship}`);
+    };
+    #completedAST;
+    _completeAst() {
+        if (!this.#completedAST) {
+            const finalOrderBy = addPrimaryKeys(this.#schema, this.#ast.orderBy);
+            if (this.#ast.start) {
+                const { row } = this.#ast.start;
+                const narrowedRow = {};
+                for (const [field] of finalOrderBy) {
+                    narrowedRow[field] = row[field];
+                }
+                this.#completedAST = {
+                    ...this.#ast,
+                    start: {
+                        ...this.#ast.start,
+                        row: narrowedRow,
+                    },
+                    orderBy: finalOrderBy,
+                };
+            }
+            else {
+                this.#completedAST = {
+                    ...this.#ast,
+                    orderBy: addPrimaryKeys(this.#schema, this.#ast.orderBy),
+                };
+            }
+        }
+        return this.#completedAST;
+    }
+}
+export const astForTestingSymbol = Symbol();
+export const completedAstSymbol = Symbol();
+export class QueryImpl extends AbstractQuery {
+    #delegate;
+    #ast;
+    constructor(delegate, schema, ast = { table: schema.tableName }, format) {
+        super(schema, ast, format);
+        this.#delegate = delegate;
+        this.#ast = ast;
+    }
+    // Not part of Query or QueryInternal interface
+    get [astForTestingSymbol]() {
+        return this.#ast;
+    }
+    get [completedAstSymbol]() {
+        return this._completeAst();
+    }
+    _newQuery(schema, ast, format) {
+        return newQueryWithDetails(this.#delegate, schema, ast, format);
+    }
+    materialize(factory) {
+        const ast = this._completeAst();
+        const removeServerQuery = this.#delegate.addServerQuery(ast);
+        const input = buildPipeline(ast, this.#delegate);
+        let removeCommitObserver;
+        const onDestroy = () => {
+            input.destroy();
+            removeCommitObserver?.();
+            removeServerQuery();
+        };
+        const view = this.#delegate.batchViewUpdates(() => (factory ?? arrayViewFactory)(this, input, this.format, onDestroy, cb => {
+            removeCommitObserver = this.#delegate.onTransactionCommit(cb);
+        }));
+        return view;
+    }
+    run() {
+        const v = this.materialize();
+        const ret = v.data;
+        v.destroy();
+        return ret;
+    }
+    preload() {
+        const { resolve, promise: complete } = resolver();
+        const ast = this._completeAst();
+        const unsub = this.#delegate.addServerQuery(ast, got => {
+            if (got) {
+                resolve();
+            }
+        });
+        return {
+            cleanup: unsub,
+            complete,
+        };
+    }
+}
+function addPrimaryKeys(schema, orderBy) {
+    orderBy = orderBy ?? [];
+    const { primaryKey } = schema;
+    const primaryKeysToAdd = new Set(primaryKey);
+    for (const [field] of orderBy) {
+        primaryKeysToAdd.delete(field);
+    }
+    if (primaryKeysToAdd.size === 0) {
+        return orderBy;
+    }
+    return [
+        ...orderBy,
+        ...[...primaryKeysToAdd].map(key => [key, 'asc']),
+    ];
+}
+function addPrimaryKeysToAst(schema, ast) {
+    return {
+        ...ast,
+        orderBy: addPrimaryKeys(schema, ast.orderBy),
+    };
+}
+function arrayViewFactory(_query, input, format, onDestroy, onTransactionCommit) {
+    const v = new ArrayView(input, format);
+    v.onDestroy = onDestroy;
+    onTransactionCommit(() => {
+        v.flush();
+    });
+    return v;
+}
+//# sourceMappingURL=query-impl.js.map