Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
What You Always Wanted to Know About Datalog (2018) [pdf] (utdallas.edu)
62 points by simonpure on Oct 8, 2020 | hide | past | favorite | 5 comments


The reminds me of how powerful the expressiveness of Datalog is. You can even syntactically check whether the program can run in p-time or not. Once you introduce negation in the recursion it starts to be a little bit complicated, though.

Also the fact that the language it self is declarative it's inherently more parallelizable than imperative languages.


needs 1989 in the title


Oddly at the moment the title includes "(2018)"!


Yeah, I was like “wait I read that paper way before 2018, what gives??”


Of continuing relevance: the Rego language that's used in Open Policy Agent (OPA) is an extension of Datalog.




Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: