Skip to main content

oxgraph_db/
lib.rs

1//! Standalone OxGraph-native database engine.
2//!
3//! `oxgraph-db` is a product layer above the topology substrate. It owns
4//! durable database identity, cataloged physical projections, properties,
5//! indexes, native `OxQL` execution, the pinned Cypher profile, and embedded
6//! transaction semantics. Foundation crates remain storage- and
7//! meaning-neutral.
8#![expect(
9    clippy::redundant_pub_crate,
10    reason = "internal modules use crate visibility for sibling boundaries while staying unexported"
11)]
12
13pub(crate) mod catalog;
14pub(crate) mod database;
15pub(crate) mod error;
16pub(crate) mod freeze;
17pub(crate) mod id;
18pub(crate) mod lock;
19pub(crate) mod projection;
20pub(crate) mod query;
21pub(crate) mod state;
22pub(crate) mod storage;
23pub(crate) mod traversal;
24pub(crate) mod value;
25pub(crate) mod wire;
26
27pub use crate::{
28    catalog::{
29        Catalog, GraphProjectionDefinition, HypergraphProjectionDefinition, IndexDefinition,
30        IndexEntry, LabelDefinition, ProjectionDefinition, ProjectionEntry, PropertyFamily,
31        PropertyKeyDefinition, RelationTypeDefinition, RoleDefinition,
32    },
33    database::{
34        CatalogSummary, Database, DatabaseStatus, IndexLookup, ReadPin, ReadTransaction,
35        WriteTransaction,
36    },
37    error::DbError,
38    id::{
39        CheckpointGeneration, CommitSeq, ElementId, IncidenceId, IndexId, LabelId, ProjectionId,
40        PropertyKeyId, RelationId, RelationTypeId, RoleId, TransactionId,
41    },
42    projection::{
43        GraphProjection, HypergraphProjection, ProjectionElementId, ProjectionIncidenceId,
44        ProjectionRelationId,
45    },
46    query::{PreparedQuery, QueryLanguage, QueryResult, QueryRow, QueryValue},
47    state::{ElementRecord, IncidenceRecord, PropertySubject, RelationRecord},
48    traversal::{TraversalDirection, TraversalOptions, TraversalResult, TraversalRow},
49    value::{PropertyType, PropertyValue},
50};
51
52#[cfg(kani)]
53mod proofs;