写了一个数据库（Cozo），开源的，希望大家试用，多提意见

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

爱意满满的作品展示区。

这是一个创建于 1109 天前的主题，其中的信息可能已经有所发展或是发生改变。

GitHub 主页（英文）： https://github.com/cozodb/cozo/
Gitee 镜像（中文）： https://gitee.com/cozodb/cozo/
一些胡言乱语： https://docs.cozodb.org/zh_CN/latest/releases/v0.4.html

17 条回复 • 2025-04-30 14:41:06 +08:00

no13bus

2023 年 1 月 4 日

图数据库吗

amadeoh

2023 年 1 月 4 日

@no13bus 是的

hljjhb

2023 年 1 月 4 日

生产可用吗？

bfjm

2023 年 1 月 4 日

加油已 star

amadeoh

2023 年 1 月 4 日

@hljjhb 问题不大，我自己反正生产已经用了几个月了。遇到问题随时提。

455c4l811WjPy37n

2023 年 1 月 5 日

666

superliy

2023 年 1 月 5 日

666

nian8

2023 年 1 月 5 日

niu

zzl22100048

2023 年 1 月 5 日

怎么做子图匹配查询？

amadeoh

2023 年 1 月 5 日

@zzl22100048 直接把需要的子图写成 Horn 规则，不绑定任何常数，跑就完了。另外子图匹配的一般情况是 NP-hard ，肯定没法在大的数据集上面跑。

amadeoh

2023 年 1 月 5 日

具体的查询因为可以提前绑定量，所以比 NP-hard 会好很多，但是需要根据具体问题写具体的查询，没有一般解法。

horou

2023 年 1 月 5 日

6 ，有亿点强

leonidas10086

2023 年 1 月 5 日

这个网站的后端是用 Cozo 数据库这么实现的：

:create status {uid: String => mood: String}
翻译成 Postgres 的 SQL 的话，是这样：

create table status (
uid text primary key,
status text not null
)
====

这里写错了吧，翻译成 sql 是：
create table status (
uid text primary key,
mood text not null
)

amadeoh

2023 年 1 月 5 日

@leonidas10086 多谢，马上改

dx3759

2023 年 1 月 5 日

竟然是用 Rust 开发的

fuyufjh

2023 年 1 月 8 日

毫不夸张地说，这是我见过的完成度最高的个人项目，文档也很棒，太强了！！

Nospoon

2025 年 4 月 30 日

项目现在还有在维护吗？