![]() | 1 no13bus 2023-01-04 19:50:17 +08:00 图数据库吗 |
![]() | 3 hljjhb 2023-01-04 20:41:50 +08:00 生产可用吗? |
![]() | 4 bfjm 2023-01-04 20:45:16 +08:00 加油 已 star |
6 455c4l811WjPy37n 2023-01-05 08:52:37 +08:00 666 |
7 superliy 2023-01-05 09:58:00 +08:00 666 |
8 nian8 2023-01-05 10:16:20 +08:00 niu |
![]() | 9 zzl22100048 2023-01-05 10:49:10 +08:00 怎么做 子图匹配 查询? |
![]() | 10 amadeoh OP @zzl22100048 直接把需要的子图写成 Horn 规则,不绑定任何常数,跑就完了。另外子图匹配的一般情况是 NP-hard ,肯定没法在大的数据集上面跑。 |
![]() | 11 amadeoh OP 具体的查询因为可以提前绑定量,所以比 NP-hard 会好很多,但是需要根据具体问题写具体的查询,没有一般解法。 |
![]() | 12 horou 2023-01-05 11:59:30 +08:00 6 ,有亿点强 |
13 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 ) |
![]() | 14 amadeoh OP @leonidas10086 多谢,马上改 |
![]() | 15 dx3759 2023-01-05 15:43:22 +08:00 竟然是用 Rust 开发的 |
![]() | 16 fuyufjh 2023-01-08 16:16:59 +08:00 毫不夸张地说,这是我见过的完成度最高的个人项目,文档也很棒,太强了!! |
![]() | 17 Nospoon 165 天前 项目现在还有在维护吗? |