#MoonRDFS

#特性

• 零查询语言依赖：不 import sparql；查询降阶适配器（Op→pattern） 住消费方仓库，本仓只锁 exec_bgp / exec_bgp_quads 上料与匹配面。
• 排布数据化：索引排布 = TOML 策略表数据（domain/index_layout.toml）， 词→规格 of_name，择径 choose_triple_index_pos / choose_quad_index_pos 完美前缀；物理面 CF 族随排布数据——换排布 = 换表，零代码改动。
• 单连接核，差分对拍：内存核与 RocksStore 同吃一份 join 逻辑 （pub(open) trait TripleEngine / QuadEngine，exec_bgp_on / exec_bgp_quads_on 单真源）；同料两店全 API 对拍门按规范形行集判定。
• 图感知 BGP 面：QuadPattern / QuadBgp（g/s/p/o 四槽，图变元 与主谓宾同权进连接序）；数据集分账——默认图走 exec_bgp（三元组 侧），命名图走 exec_bgp_quads（四元组侧）。
• 迭代器纪律：批返回 + limit? 上界参数，禁无界流。
• 错误面独立族：RdfStoreError 政策/完整性/外部三分， of_face 统一翻译口——不污染调用方错误语义。

#安装

moon add thy1016/moonrdfs

#快速上手

let ds = @store.MemoryDataset::new()
let _ = ds.insert(@core.Triple::{
  s: @core.Term::Iri("http://example/s"),
  p: @core.Term::Iri("http://example/p"),
  o: @core.Term::Literal("v", None, None),
})
let rows = ds.exec_bgp(@core.Bgp::{
  patterns: [
    @core.TriplePattern::{
      s: @core.PatternTerm::Var("s"),
      p: @core.PatternTerm::Fixed(@core.Term::Iri("http://example/p")),
      o: @core.PatternTerm::Var("o"),
    },
  ],
})
// rows : Array[Map[String, @core.Term]]——变元名 → 规范形词项

let _ = ds.insert_quad(@core.Quad::{
  s: @core.Term::Iri("http://example/s"),
  p: @core.Term::Iri("http://example/p"),
  o: @core.Term::Iri("http://example/o"),
  g: @core.Named(@core.Term::Iri("http://example/g")),
})
let qbgp = @core.QuadBgp::{
  patterns: [
    @core.QuadPattern::{
      g: @core.PatternTerm::Var("g"),
      s: @core.PatternTerm::Var("x"),
      p: @core.PatternTerm::Fixed(@core.Term::Iri("http://example/p")),
      o: @core.PatternTerm::Var("o"),
    },
  ],
}
let qrows = ds.exec_bgp_quads(qbgp)
// 图变元 ?g 解出 Named 图名词项

let rs = @rocks.RocksStore::open(
  path="/tmp/rdfs-db",
  triple_layout=@core.default_triple_layout(),
  quad_layout=@core.default_quad_layout(),
)
// 与内存核同一份连接核;同料对拍门保证两店逐位同形
rs.close()

#API 总览

#设计边界

• 拆包形 = Oxigraph，不是 Jena——分层污点反例锚 = Jena tdb2 solver import ARQ 型。血统明示：Jena TDB2 五层对位（NodeId/字典 → TupleIndex → 表层 → Dataset 门面 → solver）与 Oxigraph 拆包分层， 思想与分层参考，实现全自研（clean-room，Apache-2.0）。
• 翻译门 adapter 住消费方：moonttl / jelly 等上游格式到本库词项的 适配器住消费侧装配包；本仓零上游依赖。
• RDF 1.2 注解（annotation / reifies）的专用索引未立； TripleTerm 词项嵌套已支持。
• 物理面消费前提：宿主链接 rocksdb C 库；非 native 后端不可见 （per-file targets 门）。

#测试与验证

moon test -p core
moon test -p store
moon test -p rocks --target native

#许可证