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

amadeoh · 2023-01-04T11:01:41Z

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

爱意满满的作品展示区。

This topic created in 1225 days ago, the information mentioned may be changed or developed.

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

17 replies • 2025-04-30 14:41:06 +08:00

no13bus

Jan 4, 2023

图数据库吗

amadeoh

Jan 4, 2023

@no13bus 是的

hljjhb

Jan 4, 2023

生产可用吗？

bfjm

Jan 4, 2023

加油已 star

amadeoh

Jan 4, 2023

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

455c4l811WjPy37n

Jan 5, 2023

666

superliy

Jan 5, 2023

666

nian8

Jan 5, 2023

niu

zzl22100048

Jan 5, 2023

怎么做子图匹配查询？

amadeoh

Jan 5, 2023

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

amadeoh

Jan 5, 2023

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

horou

Jan 5, 2023

6 ，有亿点强

leonidas10086

Jan 5, 2023

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

Jan 5, 2023

@leonidas10086 多谢，马上改

dx3759

Jan 5, 2023

竟然是用 Rust 开发的

fuyufjh

Jan 8, 2023

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

Nospoon

Apr 30, 2025

项目现在还有在维护吗？