#sparql

#血统明示

#特性

• 表驱动词法:domain/token_fsm.toml 声明词法状态机(26 态),生成器 产扫描器——词法零语法味,新方言 = 新数据不是新代码;补偿点台账单点 登记(spec §8),词法口径修正永不散落。
• 八簇分簇解析:Prologue / QueryForm / DatasetClause / WhereClause / GroupGraphPattern / TriplesBlock / Expression / SolutionModifier 各司其职——线性面状态机、嵌套图模式递归下降、表达式 Pratt,簇边界 即错误恢复点。
• 代数与求值:AST → Op 代数(BGP / Join / LeftJoin / Minus / Union / Filter / Extend / Graph / Values / Path / Project / Distinct / Slice / GroupBy / Order / Ann),eval_query 一行入口直出解集。
• 查询形全谱:SELECT / ASK / CONSTRUCT(全形模板);聚合 (COUNT/SUM/AVG/MIN/MAX 族)、GROUP BY / HAVING / ORDER BY / LIMIT / OFFSET / VALUES / 子查询(SubSelect)/ 属性路径(? * ^ ! 取反族)。
• SPARQL 1.2 面:<< s p o >> 三元组项与 TRIPLE()/isTriple() 内建、 方向字面量(--ltr)、VERSION 1.2 词——按 since 字表键控,方言开关 裁剪不动词法表。
• Update 解析门:eval_update 对 SPARQL 1.1 Update 语法 (syntax-update-1/2,55 案全判);求值面后置(见设计边界)。
• 桥装审计线:bridge 包 = moonttl 真解析器装载 TriG → 本仓 Store, 与官方查询 × 官方结果件逐门对拍(475 案 475 过)——第二来源异构 oracle,门装↔官方↔桥装三角互证。

#安装

moon add thy1016/sparql

#快速上手

let store = @core.Store::new()
store.add("http://example.org/alice", "http://xmlns.com/foaf/0.1/name", "Alice")
store.add_typed(
  "http://example.org/alice", "http://xmlns.com/foaf/0.1/age", "31", "",
  "http://www.w3.org/2001/XMLSchema#integer", "",
)

let query =
  #|PREFIX foaf: <http://xmlns.com/foaf/0.1/>
  #|SELECT ?name WHERE {
  #|  ?a foaf:age ?age .
  #|  FILTER(?age > 30)
  #|  ?a foaf:name ?name .
  #|}
match @core.eval_query(query_bytes[:], store) {
  @core.EvalOk(solutions) =>
    for sol in solutions {
      println(sol.get("name"))   // => Some("Alice")
    }
  @core.EvalBool(b) => println(b)          // ASK 形
  @core.EvalGraph(triples) => /* CONSTRUCT 形:逐三元组 */
  @core.EvalFail(span, reason) => println("fail @\{span.start}: \{reason}")
}

let (store, warnings) = @bridge.store_from_trig(trig_bytes)

moon run cmd/demo --target native

#包结构

#API 总览

#错误面

#设计边界

• 账面词求值:v0 口径 = plain-string 三元组账(账面词精确文本匹配, IRI 去尖括号、字面量去引号反转义);表达式求值宽容双轨(两侧皆可数 则数值比,否则文本比)。全强型值空间(数值型阶梯/XSD 逐型比较) 候升不排期。
• Update 求值面后置:解析门已立(55 案全判),数据集算子执行 (INSERT/DELETE 语义)候裁另案。
• 优化器后置:代数直出直算,代数重写(连接序/过滤下推)候裁。
• 方言键控:1.2 新词缺省关(since 字表裁剪);scalar_only 类 方言开关走词表数据,不动生成器。
• wasm 档:全套件并发撞 moonrun 堆帽(既有账,亲缘判定 target = native);库本体不含并发面,消费方 wasm 面自证。

#测试与验证

moon test --target native

• w3c/rdf-tests 上游(sparql12 三元组项族)。CI 按 commit SHA 钉死取件 (sparse clone,见 .github/workflows/test.yaml);本地重建同法。语料 文件按 W3C Test Suite License / 3-clause BSD 双许可分发,原始文件 未修改,仅本地与 CI 取件消费、不再分发。

#许可证