Expand description
GPU-accelerated evaluation of compiled Datalog programs.
Structs§
- Delta
Planner Telemetry - Planner-grade telemetry for a persistent-session relation delta update.
- Logic
Argument Schema - Read-only metadata for one argument of a compiled relation.
- Logic
Delta Report - Summary for a persistent-session relation delta update.
- Logic
Eval Result - Result of evaluating an entire Datalog program.
- Logic
Materialized Store - A materialized derived store produced by one compiled logic program.
- Logic
Program - A compiled Datalog program ready for GPU evaluation.
- Logic
Query Result - Result of evaluating a single query in a Datalog program.
- Logic
Session Runtime - Runtime state retained by a persistent logic session.
- Prepared
Relation Delta Batch - Device-coalesced relation updates prepared for validation and later application.
- Prepared
Relation Delta Commit - A fully staged relation update bound to its authoritative and derived state.
- Relation
Delta Cancellation - Tuples canceled at one ordered merge step of a relation-delta batch.
- Wcoj
Dispatch Stats - Multiway/Free-Join dispatch telemetry counters for a retained session executor. Counts accumulate across evaluates within the session.
Enums§
- Relation
Delta Direction - Direction of an incoming relation-delta occurrence.
Functions§
- normalize_
program_ for_ execution - Normalize a parsed program through the pre-compilation passes used by execution.