Skip to main content

Crate uqa_core

Crate uqa_core 

Source
Expand description

Document supports, finite-support relations, posting storage, ranked views, and shared value types for UQA.

See docs/plans/0001-uqa-engine-implementation-plan.md Section 2.1 for the algebraic invariants this crate must preserve.

Re-exports§

pub use cancel::CancellationToken;
pub use cancel::QueryCancelled;
pub use cancel::SQLSTATE_QUERY_CANCELED;
pub use doc_set::DocSet;
pub use posting_list::GeneralizedPostingList;
pub use posting_list::PostingList;
pub use predicate::Predicate;
pub use ranked_view::RankedView;
pub use relation::LogSemiring;
pub use relation::Relation;
pub use relation::RelationEntry;
pub use relation::Semiring;
pub use types::jsonb_equality_key;
pub use types::ArrayValue;
pub use types::DecimalValue;
pub use types::DocId;
pub use types::Edge;
pub use types::EdgeId;
pub use types::FieldName;
pub use types::GeneralizedPayload;
pub use types::GeneralizedPostingEntry;
pub use types::IndexStats;
pub use types::PathExpr;
pub use types::PathSegment;
pub use types::Payload;
pub use types::PostingEntry;
pub use types::TemporalValue;
pub use types::TokenOccurrence;
pub use types::TokenOccurrenceError;
pub use types::TokenOffsets;
pub use types::Value;
pub use types::Vertex;
pub use types::VertexId;

Modules§

agtype
Canonical Apache AGE agtype value model and text rendering.
cancel
Query cancellation support.
catalog_acl
Durable access-control metadata for table-shaped relations.
catalog_index
Durable index catalog metadata shared by storage and planning.
catalog_schema
Durable schema ownership and access-control metadata shared by catalog consumers.
catalog_sequence
Shared persisted sequence ACL and stable owner identity values.
doc_set
Document-id support sets.
memory
Shared byte allowances with reservations that follow allocation ownership.
ordering
Fallible in-place ordering with bounded cancellation checks and no scratch allocation.
posting_list
Payload-bearing posting storage and merge operations.
predicate
Filter predicates evaluated against Value field contents.
ranked_view
Score-ordered views over document-id-ordered posting storage.
relation
Finite-support, document-keyed relations.
retrieval
Runtime-independent retrieval configuration shared by logical and physical plans.
rpq
Regular path expression syntax shared by planning and graph execution.
types
Core value types for UQA: doc ids, payloads, posting entries, and the dynamic Value used inside payload fields.

Structs§

RelationIdentity
Durable identity of a SQL relation.
ScoredEntry

Functions§

format_float_pg
PostgreSQL float8out shortest-round-trip formatting: fixed notation while the decimal exponent is in [-4, 15), scientific (1e+15, 1e-05) otherwise, with NaN and Infinity spelled out.