Top all-time · #12956
TypeDB: The graph database that tells you when you've got it wrong
Company blog · typedb.com/blogprogrammingdata
TypeDB: The graph database that tells you when you've got it wrong is the company blog at typedb.com, writing about programming and data. Since 2023, 6 different Hacker News readers have linked it 15 times, most often “Polymorphism and Inheritance in the Database”. No feed was found, so read it on the site itself.
Too few sampled comments (2) to say how often HN recommends it.?
Why HN links it
HN commenters link TypeDB's blog for early TypeDB 3 benchmark results and describe TypeDB as a Datalog-based database. The comments do not judge the writing.
Summarised by Claude from a sample of 2 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
TypeDB checks every write and every query against a model of your domain. Bad data gets rejected, and a query that makes no sense comes back as an error with a reason.
Most-linked posts?
- Polymorphism and Inheritance in the Database3 people · 4 mentions · first linked 2023-10-09
What Hacker News says?
TypeDb is a practical Datalog-based database system [1] (with a different syntax). TerminusDb is a project in a similar vein [2], but actually an RDF store at its core. If you want to experiment with the connections between Datalog, relational algebra, and SQL, check out the Datalog Educational System. And if you want to jump into the theory, Foundations of Databases (the "Alice book") is very thorough but relativel…
Comment linking /
on “Ask HN: What's Prolog like in 2024?”Submitted Polymorphism, but for Your Database as a story · 4 points
HN discussionJust spotted this! We (I'm CTO at TypeDB) just released some early benchmarks: https://typedb.com/blog/first-look-at-typedb-3-benchmarks/
Comment linking /blog/first-look-at-typedb-3-benchmarks/
on “Why don't you use dependent types?”Submitted How strict should your schema be? as a story · 3 points
HN discussionIt's a bummer that TypeDB [1] doesn't have full datalog-level semantics. If it had, it would be kind of the perfect logic programming system, that behaves like and fits into a modern developer toolchain... as it has most of the other important properties, like: - Rule-based inference https://typedb.com/docs/home/25-queries#_rule_based_inferenc... - Ability to infer new data https://typedb.com/docs/home/25-queries#_2…
Comment linking /
on “Strange Loops: journeys in declarative logic programming in genomics [video]”Submitted Show HN: TypeDB Studio's AI agent for schema exploration and query generation as a story · 2 points
HN discussionThey also mention mediKanren, apparently built on miniKanren (which is some language for logic programming). I personally saw a lot of potential for these approaches, and wrote some future outlook stuff as part of my thesis here: https://bionics.it/posts/linked-data-science There is some cool new tech coming out here lately, including TypeDB, which is a little like a modern version of Prolog with proper data storage…
Comment linking /
on “The Algorithm for Precision Medicine, talk by Matthew Might [video]”Submitted Benchmarking LLM query generation across SQL, Cypher, and TypeQL as a story · 1 points
HN discussionSubmitted A new dimension of database design as a story · 1 points
HN discussionSubmitted Polymorphism and Inheritance in the Database as a story · 1 points
HN discussion