@suss/datalog 0.4.0 → 0.5.0

package/dist/index.cjs

@@ -423,7 +423,7 @@ var Database = class {
     for (const [column, index] of relation.indexes) {
       const value = tuple[column];
       if (value !== void 0) {
-        addToBucket(index, tupleKey([value]), tuple);
+        addToBucket(index, value, tuple);
       }
     }
     return true;
@@ -454,12 +454,12 @@ var Database = class {
       for (const tuple of relation.tuples) {
         const at = tuple[column];
         if (at !== void 0) {
-          addToBucket(index, tupleKey([at]), tuple);
+          addToBucket(index, at, tuple);
         }
       }
       relation.indexes.set(column, index);
     }
-    return index.get(tupleKey([value])) ?? [];
+    return index.get(value) ?? [];
   }
   /**
    * Remove facts from a relation. Returns how many were actually there.
@@ -723,6 +723,11 @@ function shapeOf(rules) {
   shapes.set(rules, shape);
   return shape;
 }
+function couldProduce(db, rule2) {
+  return rule2.body.every(
+    (literal) => literal.negated || db.size(literal.relation) > 0
+  );
+}
 function runRules(db, rules) {
   const {
     signature,
@@ -781,6 +786,9 @@ function runRules(db, rules) {
     };
     const applyDelta = (seed, derivedOnly) => {
       for (const r of stratum) {
+        if (!couldProduce(db, r)) {
+          continue;
+        }
         const positives = r.body.filter((l) => !l.negated);
         for (let i = 0; i < positives.length; i++) {
           const literal = positives[i];
@@ -796,6 +804,9 @@ function runRules(db, rules) {
     };
     if (marks === void 0 || marks === null) {
       for (const r of stratum) {
+        if (!couldProduce(db, r)) {
+          continue;
+        }
         const all = /* @__PURE__ */ new Map();
         for (const l of r.body) {
           if (!l.negated) {

package/dist/index.js

@@ -383,7 +383,7 @@ var Database = class {
     for (const [column, index] of relation.indexes) {
       const value = tuple[column];
       if (value !== void 0) {
-        addToBucket(index, tupleKey([value]), tuple);
+        addToBucket(index, value, tuple);
       }
     }
     return true;
@@ -414,12 +414,12 @@ var Database = class {
       for (const tuple of relation.tuples) {
         const at = tuple[column];
         if (at !== void 0) {
-          addToBucket(index, tupleKey([at]), tuple);
+          addToBucket(index, at, tuple);
         }
       }
       relation.indexes.set(column, index);
     }
-    return index.get(tupleKey([value])) ?? [];
+    return index.get(value) ?? [];
   }
   /**
    * Remove facts from a relation. Returns how many were actually there.
@@ -683,6 +683,11 @@ function shapeOf(rules) {
   shapes.set(rules, shape);
   return shape;
 }
+function couldProduce(db, rule2) {
+  return rule2.body.every(
+    (literal) => literal.negated || db.size(literal.relation) > 0
+  );
+}
 function runRules(db, rules) {
   const {
     signature,
@@ -741,6 +746,9 @@ function runRules(db, rules) {
     };
     const applyDelta = (seed, derivedOnly) => {
       for (const r of stratum) {
+        if (!couldProduce(db, r)) {
+          continue;
+        }
         const positives = r.body.filter((l) => !l.negated);
         for (let i = 0; i < positives.length; i++) {
           const literal = positives[i];
@@ -756,6 +764,9 @@ function runRules(db, rules) {
     };
     if (marks === void 0 || marks === null) {
       for (const r of stratum) {
+        if (!couldProduce(db, r)) {
+          continue;
+        }
         const all = /* @__PURE__ */ new Map();
         for (const l of r.body) {
           if (!l.negated) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@suss/datalog",
-  "version": "0.4.0",
+  "version": "0.5.0",
   "type": "module",
   "description": "A small semi-naïve Datalog evaluator with stratified negation — the rules engine behind suss's derived program facts.",
   "keywords": [