Struct SemiNaiveEvaluator 

pub struct SemiNaiveEvaluator { /* private fields */ }

Semi-naive Datalog evaluator.

Computes the least fixpoint of a set of Datalog rules over a base EDB by iterating only over the delta (newly derived facts) at each round.

Implementations

impl SemiNaiveEvaluator

pub fn new(rules: Vec<Rule>, edb: Edb) -> Self

Create a new evaluator with the given rules and EDB.

pub fn evaluate(&mut self) -> Result<&Idb, QueryError>

Run semi-naive evaluation to fixpoint and return the final IDB.

Algorithm:

1. Seed Δ with all EDB facts plus any IDB fact-rules.
2. Repeat until Δ is empty: a. For each rule, derive new facts using Δ. b. New facts not already in IDB become the next Δ. c. Add all new facts to IDB.

pub fn stats(&self) -> &EvalStats

Return evaluation statistics.

pub fn idb(&self) -> &Idb

Return a reference to the current IDB.

pub fn edb(&self) -> &Edb

Return a reference to the EDB.