写了一个数据库(Cozo),开源的,希望大家试用,多提意见

2023 年 1 月 4 日
 amadeoh
4053 次点击
所在节点    分享创造
17 条回复
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 日
项目现在还有在维护吗?

这是一个专为移动设备优化的页面(即为了让你能够在 Google 搜索结果里秒开这个页面),如果你希望参与 V2EX 社区的讨论,你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://v2ex.ih06.com/t/906602

V2EX 是创意工作者们的社区,是一个分享自己正在做的有趣事物、交流想法,可以遇见新朋友甚至新机会的地方。

V2EX is a community of developers, designers and creative people.

© 2021 V2EX