5 ms·
What You Always Wanted to Know About Datalog (2018) [pdf]
- tejtm 6y agoneeds 1989 in the title
- nl 6y agoOddly at the moment the title includes "(2018)"!
- JoelMcCracken 6y agoYeah, I was like “wait I read that paper way before 2018, what gives??”
- chakerb 6y agoThe 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.
- NovemberWhiskey 6y agoOf continuing relevance: the Rego language that's used in Open Policy Agent (OPA) is an extension of Datalog.