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

2023-01-04 19:01:41 +08:00
 amadeoh
2801 次点击
所在节点    分享创造
16 条回复
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
毫不夸张地说,这是我见过的完成度最高的个人项目,文档也很棒,太强了!!

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

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

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

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

© 2021 V2EX