Graphify：基于 $O(S)$ GraphQL 到 Gremlin 转换的类型安全图后端自动合成
数据库
2026-05-01 v1
摘要
图数据库提供了管理相互关联数据 unparalleled 的灵活性，但缺乏严格的模式强制常导致运行时不确定性和复杂的查询开发。本文引入 Graphify，一个端到端框架，使开发人员能够可视化建模图数据模式并自动合成功能完整、类型安全的后端。本文提出了 GraphQL 构件到 Gremlin 遍历机器的正式映射，支持完整的 CRUD 操作和任意嵌套查询。系统生成的转换器能够将复杂的 GraphQL 请求转换为单个优化后的 Gremlin 查询，包括诸如嵌套逻辑谓词、多键排序和分页等高级功能。该框架的核心是递归状态机算法，可对 GraphQL 抽象语法树（ASTs）进行线性时间复杂度 的处理（相对于所选字段的数量）。本文通过形式复杂度分析和使用 MovieLens 100k 数据集的实证评估，展示了该方法的实际效率和理论稳健性。结果是一个能够在数分钟内生成图接口的系统，弥合了灵活图存储与类型安全 API 消费之间的鸿沟。
引用
@article{arxiv.2604.27223,
title = {Graphify: Automated Synthesis of Type-Safe Graph Backends via $O(S)$ GraphQL-to-Gremlin Transpilation},
author = {Johannes Graf},
journal= {arXiv preprint arXiv:2604.27223},
year = {2026}
}
备注
18 pages, 5 figures. Introduces a formal mapping between GraphQL and Gremlin with $O(S)$ time complexity. Includes empirical evaluation on MovieLens 100k. Open-source implementation available at https://github.com/Graf-J/Graphify