Cozo

Data

graph database

SHOW HN2022

425points
67comments
#78of 2,570 in 2022
Top 4%of 2022 by points

How HN took it

LovedMost comments that take a side are positive

16 positive, 17 neutral or asking, 2 mixed, 2 critical, out of 37 comments about the project. Thread score +0.39.

Idea: 8 for, 0 againstDesign: 3 for, 0 againstDocs: 2 for, 0 against

The thread, comment by comment

Each row is a top-level comment and its replies, in HN's order. Select a cell to open that comment on HN.

positive neutral or mixed critical about another commenter or something else the maker

What HN said

What people liked

  • Datalog-based embedded design is appealing

    From 2 comments
    • How I have waited for this: A simple, accessible library for graph-like data with datalog (also in a statically compiled language, yay). Have even pondered using SWI-prolog for…
      samuell on HN
    • Really nice! I like the design choices of Datalog for the query language and Relations for the data model. This contrasts with the typical choices made for graph databases where…
      dwenzek on HN
  • Graph queries over relational data are useful

    From 1 comment
    • Graph query over relational data, brilliant. I need this yesterday.
      mola on HN

Objections

  • License (AGPL) concerns for embedding in other software

    From 2 comments
    • This is a really impressive piece of work! Congratulations! I note that it appears to be a library, but it's licensed under the Affero GPL. I believe this means that if I link…
      ekidd on HN
    • its also odd then re the python bindings being MIT, as the AGPL will convey throughout any aggregation or library usage, as would GPL, the primary delta for GPL vs AGPL is the…
      kapilvt on HN
  • Documentation is scattered and needs examples

    From 3 comments
    • Awesome work, congrats. For someone who never did anything datalog I didn't see an example in the repo and the docs (docs.rs) could need some more content. I hope to see a 1.0 at…
      OtomotO on HN
    • Good job! How to transact? The examples only show queries.
      pgt on HN
    • I nitpick for the README: consider converting examples from images to code blocks (you can even directly copy-paste them into the code blocks and they should retain their…
      dmitriid on HN

Requests

  • Better documentation and examples

    From 2 comments
    • Awesome work, congrats. For someone who never did anything datalog I didn't see an example in the repo and the docs (docs.rs) could need some more content. I hope to see a 1.0 at…
      OtomotO on HN
    • I nitpick for the README: consider converting examples from images to code blocks (you can even directly copy-paste them into the code blocks and they should retain their…
      dmitriid on HN
  • Scalability to large datasets

    From 2 comments
    • How I have waited for this: A simple, accessible library for graph-like data with datalog (also in a statically compiled language, yay). Have even pondered using SWI-prolog for…
      samuell on HN
    • This does look very nice! Especially (from my point of view) having the Python interface. What's the max practical graph sizes you anticipate?
      stevesimmons on HN

Questions

  • How well it scales to large datasets

    From 2 comments
    • How I have waited for this: A simple, accessible library for graph-like data with datalog (also in a statically compiled language, yay). Have even pondered using SWI-prolog for…
      samuell on HN
    • This does look very nice! Especially (from my point of view) having the Python interface. What's the max practical graph sizes you anticipate?
      stevesimmons on HN
  • How it compares to Souffle and differential-datalog

    From 2 comments
    • Very cool! I love the sqlite install everywhere model. Could you compare use case with Souffle? https://souffle-lang.github.io/ I'd suggest putting the link to the docs more…
      philzook on HN
    • This is amazing! Have you looked at differential-datalog? It's rust-based, maintained by VMWare, and has a very rich, well-typed Datalog language. differential-datalog is…
      jitl on HN
  • Whether Datalog can express negation queries

    From 1 comment
    • I thought there was a big class of queries Datalog could not express -- something about negation, queries like "all X for which not Y". Is that not true? Or if it is, is Datalog…
      Jeff_Brown on HN

Alternatives named

  • Datascript

    From 1 comment
    • This look nice ! Datascript seems to be another Datalog engine (in memory only) https://github.com/tonsky/datascript
      abc3354 on HN
  • Souffle

    From 1 comment
    • Very cool! I love the sqlite install everywhere model. Could you compare use case with Souffle? https://souffle-lang.github.io/ I'd suggest putting the link to the docs more…
      philzook on HN
  • differential-datalog

    From 1 comment
    • This is amazing! Have you looked at differential-datalog? It's rust-based, maintained by VMWare, and has a very rich, well-typed Datalog language. differential-datalog is…
      jitl on HN
  • Datomic

    From 1 comment
  • Apache AGE for Postgres

    From 1 comment
    • You mention how Cypher is not much of an improvement over CTE in SQL, I was wondering if you could expand on this point a bit if possible? Some part of me is considering using…
      canadiantim on HN

Category, keywords, summaries and labels on this page were made by AI (Thread Reader v2) and not checked by hand. Each point links to the comments it came from.

Add a badge to your READMEShown on HackerShow
[![Shown on HackerShow](https://hackershow.org/badge.svg)](https://hackershow.org/show/33518320)