This repository was archived by the owner on Apr 30, 2026. It is now read-only.

feat(datalog): aggregates, float constants, between sugar, and typed head constants#7

Merged

singaraiona merged 51 commits into

RayforceDB:masterfrom

theaspirational:feature/datalog-aggregates

Apr 24, 2026

Commits on Apr 23, 2026

test(datalog): cmp + arith body literals work as documented

theaspirational
authored and
singaraiona
committed
docs(plans): datalog aggregates + ray-exomem consumer refactor

theaspirational
authored and
singaraiona
committed
feat(datalog): declare DL_AGG body literal + aggregate operators

theaspirational
authored and
singaraiona
committed
feat(datalog): dl_rule_add_agg builder for aggregate literals

theaspirational
authored and
singaraiona
committed
fix(datalog): dl_rule_add_agg bumps rule->n_vars to match sibling builders

theaspirational
authored and
singaraiona
committed
feat(datalog): aggregates participate in stratification (non-monotonic)

theaspirational
authored and
singaraiona
committed
feat(datalog): evaluate count/sum/min/max/avg aggregates

theaspirational
authored and
singaraiona
committed
fix(datalog): guard non-i64 columns in aggregate fold; fix test refcounts

authored and
singaraiona
committed
feat(datalog): MIN/MAX/AVG over empty source emit no row (match core semantics)

theaspirational
authored and
singaraiona
committed
feat(datalog): grouped aggregation via ray_group

theaspirational
authored and
singaraiona
committed
refactor(datalog): A4.6 polish — DL_AGG_MAX_KEYS=8, drop redundant refs, guard mixed rules

theaspirational
authored and
singaraiona
committed
feat(datalog): surface syntax (count|sum|min|max|avg ?v pred [col] [by ?k col ...])

theaspirational
authored and
singaraiona
committed
feat(datalog): float constants in expressions; AVG output promoted to f64

theaspirational
authored and
singaraiona
committed
feat(datalog): (between ?x lo hi) parser sugar lowers to two cmps

theaspirational
authored and
singaraiona
committed
test(datalog): aggregate empty-source and parser error-path tests

theaspirational
authored and
singaraiona
committed
test(datalog): mixed i64+f64 arithmetic promotion

theaspirational
authored and
singaraiona
committed
refactor(datalog): scope DL_AGG empty guard to SUM; doc arity re-resolution

theaspirational
authored and
singaraiona
committed
feat(datalog): auto-register env-bound EDBs for query rule bodies

theaspirational
authored and
singaraiona
committed
feat(datalog): typed head constants with broadcast projection

authored and
singaraiona
committed
test(datalog): head-const single-rule, i64, cross-IDB coverage

authored and
singaraiona
committed
test(datalog): head-const f64, agg, negation, stratification, surface

authored and
singaraiona
committed
feat(datalog): surface syntax accepts RAY_STR in body constant positions

authored and
singaraiona
committed
fix(datalog): harden expression eval, head-const types, and grouped agg bounds

authored and
singaraiona
committed
test(datalog): grouped min/max/avg and env-bound EDB auto-registration

authored and
singaraiona
committed
feat(runtime): ray_runtime_create_with_sym loads sym before builtins

authored and
singaraiona
committed
feat(runtime): harden sym_load ordering, error surfacing, and budget check

authored and
singaraiona
committed
Update src/ops/datalog.c

singaraiona
and
Copilot
committed
Update src/ops/datalog.c

singaraiona
and
Copilot
committed
fix(datalog): env-bound EDB auto-register must accept any non-negative index

Anton
authored and
singaraiona
committed
fix(datalog): address Copilot review — sym width, agg bounds, f64 scalars

Anton
authored and
singaraiona
committed
fix(datalog): empty-source F64 SUM emits RAY_F64 identity, not RAY_I64 0

Anton
authored and
singaraiona
committed
fix(datalog): scalar aggregate validates value col index before row-count split

Anton
authored and
singaraiona
committed
fix(datalog): propagate dl_project errors; unknown-arity agg sentinel

Anton
authored and
singaraiona
committed
fix(datalog): dl_eval surfaces compile/runtime failures instead of swallowing them

Anton
authored and
singaraiona
committed
fix(datalog): Phase B surfaces every runtime failure, not just ray_execute

Anton
authored and
singaraiona
committed
fix(datalog): table_union/distinct/antijoin never silently produce partial tables

Anton
authored and
singaraiona
committed
fix(datalog): table_union rejects schema mismatch instead of narrowing

Anton
authored and
singaraiona
committed
fix(datalog): table_union schema check runs before empty-rows bypass

Anton
authored and
singaraiona
committed
fix(datalog,runtime): address round-3 Copilot review

Anton
authored and
singaraiona
committed
fix(datalog,runtime): ray_error_free actually reclaims error blocks

Anton
authored and
singaraiona
committed
fix(datalog,runtime): address round-4 Copilot review

Anton
authored and
singaraiona
committed
fix(datalog,runtime): address round-5 Copilot review

Anton
authored and
singaraiona
committed
fix(datalog): dl_filter_eq pass-through must retain (owned-ref contract)

Anton
authored and
singaraiona
committed
fix(datalog): surface head-const conflicts via eval_err, drop stderr warnings

Anton
authored and
singaraiona
committed
fix(datalog,runtime): address round-6+7 Copilot review

Anton
authored and
singaraiona
committed
fix(datalog): check dl_filter_eq return at call sites

Anton
authored and
singaraiona
committed
fix(datalog): round-8 — add_col leaks, broadcast SYM width, align eval_err

Anton
authored and
singaraiona
committed
fix(datalog): release out on const-slot add_col failure in dl_project

Anton
authored and
singaraiona
committed
fix(datalog,runtime,docs): round-9 Copilot review

Anton
authored and
singaraiona
committed
fix(datalog): DL_ASSIGN treats eval failures as unrecoverable

Anton
authored and
singaraiona
committed
fix(datalog,runtime): round-10 Copilot review

Anton
authored and
singaraiona
committed