coop/rose-ash
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

datalog: refresh module headers (findall, 6 demos)
Some checks failed
Test, Build, and Deploy / test-build-deploy (push) Failing after 26s
Details

Browse Source
This commit is contained in:
giles
2026-05-08 09:37:12 +00:00
parent cf634ad2b1
commit 18fb54a8c5
2 changed files with 14 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
lib/datalog/aggregates.sx
View File

@@ -1,11 +1,12 @@
;; lib/datalog/aggregates.sx — count / sum / min / max aggregation. ;; lib/datalog/aggregates.sx — count / sum / min / max / findall.
;; ;;
;; Surface form (always 3-arg in the parsed AST): ;; Surface form (always 3-arg after the relation name):
;; ;;
;; (count Result Var GoalLit) ;; (count Result Var GoalLit)
;; (sum Result Var GoalLit) ;; (sum Result Var GoalLit)
;; (min Result Var GoalLit) ;; (min Result Var GoalLit)
;; (max Result Var GoalLit) ;; (max Result Var GoalLit)
;; (findall List Var GoalLit)
;; ;;
;; Parsed naturally because arg-position compounds are already allowed ;; Parsed naturally because arg-position compounds are already allowed
;; (Phase 4 needs them for arithmetic). At evaluation time the aggregator ;; (Phase 4 needs them for arithmetic). At evaluation time the aggregator

10
lib/datalog/demo.sx
View File

@@ -6,11 +6,15 @@
;; below show the shape of queries we want, and the test suite runs ;; below show the shape of queries we want, and the test suite runs
;; them against synthetic in-memory tuples loaded via dl-program-data. ;; them against synthetic in-memory tuples loaded via dl-program-data.
;; ;;
;; Three thematic demos: ;; Six thematic demos:
;; ;;
;; 1. Federation — follow graph, transitive reach, mutuals. ;; 1. Federation — follow graph, transitive reach, mutuals, FOAF.
;; 2. Content — posts, tags, likes, popularity, "for you" feed. ;; 2. Content — posts, tags, likes, popularity, "for you" feed.
;; 3. Permissions — group membership and resource access. ;; 3. Permissions — group membership and resource access.
;; 4. Cooking-posts — canonical "posts about cooking by people I
;; follow (transitively)" multi-domain query.
;; 5. Tag co-occurrence — distinct (T1, T2) pairs with counts.
;; 6. Shortest path — weighted-DAG path enumeration + min agg.
;; ── Demo 1: federation follow graph ───────────────────────────── ;; ── Demo 1: federation follow graph ─────────────────────────────
;; EDB: (follows ACTOR-A ACTOR-B) — A follows B. ;; EDB: (follows ACTOR-A ACTOR-B) — A follows B.