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

[amadeoh]

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

[no13bus]

图数据库吗

[amadeoh]

@no13bus 是的

[hljjhb]

生产可用吗？

[bfjm]

加油 已 star

[amadeoh]

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

[ProProPro]

666

[superliy]

666

[nian8]

niu

[zzl22100048]

怎么做 子图匹配 查询？

[amadeoh]

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

[amadeoh]

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

[horou]

6 ，有亿点强

[leonidas10086]

这个网站的后端是用 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]

@leonidas10086 多谢，马上改

[dx3759]

竟然是用 Rust 开发的

[fuyufjh]

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