Struct ViewManager 

pub struct ViewManager { /* private fields */ }

Manager for a collection of materialized views.

The manager owns all MaterializedView instances and handles delta propagation.

Implementations

impl ViewManager

pub fn new() -> Self

Create a new, empty view manager.

pub fn register_view( &mut self, definition: ViewDefinition, initial_rows: Vec<HashMap<String, String>>, )

Register a new view with its initial result rows.

If a view with the same id already exists it is replaced.

pub fn drop_view(&mut self, view_id: &str) -> bool

Remove a view by its ID.

Returns true if the view existed and was removed, false otherwise.

pub fn propagate_deltas(&mut self, deltas: &[TripleDelta]) -> Vec<String>

Propagate a batch of deltas to all registered views.

Views whose predicate sets overlap with the deltas are marked stale.

Returns the IDs of all views that were newly marked stale by this call.

pub fn get_view_data(&self, view_id: &str) -> Option<&[HashMap<String, String>]>

Return the current rows of a view, or None if the view does not exist or is stale.

pub fn refresh_view( &mut self, view_id: &str, new_rows: Vec<HashMap<String, String>>, )

Refresh a stale view with freshly-computed result rows.

This clears the stale flag so the view is immediately queryable again. Does nothing if the view does not exist.

pub fn stale_views(&self) -> Vec<&str>

Return the IDs of all currently stale views.

pub fn view_count(&self) -> usize

Return the total number of registered views.

pub fn get_view(&self, view_id: &str) -> Option<&MaterializedView>

Return a reference to a view, regardless of stale status.

pub fn view_ids(&self) -> impl Iterator<Item = &str>

Return an iterator over all view IDs.

Trait Implementations

impl Default for ViewManager

fn default() -> Self

Returns the “default value” for a type.