@quereus/quereus 2.7.0 → 2.8.0

package/dist/src/vtab/memory/utils/predicate.js

@@ -0,0 +1,182 @@
+import { compareSqlValues } from '../../../util/comparison.js';
+import { QuereusError } from '../../../common/errors.js';
+import { StatusCode } from '../../../common/types.js';
+/**
+ * Compile a partial-index predicate AST into a row evaluator. Supports the
+ * expression forms ordinarily found in partial-index WHERE clauses: literals,
+ * column references, comparison operators, AND/OR/NOT, and IS [NOT] NULL.
+ *
+ * Throws QuereusError on unsupported expression forms or unknown column
+ * references so failures surface at index-creation time rather than producing
+ * wrong runtime answers.
+ */
+export function compilePredicate(expr, columns) {
+    const columnIndexMap = new Map();
+    columns.forEach((col, idx) => columnIndexMap.set(col.name.toLowerCase(), idx));
+    const referencedColumns = new Set();
+    const evaluator = compileExpression(expr, columnIndexMap, referencedColumns);
+    const evaluate = (row) => {
+        const v = evaluator(row);
+        if (v === null)
+            return null;
+        // SQL truthiness: false / 0 / '' / 0n -> false; anything else -> true.
+        if (v === false || v === 0 || v === 0n || v === '')
+            return false;
+        return true;
+    };
+    return { evaluate, referencedColumns };
+}
+function compileExpression(expr, columnIndexMap, referencedColumns) {
+    switch (expr.type) {
+        case 'literal': {
+            const value = expr.value;
+            if (value && typeof value === 'object' && 'then' in value) {
+                throw new QuereusError('Partial-index predicates may not contain async/promise literals', StatusCode.ERROR);
+            }
+            return () => value;
+        }
+        case 'column':
+        case 'identifier': {
+            const ref = expr;
+            if (ref.type === 'column' && ref.schema) {
+                throw new QuereusError(`Partial-index predicate cannot reference schema-qualified column '${ref.schema}.${ref.name}'`, StatusCode.ERROR);
+            }
+            if (ref.type === 'identifier' && ref.schema) {
+                throw new QuereusError(`Partial-index predicate cannot reference schema-qualified identifier '${ref.schema}.${ref.name}'`, StatusCode.ERROR);
+            }
+            const colIdx = columnIndexMap.get(ref.name.toLowerCase());
+            if (colIdx === undefined) {
+                throw new QuereusError(`Partial-index predicate references unknown column '${ref.name}'`, StatusCode.ERROR);
+            }
+            referencedColumns.add(colIdx);
+            return (row) => row[colIdx];
+        }
+        case 'unary':
+            return compileUnary(expr, columnIndexMap, referencedColumns);
+        case 'binary':
+            return compileBinary(expr, columnIndexMap, referencedColumns);
+        default:
+            throw new QuereusError(`Unsupported expression in partial-index predicate: ${expr.type}`, StatusCode.ERROR);
+    }
+}
+function compileUnary(expr, columnIndexMap, referencedColumns) {
+    const op = expr.operator.toUpperCase();
+    const operand = compileExpression(expr.expr, columnIndexMap, referencedColumns);
+    switch (op) {
+        case 'IS NULL':
+            return (row) => operand(row) === null;
+        case 'IS NOT NULL':
+            return (row) => operand(row) !== null;
+        case 'NOT':
+            return (row) => {
+                const v = operand(row);
+                if (v === null)
+                    return null;
+                if (v === false || v === 0 || v === 0n || v === '')
+                    return true;
+                return false;
+            };
+        case '+':
+            return (row) => {
+                const v = operand(row);
+                if (v === null)
+                    return null;
+                if (typeof v === 'number' || typeof v === 'bigint')
+                    return v;
+                const n = Number(v);
+                return Number.isNaN(n) ? null : n;
+            };
+        case '-':
+            return (row) => {
+                const v = operand(row);
+                if (v === null)
+                    return null;
+                if (typeof v === 'number')
+                    return -v;
+                if (typeof v === 'bigint')
+                    return -v;
+                const n = Number(v);
+                return Number.isNaN(n) ? null : -n;
+            };
+        default:
+            throw new QuereusError(`Unsupported unary operator in partial-index predicate: ${expr.operator}`, StatusCode.ERROR);
+    }
+}
+function compileBinary(expr, columnIndexMap, referencedColumns) {
+    const op = expr.operator.toUpperCase();
+    const left = compileExpression(expr.left, columnIndexMap, referencedColumns);
+    const right = compileExpression(expr.right, columnIndexMap, referencedColumns);
+    switch (op) {
+        case 'AND':
+            return (row) => {
+                const a = left(row);
+                if (a === false || a === 0 || a === 0n || a === '')
+                    return false;
+                const b = right(row);
+                if (b === false || b === 0 || b === 0n || b === '')
+                    return false;
+                if (a === null || b === null)
+                    return null;
+                return true;
+            };
+        case 'OR':
+            return (row) => {
+                const a = left(row);
+                if (a !== null && a !== false && a !== 0 && a !== 0n && a !== '')
+                    return true;
+                const b = right(row);
+                if (b !== null && b !== false && b !== 0 && b !== 0n && b !== '')
+                    return true;
+                if (a === null || b === null)
+                    return null;
+                return false;
+            };
+        case '=':
+        case '==':
+            return makeCompare(left, right, (cmp) => cmp === 0);
+        case '<>':
+        case '!=':
+            return makeCompare(left, right, (cmp) => cmp !== 0);
+        case '<':
+            return makeCompare(left, right, (cmp) => cmp < 0);
+        case '<=':
+            return makeCompare(left, right, (cmp) => cmp <= 0);
+        case '>':
+            return makeCompare(left, right, (cmp) => cmp > 0);
+        case '>=':
+            return makeCompare(left, right, (cmp) => cmp >= 0);
+        case 'IS':
+            // `a IS b` is total equality including NULL.
+            return (row) => {
+                const a = left(row);
+                const b = right(row);
+                if (a === null && b === null)
+                    return true;
+                if (a === null || b === null)
+                    return false;
+                return compareSqlValues(a, b) === 0;
+            };
+        case 'IS NOT':
+            return (row) => {
+                const a = left(row);
+                const b = right(row);
+                if (a === null && b === null)
+                    return false;
+                if (a === null || b === null)
+                    return true;
+                return compareSqlValues(a, b) !== 0;
+            };
+        default:
+            throw new QuereusError(`Unsupported binary operator in partial-index predicate: ${expr.operator}`, StatusCode.ERROR);
+    }
+}
+function makeCompare(left, right, predicate) {
+    return (row) => {
+        const a = left(row);
+        const b = right(row);
+        if (a === null || b === null)
+            return null;
+        return predicate(compareSqlValues(a, b));
+    };
+}
+//# sourceMappingURL=predicate.js.map

package/dist/src/vtab/memory/utils/predicate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"predicate.js","sourceRoot":"","sources":["../../../../../src/vtab/memory/utils/predicate.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAkBtD;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAC/B,IAAgB,EAChB,OAAoC;IAEpC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;IACjD,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;IAE/E,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5C,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,cAAc,EAAE,iBAAiB,CAAC,CAAC;IAE7E,MAAM,QAAQ,GAAG,CAAC,GAAQ,EAAkB,EAAE;QAC7C,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QACzB,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,uEAAuE;QACvE,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE;YAAE,OAAO,KAAK,CAAC;QACjE,OAAO,IAAI,CAAC;IACb,CAAC,CAAC;IAEF,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC;AACxC,CAAC;AAED,SAAS,iBAAiB,CACzB,IAAgB,EAChB,cAA2C,EAC3C,iBAA8B;IAE9B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,SAAS,CAAC,CAAC,CAAC;YAChB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;YACzB,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;gBAC3D,MAAM,IAAI,YAAY,CACrB,iEAAiE,EACjE,UAAU,CAAC,KAAK,CAChB,CAAC;YACH,CAAC;YACD,OAAO,GAAG,EAAE,CAAC,KAAiB,CAAC;QAChC,CAAC;QACD,KAAK,QAAQ,CAAC;QACd,KAAK,YAAY,CAAC,CAAC,CAAC;YACnB,MAAM,GAAG,GAAG,IAAI,CAAC;YACjB,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;gBACzC,MAAM,IAAI,YAAY,CACrB,qEAAqE,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,IAAI,GAAG,EAC9F,UAAU,CAAC,KAAK,CAChB,CAAC;YACH,CAAC;YACD,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;gBAC7C,MAAM,IAAI,YAAY,CACrB,yEAAyE,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,IAAI,GAAG,EAClG,UAAU,CAAC,KAAK,CAChB,CAAC;YACH,CAAC;YACD,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;YAC1D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC1B,MAAM,IAAI,YAAY,CACrB,sDAAsD,GAAG,CAAC,IAAI,GAAG,EACjE,UAAU,CAAC,KAAK,CAChB,CAAC;YACH,CAAC;YACD,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC9B,OAAO,CAAC,GAAQ,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAClC,CAAC;QACD,KAAK,OAAO;YACX,OAAO,YAAY,CAAC,IAAI,EAAE,cAAc,EAAE,iBAAiB,CAAC,CAAC;QAC9D,KAAK,QAAQ;YACZ,OAAO,aAAa,CAAC,IAAI,EAAE,cAAc,EAAE,iBAAiB,CAAC,CAAC;QAC/D;YACC,MAAM,IAAI,YAAY,CACrB,sDAAsD,IAAI,CAAC,IAAI,EAAE,EACjE,UAAU,CAAC,KAAK,CAChB,CAAC;IACJ,CAAC;AACF,CAAC;AAED,SAAS,YAAY,CACpB,IAA4C,EAC5C,cAA2C,EAC3C,iBAA8B;IAE9B,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;IACvC,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,iBAAiB,CAAC,CAAC;IAEhF,QAAQ,EAAE,EAAE,CAAC;QACZ,KAAK,SAAS;YACb,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC;QACvC,KAAK,aAAa;YACjB,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC;QACvC,KAAK,KAAK;YACT,OAAO,CAAC,GAAG,EAAE,EAAE;gBACd,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;gBACvB,IAAI,CAAC,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAC5B,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE;oBAAE,OAAO,IAAI,CAAC;gBAChE,OAAO,KAAK,CAAC;YACd,CAAC,CAAC;QACH,KAAK,GAAG;YACP,OAAO,CAAC,GAAG,EAAE,EAAE;gBACd,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;gBACvB,IAAI,CAAC,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAC5B,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;oBAAE,OAAO,CAAC,CAAC;gBAC7D,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;gBACpB,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACnC,CAAC,CAAC;QACH,KAAK,GAAG;YACP,OAAO,CAAC,GAAG,EAAE,EAAE;gBACd,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;gBACvB,IAAI,CAAC,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAC5B,IAAI,OAAO,CAAC,KAAK,QAAQ;oBAAE,OAAO,CAAC,CAAC,CAAC;gBACrC,IAAI,OAAO,CAAC,KAAK,QAAQ;oBAAE,OAAO,CAAC,CAAC,CAAC;gBACrC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;gBACpB,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACpC,CAAC,CAAC;QACH;YACC,MAAM,IAAI,YAAY,CACrB,0DAA0D,IAAI,CAAC,QAAQ,EAAE,EACzE,UAAU,CAAC,KAAK,CAChB,CAAC;IACJ,CAAC;AACF,CAAC;AAED,SAAS,aAAa,CACrB,IAA6C,EAC7C,cAA2C,EAC3C,iBAA8B;IAE9B,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;IACvC,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,iBAAiB,CAAC,CAAC;IAC7E,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,cAAc,EAAE,iBAAiB,CAAC,CAAC;IAE/E,QAAQ,EAAE,EAAE,CAAC;QACZ,KAAK,KAAK;YACT,OAAO,CAAC,GAAG,EAAE,EAAE;gBACd,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;gBACpB,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE;oBAAE,OAAO,KAAK,CAAC;gBACjE,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;gBACrB,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE;oBAAE,OAAO,KAAK,CAAC;gBACjE,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAC1C,OAAO,IAAI,CAAC;YACb,CAAC,CAAC;QACH,KAAK,IAAI;YACR,OAAO,CAAC,GAAG,EAAE,EAAE;gBACd,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;gBACpB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE;oBAAE,OAAO,IAAI,CAAC;gBAC9E,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;gBACrB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE;oBAAE,OAAO,IAAI,CAAC;gBAC9E,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAC1C,OAAO,KAAK,CAAC;YACd,CAAC,CAAC;QACH,KAAK,GAAG,CAAC;QACT,KAAK,IAAI;YACR,OAAO,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;QACrD,KAAK,IAAI,CAAC;QACV,KAAK,IAAI;YACR,OAAO,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;QACrD,KAAK,GAAG;YACP,OAAO,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;QACnD,KAAK,IAAI;YACR,OAAO,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;QACpD,KAAK,GAAG;YACP,OAAO,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;QACnD,KAAK,IAAI;YACR,OAAO,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;QACpD,KAAK,IAAI;YACR,6CAA6C;YAC7C,OAAO,CAAC,GAAG,EAAE,EAAE;gBACd,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;gBACpB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;gBACrB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAC1C,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;oBAAE,OAAO,KAAK,CAAC;gBAC3C,OAAO,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;YACrC,CAAC,CAAC;QACH,KAAK,QAAQ;YACZ,OAAO,CAAC,GAAG,EAAE,EAAE;gBACd,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;gBACpB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;gBACrB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;oBAAE,OAAO,KAAK,CAAC;gBAC3C,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAC1C,OAAO,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;YACrC,CAAC,CAAC;QACH;YACC,MAAM,IAAI,YAAY,CACrB,2DAA2D,IAAI,CAAC,QAAQ,EAAE,EAC1E,UAAU,CAAC,KAAK,CAChB,CAAC;IACJ,CAAC;AACF,CAAC;AAED,SAAS,WAAW,CAAC,IAAe,EAAE,KAAgB,EAAE,SAAmC;IAC1F,OAAO,CAAC,GAAG,EAAE,EAAE;QACd,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QACrB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC1C,OAAO,SAAS,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC;AACH,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@quereus/quereus",
-  "version": "2.7.0",
+  "version": "2.8.0",
   "type": "module",
   "description": "Pure TypeScript SQL engine — no WASM, no native bindings. Runs in browsers, Node.js, React Native, edge workers, and anywhere JS runs.",
   "keywords": [
@@ -68,9 +68,9 @@
     "mutation:subsystem": "node mutation-subsystem.mjs"
   },
   "devDependencies": {
-    "@quereus/plugin-leveldb": "^2.7.0",
+    "@quereus/plugin-leveldb": "^2.8.0",
     "@quereus/plugin-loader": "*",
-    "@quereus/store": "^2.7.0",
+    "@quereus/store": "^2.8.0",
     "@stryker-mutator/core": "^9.6.1",
     "@stryker-mutator/mocha-runner": "^9.6.1",
     "@stryker-mutator/typescript-checker": "^9.6.1",