Skip to main content

DictionaryBuilder

Struct DictionaryBuilder 

Source
pub struct DictionaryBuilder { /* private fields */ }
Expand description

Builds a Dictionary from observed (subject, predicate, object) terms.

Terms are deduped with HashSet during ingest (O(1) average insert, no tree rebalancing) and sorted once in Self::build. This replaces a trio of BTreeSet<String> whose per-insert O(log n) cost + a String allocation for every observed term (most of them duplicates) dominated the build on large graphs.

Implementations§

Source§

impl DictionaryBuilder

Source

pub fn new() -> DictionaryBuilder

A builder with the process-wide writer settings (crate::write_opts::frequent_objects).

Source

pub fn with_frequent_objects(self, n: usize) -> DictionaryBuilder

Promote the n most frequent object-only terms (by the number of statements that carry them as object; ties by term order) into the shared section (0 = off, the default).

The shared section is numbered first and in term order, so a promoted vocabulary term (a class, a scheme individual, a status literal) gets a small object id wherever it sorts ahead of the shared entities — the effect declaring the vocabulary in a TBox has, without the TBox. A promoted term keeps its object id role; the subject id it also gets is simply never used by any statement. Readers need nothing new: the shared section has always been looked up first for both roles.

Set it before the first Self::observe: promotion counts objects as they are observed.

Source

pub fn observe(&mut self, subject: &str, predicate: &str, object: &str)

Record one triple’s terms (IDs are assigned later, in Self::build). We probe with the borrowed &str first and only allocate a String for a genuinely new term — so a graph of N triples does far fewer than 3N allocations (each subject/predicate recurs across many triples).

Source

pub fn observe_graph(&mut self, graph: &str)

Record a graph name as a term in the subject role — how the quad index (SPEC.md §6.5) makes graph names dictionary ids. It lands in the shared section when the name is also an object, else in the subject-only section.

Source

pub fn build(self) -> Dictionary

Trait Implementations§

Source§

impl Default for DictionaryBuilder

Source§

fn default() -> DictionaryBuilder

Returns the “default value” for a type. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, !>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V