thanos / ex_datalog / 3d2674b51d6d4ed8ab43df2e967314f3b89c7bc6-PR-161

93%

main: 93%

Build Type

Pull #161

github

Committed by thanos

Commit Message

v0.5.0: aggregates, BEAM callbacks, magic sets, query planner, runtime facts

M0.5 — Feasibility Spikes
  - Spike A: callback as {:callback, %IR.Callback{}} IR literal round-trips
    through compiler/evaluator (chest/spikes/README.md)
  - Spike B: materialize(goal:) drives magic sets transform; results ≡ semi-naive

M1 — Query Planner Foundation  - closed #127
  - Add ExDatalog.Planner with plan/2, explain_plan/1,2 - closed #128
  - Add planner structs: Plan, Stratum, Join, Predicate (lib/ex_datalog/planner/) - closed #129
  - Engine strategy dispatch: evaluate/2 routes :semi_naive / :magic_sets  - closed #130
  - Telemetry [:ex_datalog, :planner, :start|:stop|:exception]  - closed #131
  - Tests: planner_test.exs, planner_explain_test.exs  - closed #132

M2 — Aggregates (count/sum/min/max)  - closed #133
  - Add @aggregate_ops [:count, :sum, :min, :max] to Constraint;
    from_tuple/1, valid_right?/2, valid_result?/2 extended   - closed #134
  - Add ExDatalog.Constraints.Aggregate (group_and_reduce/5; evaluate/3 raises)  - closed #135
  - Add Rule.has_aggregates?/1, aggregate_constraints/1, non_aggregate_constraints/1  - closed #136
  - Safety: aggregate input var must be bound, result var in head, ≤1 agg/rule,
    no aggregate in recursive rule - closed #137
  - Stratification: post-pass in assign_strata/1 forces aggregate head above
    all positive body relations; engine validate_stratification/1 extended  - closed #138
  - Evaluator: eval_aggregate_rule/3 (join → filter → callbacks → negation →
    group_and_reduce → project); apply_constraints/3 partitions out aggregate ops  - closed #139
  - DSL: count/sum/min/max(X, Result) parsed before generic constraint-ops loop;
    head-position aggregate raises DSL.CompileError - closed #140
  - Tests: aggregate_test.exs + DSL tests in schema_test.exs - closed #141

M3 — BEAM Callback Predicates  - closed #142
  - Add ExDatalog.Callback struct (AST) + IR.Callback struct + {:callback, _} IR literal - clo... (continued)

Pull Request Pull Request #161: v0.5.0: aggregates, BEAM callbacks, magic sets, query planner, runtim…

Coverage Stats

309 of 344 new or added lines in 16 files covered. (89.83%)

58 existing lines in 10 files now uncovered.

1353 of 1450 relevant lines covered (93.31%)

478.9 hits per line