Re:Soufflé: A Datalog Synthesis Tool for Static Analysis
by jitl on Thursday December 01, 2022 @10:26AM
(#33817470)
Sure; you can do most Datalog things in SQL and most SQL things in Datalog. But I find it much clearer to express deductive reasoning in Datalog. I built a toy Datalog-to-CTE compiler at https://perceval.jake.tl if you want to play with some examples of the equivalence.
[ Parent
| on HN ]
There are no comments on this comment yet.