Cozo 数据库文档# 欢迎来到 Cozo 数据库的文档。Cozo 是一个使用 Datalog 做为查询语言的功能丰富的事务型关系型数据库。Cozo 专注于图数据与图算法，可进行历史穿梭查询，且性能强劲。 无需在电脑上安装任何软件，现在就打开 入门教程 开始学习吧！ 如需要具体安装说明以及针对特定语言的API，请参考 Cozo 的 GitHub 页面 或者 Gitee 页面。 目次 入门教程 基础知识 历史穿梭 延伸案例：航空路线数据集 “硬派”地导入数据 查询 内联规则 固定规则 查询选项 存储表与事务 存储表 连锁查询 索引 触发器 历史穿梭查询 系统操作 解释查询 对存储表的操作 进程 维护 数据类型 运行时类型 字面表达式 列类型 查询的执行 析取范式 规则的分层 魔法集改写 半朴素求值 对原子排序 对原子求值 早停法 查询技巧 空值的问题 如何连接表 函数与算符 不是函数 函数的算符表达 相等与比较 布尔函数 数学函数 字符串函数 数组函数 二进制函数 类型检查与转换函数 随机函数 正则表达式函数 时间戳函数 聚合 半晶格聚合 普通聚合 工具与算法 工具 连通性算法 寻路算法 社区发现算法 中心度量算法 杂项 CozoScript 之外 export_relations import_relations backup restore import_from_backup 回调 一些笔记 Cozo 的应用场景 Cozo 哪儿都能跑 性能那些事儿 数据库的时光之梦 Cozo 0.5：距离 1.0 只有一半了！ 索引# 索引