Solving the 1+N Query Problem

1. joist-orm

   1 26 385 9.5 TypeScript

   a TypeScript ORM for Postgres

   

   > trace optimizer/better sql in the next run

   Ah wow! I admittedly already linked this PR in another reply, but I'm trying similar things here:

   https://github.com/joist-orm/joist-orm/pull/1967

   Neat to hear you had success with it before; did you have to handle "the optimization was inaccurate [a novel codepath asked for a column we didn't return], so fallback to `select *`"? And do that without failing the overall request?

   This "fallback and implicit retry" is what I'm doing atm, and just assuming is the only way of handling the "novel codepath was hit this time" problem, but lmk if I'm missing something.

2. AppSignal

   www.appsignal.com sponsored

   AppSignal knows why the f*#k it crashed. Stop vibe-debugging. Every exception, every backtrace, grouped so you see patterns, not noise.

   

3. haxl

   2 13 4,376 3.5 Haskell

   A Haskell library that simplifies access to remote data, such as databases or web-based services.

   

   Compare with the prior art of N+1 queries of 2014:

   https://github.com/facebook/Haxl/blob/main/example/sql/readm...

4. souffle

   3 13 1,156 7.2 C++

   Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

   

   reachable(a, c) :- edge(a, b), reachable(b, c).

   'Base datalog' guarantees termination by requiring all input relations to be finite. Notably this means that it doesn't have numerical operations like addition or multiplication, since `plus(a, b)` or `times(a, b)` would be infinite relations.

   More practical Datalog engines like Souffle (https://souffle-lang.github.io/) don't guarantee termination.

   Recursive queries are not needed by most applications, but maybe Arcadia could allow them (compiling to recursive CTEs) by proving that recursion only goes through finite relations.

5. Rezoom.SQL

   4 8 679 9.3 F#

   Statically typechecks a common SQL dialect and translates it to various RDBMS backends

   

Suggest a related project