Struct LocyProgramExec 

pub struct LocyProgramExec { /* private fields */ }

DataFusion ExecutionPlan that runs an entire Locy program.

Evaluates strata in dependency order, using FixpointExec for recursive strata and direct subplan execution for non-recursive ones. After all strata converge, dispatches commands.

Implementations

impl LocyProgramExec

pub fn new( strata: Vec<LocyStratum>, commands: Vec<LocyCommand>, derived_scan_registry: Arc<DerivedScanRegistry>, plugin_registry: Arc<PluginRegistry>, graph_ctx: Arc<GraphExecutionContext>, session_ctx: Arc<RwLock<SessionContext>>, storage: Arc<StorageManager>, schema_info: Arc<UniSchema>, params: HashMap<String, Value>, output_schema: SchemaRef, max_iterations: usize, timeout: Duration, max_derived_bytes: usize, deterministic_best_by: bool, strict_probability_domain: bool, probability_epsilon: f64, exact_probability: bool, max_bdd_variables: usize, top_k_proofs: usize, ) -> Self

👎Deprecated:

use new_with_semiring_classifiers_and_cache (or the lighter new_with_semiring_and_classifiers / new_with_semiring) — this legacy ctor defaults the semiring to AddMultProb and ships no classifier registry. To be removed after C0 Stage 2.

pub fn new_with_semiring( strata: Vec<LocyStratum>, commands: Vec<LocyCommand>, derived_scan_registry: Arc<DerivedScanRegistry>, plugin_registry: Arc<PluginRegistry>, graph_ctx: Arc<GraphExecutionContext>, session_ctx: Arc<RwLock<SessionContext>>, storage: Arc<StorageManager>, schema_info: Arc<UniSchema>, params: HashMap<String, Value>, output_schema: SchemaRef, max_iterations: usize, timeout: Duration, max_derived_bytes: usize, deterministic_best_by: bool, strict_probability_domain: bool, probability_epsilon: f64, exact_probability: bool, max_bdd_variables: usize, top_k_proofs: usize, semiring_kind: SemiringKind, ) -> Self

Constructor accepting an explicit semiring. Empty classifier registry; for the full Slice 3 variant call Self::new_with_semiring_and_classifiers.

pub fn new_with_semiring_and_classifiers( strata: Vec<LocyStratum>, commands: Vec<LocyCommand>, derived_scan_registry: Arc<DerivedScanRegistry>, plugin_registry: Arc<PluginRegistry>, graph_ctx: Arc<GraphExecutionContext>, session_ctx: Arc<RwLock<SessionContext>>, storage: Arc<StorageManager>, schema_info: Arc<UniSchema>, params: HashMap<String, Value>, output_schema: SchemaRef, max_iterations: usize, timeout: Duration, max_derived_bytes: usize, deterministic_best_by: bool, strict_probability_domain: bool, probability_epsilon: f64, exact_probability: bool, max_bdd_variables: usize, top_k_proofs: usize, semiring_kind: SemiringKind, classifier_registry: Arc<ClassifierRegistry>, ) -> Self

Phase B Slice 3 entry: accepts both the semiring kind and the runtime classifier registry.

pub fn new_with_semiring_classifiers_and_cache( strata: Vec<LocyStratum>, commands: Vec<LocyCommand>, derived_scan_registry: Arc<DerivedScanRegistry>, plugin_registry: Arc<PluginRegistry>, graph_ctx: Arc<GraphExecutionContext>, session_ctx: Arc<RwLock<SessionContext>>, storage: Arc<StorageManager>, schema_info: Arc<UniSchema>, params: HashMap<String, Value>, output_schema: SchemaRef, max_iterations: usize, timeout: Duration, max_derived_bytes: usize, deterministic_best_by: bool, strict_probability_domain: bool, probability_epsilon: f64, exact_probability: bool, max_bdd_variables: usize, top_k_proofs: usize, semiring_kind: SemiringKind, classifier_registry: Arc<ClassifierRegistry>, classifier_cache: Option<Arc<ModelInvocationCache>>, classifier_provenance_store: Option<Arc<NeuralProvenanceStore>>, ) -> Self

Phase B follow-up: full constructor accepting the optional memoization cache. Existing callers default to None (no cache); impl_locy.rs threads LocyConfig.classifier_cache here.

pub fn derived_store_slot(&self) -> Arc<StdRwLock<Option<DerivedStore>>>

Returns a shared handle to the derived store slot.

After execution completes, the slot contains the DerivedStore with all converged facts. Read it with slot.read().unwrap().

pub fn set_derivation_tracker(&self, tracker: Arc<ProvenanceStore>)

Inject a ProvenanceStore to record provenance during fixpoint iteration.

Must be called before execute() is invoked (i.e., before DataFusion runs the physical plan). Uses interior mutability so it works through &self.

pub fn iteration_counts_slot(&self) -> Arc<StdRwLock<HashMap<String, usize>>>

Returns the shared iteration counts slot.

After execution, the slot contains per-rule iteration counts from the most recent fixpoint convergence. Sum the values for total_iterations.

pub fn peak_memory_slot(&self) -> Arc<StdRwLock<usize>>

Returns the shared peak memory slot.

After execution, the slot contains the peak byte count of derived facts across all strata. Read it with slot.read().unwrap().

pub fn warnings_slot(&self) -> Arc<StdRwLock<Vec<RuntimeWarning>>>

Returns the shared runtime warnings slot.

After execution, the slot contains warnings collected during fixpoint iteration (e.g. shared probabilistic dependencies).

pub fn approximate_slot(&self) -> Arc<StdRwLock<HashMap<String, Vec<String>>>>

Returns the shared approximate groups slot.

After execution, the slot contains rule→key group descriptions for groups where BDD computation fell back to independence mode.

pub fn command_results_slot( &self, ) -> Arc<StdRwLock<Vec<(usize, CommandResult)>>>

Returns the shared command results slot.

After execution, the slot contains (command_index, CommandResult) pairs for commands that were executed inline by run_program() (QUERY, Cypher).

pub fn timeout_flag(&self) -> Arc<AtomicU8>

Returns the shared interruption signal.

After execution, a non-zero value means the evaluation was cut short (timeout or iteration limit) and the derived store holds partial results. Prefer LocyProgramExec::incomplete_slot for the decoded diagnostics.

pub fn incomplete_slot(&self) -> Arc<StdRwLock<Option<LocyIncomplete>>>

Returns the shared incomplete-evaluation diagnostics slot.

After execution, Some(detail) means evaluation stopped before completing; detail names the skipped / unsound-complement rules and the stop reason. None for a complete run.

Trait Implementations

impl Debug for LocyProgramExec

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl DisplayAs for LocyProgramExec

fn fmt_as(&self, _t: DisplayFormatType, f: &mut Formatter<'_>) -> Result

Format according to DisplayFormatType, used when verbose representation looks different from the default one

impl ExecutionPlan for LocyProgramExec

fn name(&self) -> &str

Short name for the ExecutionPlan, such as ‘DataSourceExec’.

fn as_any(&self) -> &dyn Any

Returns the execution plan as Any so that it can be downcast to a specific implementation.

fn schema(&self) -> SchemaRef

Get the schema for this execution plan

fn properties(&self) -> &Arc<PlanProperties>

Return properties of the output of the ExecutionPlan, such as output ordering(s), partitioning information etc.

fn children(&self) -> Vec<&Arc<dyn ExecutionPlan>>

Get a list of children ExecutionPlans that act as inputs to this plan. The returned list will be empty for leaf nodes such as scans, will contain a single value for unary nodes, or two values for binary nodes (such as joins).

fn with_new_children( self: Arc<Self>, children: Vec<Arc<dyn ExecutionPlan>>, ) -> DFResult<Arc<dyn ExecutionPlan>>

Returns a new ExecutionPlan where all existing children were replaced by the children, in order

fn execute( &self, partition: usize, _context: Arc<TaskContext>, ) -> DFResult<SendableRecordBatchStream>

Begin execution of partition, returning a Stream of RecordBatches.

fn metrics(&self) -> Option<MetricsSet>

Return a snapshot of the set of Metrics for this ExecutionPlan. If no Metrics are available, return None.

fn static_name() -> &'static str

where Self: Sized,

Short name for the ExecutionPlan, such as ‘DataSourceExec’. Like name but can be called without an instance.

fn check_invariants(&self, check: InvariantLevel) -> Result<(), DataFusionError>

Returns an error if this individual node does not conform to its invariants. These invariants are typically only checked in debug mode.

fn required_input_distribution(&self) -> Vec<Distribution>

Specifies the data distribution requirements for all the children for this ExecutionPlan, By default it’s [Distribution::UnspecifiedDistribution] for each child,

fn required_input_ordering(&self) -> Vec<Option<OrderingRequirements>>

Specifies the ordering required for all of the children of this ExecutionPlan.

fn maintains_input_order(&self) -> Vec<bool>

Returns false if this ExecutionPlan’s implementation may reorder rows within or between partitions.

fn benefits_from_input_partitioning(&self) -> Vec<bool>

Specifies whether the ExecutionPlan benefits from increased parallelization at its input for each child.

fn reset_state( self: Arc<Self>, ) -> Result<Arc<dyn ExecutionPlan>, DataFusionError>

Reset any internal state within this ExecutionPlan.

fn repartitioned( &self, _target_partitions: usize, _config: &ConfigOptions, ) -> Result<Option<Arc<dyn ExecutionPlan>>, DataFusionError>

If supported, attempt to increase the partitioning of this ExecutionPlan to produce target_partitions partitions.

fn partition_statistics( &self, partition: Option<usize>, ) -> Result<Statistics, DataFusionError>

Returns statistics for a specific partition of this ExecutionPlan node. If statistics are not available, should return Statistics::new_unknown (the default), not an error. If partition is None, it returns statistics for the entire plan.

fn supports_limit_pushdown(&self) -> bool

Returns true if a limit can be safely pushed down through this ExecutionPlan node.

fn with_fetch(&self, _limit: Option<usize>) -> Option<Arc<dyn ExecutionPlan>>

Returns a fetching variant of this ExecutionPlan node, if it supports fetch limits. Returns None otherwise.

fn fetch(&self) -> Option<usize>

Gets the fetch count for the operator, None means there is no fetch.

fn cardinality_effect(&self) -> CardinalityEffect

Gets the effect on cardinality, if known

fn try_swapping_with_projection( &self, _projection: &ProjectionExec, ) -> Result<Option<Arc<dyn ExecutionPlan>>, DataFusionError>

Attempts to push down the given projection into the input of this ExecutionPlan.

fn gather_filters_for_pushdown( &self, _phase: FilterPushdownPhase, parent_filters: Vec<Arc<dyn PhysicalExpr>>, _config: &ConfigOptions, ) -> Result<FilterDescription, DataFusionError>

Collect filters that this node can push down to its children. Filters that are being pushed down from parents are passed in, and the node may generate additional filters to push down. For example, given the plan FilterExec -> HashJoinExec -> DataSourceExec, what will happen is that we recurse down the plan calling ExecutionPlan::gather_filters_for_pushdown:

fn handle_child_pushdown_result( &self, _phase: FilterPushdownPhase, child_pushdown_result: ChildPushdownResult, _config: &ConfigOptions, ) -> Result<FilterPushdownPropagation<Arc<dyn ExecutionPlan>>, DataFusionError>

Handle the result of a child pushdown.

fn with_new_state( &self, _state: Arc<dyn Any + Sync + Send>, ) -> Option<Arc<dyn ExecutionPlan>>

Injects arbitrary run-time state into this execution plan, returning a new plan instance that incorporates that state if it is relevant to the concrete node implementation.

fn try_pushdown_sort( &self, _order: &[PhysicalSortExpr], ) -> Result<SortOrderPushdownResult<Arc<dyn ExecutionPlan>>, DataFusionError>

Try to push down sort ordering requirements to this node.

fn with_preserve_order( &self, _preserve_order: bool, ) -> Option<Arc<dyn ExecutionPlan>>

Returns a variant of this ExecutionPlan that is aware of order-sensitivity.