Re:SQLite: Outlandish Recursive Query Examples
by jitl on Sunday November 24, 2024 @10:34PM
(#42232992)
I can express my ideas well enough in various Datalog/Prolog variants w/ the horn syntax. But when it comes to translating that from several discrete simple propositions into one massive CTE-stack SQL query I get very puzzled. I wrote a toy Datalog-to-SQLite compiler (https://percival.jake.tl) but I struggle to grasp the translation skill myself
Re:SQLite: Outlandish Recursive Query Examples
by refset on Monday November 25, 2024 @07:13AM
(#42235589)
It doesn't help that SQL's recursive CTE model is a bit odd - Frank McSherry proposed a much nicer alternative (which Materialize has implemented): https://materialize.com/blog/recursion-in-materialize/
Re:SQLite: Outlandish Recursive Query Examples
by cryptonector on Monday November 25, 2024 @01:07AM
(#42233675)
I don't find that the syntax gets in the way of thinking in relational algebra, but I did learn SQL first.
Learn to think in terms of the relational algebra, and how to translate that to/from SQL, and it starts making sense.