pub struct MainEdgeDataset { /* private fields */ }Expand description
Main edge dataset for the unified edges table.
This table contains all edges regardless of type, providing:
- Fast ID-based lookups without knowing the edge type
- Unified traversal queries
Implementations§
Source§impl MainEdgeDataset
impl MainEdgeDataset
Sourcepub fn compute_edge_uid(
src_uid: &UniId,
dst_uid: &UniId,
edge_type: &str,
props: &Properties,
) -> UniId
pub fn compute_edge_uid( src_uid: &UniId, dst_uid: &UniId, edge_type: &str, props: &Properties, ) -> UniId
Compute the content-addressed UID for an edge.
Edge identity is the SHA3-256 of
(src_uid, dst_uid, edge_type, sorted_properties) — the same
content-addressed pattern as
MainVertexDataset::compute_vertex_uid but extended with
edge endpoint UIDs and the edge type. This lets fork diff and
promote distinguish parallel edges between the same endpoints
when their property bags differ (multi-edge support).
Property iteration is sorted by key for deterministic hashing across machines and runs.
Sourcepub fn get_arrow_schema() -> Arc<ArrowSchema> ⓘ
pub fn get_arrow_schema() -> Arc<ArrowSchema> ⓘ
Get the Arrow schema for the main edges table.
Sourcepub fn table_name() -> &'static str
pub fn table_name() -> &'static str
Get the table name for the main edges table.
Sourcepub fn build_record_batch(
edges: &[(Eid, Vid, Vid, String, Properties, bool, u64)],
created_at: Option<&HashMap<Eid, i64>>,
updated_at: Option<&HashMap<Eid, i64>>,
) -> Result<RecordBatch>
pub fn build_record_batch( edges: &[(Eid, Vid, Vid, String, Properties, bool, u64)], created_at: Option<&HashMap<Eid, i64>>, updated_at: Option<&HashMap<Eid, i64>>, ) -> Result<RecordBatch>
Build a record batch for the main edges table.
§Arguments
edges- List of (eid, src_vid, dst_vid, edge_type, properties, deleted, version) tuplescreated_at- Optional map of Eid -> nanoseconds since epochupdated_at- Optional map of Eid -> nanoseconds since epoch
Sourcepub async fn write_batch(
backend: &dyn StorageBackend,
batch: RecordBatch,
) -> Result<()>
pub async fn write_batch( backend: &dyn StorageBackend, batch: RecordBatch, ) -> Result<()>
Write a batch to the main edges table.
Creates the table if it doesn’t exist, otherwise appends to it.
Race-safe under async-flush — see
crate::storage::manager::write_batch_with_lance_conflict_retry.
Sourcepub async fn ensure_default_indexes(backend: &dyn StorageBackend) -> Result<()>
pub async fn ensure_default_indexes(backend: &dyn StorageBackend) -> Result<()>
Ensure default indexes exist on the main edges table.
Checks for existing indexes before creating to avoid expensive full-table rebuilds on every flush (LanceDB replaces indexes on create).
Sourcepub async fn exists_by_eid(
backend: &dyn StorageBackend,
eid: Eid,
) -> Result<bool>
pub async fn exists_by_eid( backend: &dyn StorageBackend, eid: Eid, ) -> Result<bool>
Check whether an edge exists by EID, regardless of deletion status.
Unlike find_props_by_eid, this does NOT filter by _deleted = false,
so it returns true for both active and soft-deleted edges. Used by the
compaction invariant check to verify dual-writes occurred.
Sourcepub async fn find_props_by_eid(
backend: &dyn StorageBackend,
eid: Eid,
version: Option<u64>,
) -> Result<Option<Properties>>
pub async fn find_props_by_eid( backend: &dyn StorageBackend, eid: Eid, version: Option<u64>, ) -> Result<Option<Properties>>
Find properties for an edge by EID in the main edges table.
Returns the props_json parsed into a Properties HashMap if found. This is used as a fallback for unknown/schemaless edge types.
§Arguments
-
version- Optional version high water mark for snapshot isolation. MirrorsMainVertexDataset::find_props_by_vid; without it a snapshot-pinned reader reads L0 and the delta tier at its snapshot but this L1 fallback at HEAD, so a post-snapshot write becomes visible.The bound only bites when the calling
PropertyManagerwas built over pinned storage, which today meansUniInner::at_snapshot’s time-travel view. A read-write transaction routes its scans throughpinned_at_versionbut deliberately keeps the live, unboundedPropertyManagerso property point-reads honour read-your-writes — see the design note atuni-query’sexecutor/read.rs. Schemaless and overflow edge properties live only inprops_json(never in delta columns), so this path is reached on every such read — not only after compaction.
§Errors
Returns an error if the table query fails or JSON parsing fails.
Sourcepub async fn find_edges_by_type_names(
backend: &dyn StorageBackend,
type_names: &[&str],
endpoint_filter: Option<(EndpointSide, &[Vid])>,
) -> Result<Vec<(Eid, Vid, Vid, String, Properties)>>
pub async fn find_edges_by_type_names( backend: &dyn StorageBackend, type_names: &[&str], endpoint_filter: Option<(EndpointSide, &[Vid])>, ) -> Result<Vec<(Eid, Vid, Vid, String, Properties)>>
Find edge data (eid, src_vid, dst_vid, edge_type, props) by multiple type names in the main edges table.
Returns all non-deleted edges with any of the given type names.
This is used for OR relationship type queries like [:KNOWS|HATES].
endpoint_filter pushes a bounded endpoint set into the scan (review
perf #5: a 1-source schemaless traversal used to materialize the whole
edge type). None keeps the full-type scan.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for MainEdgeDataset
impl RefUnwindSafe for MainEdgeDataset
impl Send for MainEdgeDataset
impl Sync for MainEdgeDataset
impl Unpin for MainEdgeDataset
impl UnsafeUnpin for MainEdgeDataset
impl UnwindSafe for MainEdgeDataset
Blanket Implementations§
impl<T> Allocation for T
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> FmtForward for T
impl<T> FmtForward for T
Source§fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
self to use its Binary implementation when Debug-formatted.Source§fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
self to use its Display implementation when
Debug-formatted.Source§fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
self to use its LowerExp implementation when
Debug-formatted.Source§fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
self to use its LowerHex implementation when
Debug-formatted.Source§fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
self to use its Octal implementation when Debug-formatted.Source§fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
self to use its Pointer implementation when
Debug-formatted.Source§fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
self to use its UpperExp implementation when
Debug-formatted.Source§fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
self to use its UpperHex implementation when
Debug-formatted.Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreimpl<T> MaybeSend for Twhere
T: Send,
impl<T> MaybeSend for Twhere
T: Send,
Source§impl<T> Pipe for Twhere
T: ?Sized,
impl<T> Pipe for Twhere
T: ?Sized,
Source§fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
Source§fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
self and passes that borrow into the pipe function. Read moreSource§fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
self and passes that borrow into the pipe function. Read moreSource§fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
Source§fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R,
) -> R
fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R, ) -> R
Source§fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
self, then passes self.as_ref() into the pipe function.Source§fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
self, then passes self.as_mut() into the pipe
function.Source§fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
self, then passes self.deref() into the pipe function.impl<T> PluginState for T
Source§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> Read<Exclusive, BecauseExclusive> for Twhere
T: ?Sized,
Source§impl<T> Tap for T
impl<T> Tap for T
Source§fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
Borrow<B> of a value. Read moreSource§fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
BorrowMut<B> of a value. Read moreSource§fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
AsRef<R> view of a value. Read moreSource§fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
AsMut<R> view of a value. Read moreSource§fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
Deref::Target of a value. Read moreSource§fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
Deref::Target of a value. Read moreSource§fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
.tap() only in debug builds, and is erased in release builds.Source§fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
.tap_mut() only in debug builds, and is erased in release
builds.Source§fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
.tap_borrow() only in debug builds, and is erased in release
builds.Source§fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
.tap_borrow_mut() only in debug builds, and is erased in release
builds.Source§fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
.tap_ref() only in debug builds, and is erased in release
builds.Source§fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
.tap_ref_mut() only in debug builds, and is erased in release
builds.Source§fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
.tap_deref() only in debug builds, and is erased in release
builds.