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

V2EX = way to explore

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

现在注册

已注册用户请登录

爱意满满的作品展示区。

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

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

16 条回复 • 2023-01-08 16:16:59 +08:00

no13bus

2023-01-04 19:50:17 +08:00

图数据库吗

amadeoh

2023-01-04 20:03:04 +08:00

@no13bus 是的

hljjhb

2023-01-04 20:41:50 +08:00

生产可用吗？

bfjm

2023-01-04 20:45:16 +08:00

加油已 star

amadeoh

2023-01-04 20:48:48 +08:00

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

455c4l811WjPy37n

2023-01-05 08:52:37 +08:00

666

superliy

2023-01-05 09:58:00 +08:00

666

nian8

2023-01-05 10:16:20 +08:00

niu

zzl22100048

2023-01-05 10:49:10 +08:00

怎么做子图匹配查询？

amadeoh

2023-01-05 11:10:14 +08:00

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

amadeoh

2023-01-05 11:49:49 +08:00

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

horou

2023-01-05 11:59:30 +08:00

6 ，有亿点强

leonidas10086

2023-01-05 15:20:27 +08:00

这个网站的后端是用 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-01-05 15:21:30 +08:00

@leonidas10086 多谢，马上改

dx3759

2023-01-05 15:43:22 +08:00

竟然是用 Rust 开发的

fuyufjh

2023-01-08 16:16:59 +08:00

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