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