Crate kotoba

Source

Expand description

§Kotoba: GP2系グラフ書換え言語

ISO GQL準拠クエリ、MVCC+Merkle永続、分散実行まで一貫させたグラフ処理システム

§Multi-Crate Architecture

Kotobaは以下のcrateに分割されています：

kotoba-core: 基本型とIR定義
kotoba-graph: グラフデータ構造
kotoba-storage: 永続化層
kotoba-execution: クエリ実行とプランナー
kotoba-rewrite: グラフ書き換え
kotoba-server: ServerフレームワークとHTTP

Re-exports§

pub use kotoba_core as core;
pub use kotoba_graph as graph;
pub use kotoba_storage as storage;
pub use kotoba_execution as execution;
pub use kotoba_rewrite as rewrite;

Modules§

applier: ルール適用
catalog: Catalog-IR（スキーマ/索引/不変量）
cid: CID (Content ID) システムの実装 Merkle DAGにおけるコンテンツアドレッシング
cli: Kotoba CLI - Denoを参考にしたグラフ処理システムのコマンドラインインターフェース
distributed: 分散実行システム - CIDベースの分散グラフ処理
edge: エッジ関連構造体
engine: 書換えエンジン
executor: クエリ実行器
frontend: Kotoba Web Framework - Next.js風フルスタックWebフレームワーク
gql_parser: GQLパーサー（完全実装）
http: HTTPサーバーモジュール
logical: 論理プランナー（GQL → 論理プラン）
lsm: RocksDBベースのストレージエンジン
matcher: ルールマッチング
merkle: Merkle DAG（コンテンツアドレッサブルストレージ）
mvcc: MVCC（Multi-Version Concurrency Control）
network_protocol: ネットワーク通信プロトコル - 分散実行のための通信層
optimizer: クエリ最適化器
patch: Patch-IR（差分表現）
pgview: PGView (Property Graph View) - GraphInstanceからプロパティグラフへのprojection
physical: 物理プランナー（論理プラン → 物理プラン）
query: Query-IR（GQL論理プラン代数）
rule: Rule-IR（DPO型付き属性グラフ書換え）
schema: JSON Schema定義に基づいた型定義 Process Network as GTS(DPO)+OpenGraph with Merkle DAG & PG view
schema_test: JSON Schema統合テスト
schema_validator: JSON Schemaバリデーション機能プロジェクトの公式JSON Schemaによるデータ検証
strategy: Strategy-IR（極小戦略表現）
types: 共通型定義
vertex: 頂点関連構造体

Structs§

AddEdge: エッジ追加
AddVertex: 頂点追加
Adds: 追加操作
Aggregation: 集計関数
Catalog: カタログ
ContentHash: コンテンツハッシュ
CostEstimator: コスト推定器
Dels: 削除操作
EdgeBuilder: エッジビルダー
EdgeData: エッジデータ
EdgeDef: エッジ定義
EdgePattern: エッジパターン
GqlParser: GQLパーサー
Graph: グラフ（列指向表現）
GraphElement: グラフパターン要素
GraphPattern: グラフパターン
GraphRef: スレッドセーフなグラフ参照
GraphRef_: グラフ参照（Merkleハッシュ）
GraphVersion: グラフのバージョン管理
Guard: ガード条件（名前付き述語）
IndexDef: インデックス定義
Invariant: 不変条件
LSMTree: RocksDBベースのストレージマネージャー
LabelDef: ラベル定義
LogicalPlanner: 論理プランナー
MVCCManager: MVCCマネージャー
Match: ルールマッチ結果
MerkleDAG: Merkle DAG
MerkleNode: Merkleノード
Nac: 負の条件（NAC: Negative Application Condition）
Patch: パッチ操作
PhysicalPlan: 物理プラン
PhysicalPlanner: 物理プランナー
PlanIR: 論理プラン
PrioritizedStrategy: 優先順位付き戦略
PropertyDef: プロパティ定義
QueryExecutor: クエリ実行器
QueryOptimizer: クエリ最適化器
Relink: リリンク（エッジの端点変更）
RewriteEngine: 書換えエンジン
Row: 実行結果行
RuleApplier: ルール適用器
RuleIR: DPOルール定義
RuleMatcher: ルールマッチャー
SortKey: ソートキー
StrategyIR: 戦略IR
StrategyResult: 戦略実行結果
Transaction: トランザクション
TxId: トランザクションID
UpdateProp: プロパティ更新
Updates: 更新操作
VertexBuilder: 頂点ビルダー
VertexData: 頂点データ

Enums§

Direction: 方向
Expr: 式
KotobaError: エラー型
LogicalOp: 論理演算子
OptimizationRule: 最適化ルール
Order: 適用順序
PhysicalOp: 物理演算子
Predicate: 述語
StrategyOp: 戦略演算子
TxState: トランザクション状態
Value: プロパティ値
ValueType: 値型

Traits§

Externs: 外部述語/測度トレイト
RewriteExterns: 外部関数インターフェース

Type Aliases§

EdgeId: エッジID
Label: ラベル（型）
Matches: 複数マッチ結果
Properties: プロパティ
PropertyKey: プロパティキー
Result
RowStream: 結果ストリーム
VertexId: 頂点ID

Crate kotoba

Crate kotoba Copy item path

§Kotoba: GP2系グラフ書換え言語

§Multi-Crate Architecture

Re-exports§

Modules§

Structs§

Enums§

Traits§

Type Aliases§

Crate kotoba