Struct ReadTransaction 

pub struct ReadTransaction { /* private fields */ }

Read transaction over a pinned state snapshot.

Performance

Moving a read transaction is O(database state size).

Implementations

impl ReadTransaction

pub const fn pin(&self) -> ReadPin

Returns this transaction’s reader pin.

Performance

This method is O(1).

pub const fn catalog(&self) -> &Catalog

Returns catalog metadata.

Performance

This method is O(1).

pub fn element_count(&self) -> usize

Returns visible element count.

Performance

This method is O(1).

pub fn relation_count(&self) -> usize

Returns visible relation count.

Performance

This method is O(1).

pub fn incidence_count(&self) -> usize

Returns visible incidence count.

Performance

This method is O(1).

pub fn contains_element(&self, id: ElementId) -> bool

Returns whether an element exists.

Performance

This method is O(log n).

pub fn contains_relation(&self, id: RelationId) -> bool

Returns whether a relation exists.

Performance

This method is O(log n).

pub fn contains_incidence(&self, id: IncidenceId) -> bool

Returns whether an incidence exists.

Performance

This method is O(log n).

pub fn element(&self, id: ElementId) -> Option<&ElementRecord>

Returns an element record.

Performance

This method is O(log n).

pub fn relation(&self, id: RelationId) -> Option<&RelationRecord>

Returns a relation record.

Performance

This method is O(log n).

pub fn incidence(&self, id: IncidenceId) -> Option<&IncidenceRecord>

Returns an incidence record.

Performance

This method is O(log n).

pub fn element_incidences( &self, id: ElementId, ) -> impl Iterator<Item = &IncidenceRecord>

Iterates incidences attached to an element.

Performance

This method is O(i) for visible incidence count.

pub fn property( &self, subject: PropertySubject, key: PropertyKeyId, ) -> Option<&PropertyValue>

Returns one property value.

Performance

This method is O(log subjects + log keys).

pub fn lookup_property_equal( &self, key: PropertyKeyId, value: &PropertyValue, ) -> Result<Vec<PropertySubject>, DbError>

Looks up subjects with a property value.

Errors

Returns DbError when the property key is unknown or value does not match the key schema.

Performance

This method is O(property subject count).

pub fn lookup_property_range( &self, key: PropertyKeyId, min: &PropertyValue, max: &PropertyValue, ) -> Result<Vec<PropertySubject>, DbError>

Looks up subjects with a property inside an inclusive range.

Errors

Returns DbError when the property key is unknown or either bound does not match the key schema.

Performance

This method is O(property subject count).

pub fn lookup_index( &self, index: IndexId, lookup: IndexLookup<'_>, ) -> Result<Vec<PropertySubject>, DbError>

Executes an index lookup.

Errors

Returns DbError when the index is unknown, the lookup shape does not match the index kind, or supplied property values do not match catalog schemas.

Performance

This method is O(indexed family size) for the greenfield embedded implementation.

pub fn graph_projection( &self, id: ProjectionId, ) -> Result<GraphProjection, DbError>

Materializes a graph projection.

Errors

Returns DbError when the projection is unknown, is not a graph, or fails validation against current topology.

Performance

This method is O(relation count * incidence count).

pub fn graph_projection_by_name( &self, name: &str, ) -> Result<GraphProjection, DbError>

Materializes a graph projection by catalog name.

Errors

Returns DbError when the projection is unknown, is not a graph, or fails validation against current topology.

Performance

This method is O(log projection count + relation count * incidence count).

pub fn traverse_graph( &self, projection: ProjectionId, seeds: &[ElementId], options: TraversalOptions, ) -> Result<TraversalResult, DbError>

Traverses a cataloged graph projection from canonical seed elements.

Rows are unique canonical elements in BFS first-discovery order. Depth is the shortest discovered hop count from any seed.

Errors

Returns DbError when the projection is unknown, is not a graph, cannot be materialized, or a seed element is not part of the projection.

Performance

This method is O(relation count * incidence count + visited edges).

pub fn hypergraph_projection( &self, id: ProjectionId, ) -> Result<HypergraphProjection, DbError>

Materializes a hypergraph projection.

Errors

Returns DbError when the projection is unknown, is not a hypergraph, or fails validation against current topology.

Performance

This method is O(relation count * incidence count).

pub fn execute(&self, query: &PreparedQuery) -> Result<QueryResult, DbError>

Executes a prepared query.

Errors

Returns DbError when execution cannot materialize a referenced projection.

Performance

This method is O(plan output + projection build cost when used).

pub fn explain(&self, query: &PreparedQuery) -> String

Explains a prepared query.

Performance

This method is O(plan size).