4 ms·
Mangle – a language for deductive database programming
- albert_e 1y agoIs this the same "Deductive Database" mathematical programming language of Google DeepMind mentioned in the latest 3b1b guest video by Aleph0 (where they say the language doesnt have a name yet) https://youtu.be/4NlrfOl0l8U?t=4m8s https://youtu.be/4NlrfOl0l8U?t=4m8s
- haolez 1y agoI haven’t worked closely with Datalog, but whenever I come across tools that use it, they always seem to extend vanilla Datalog (like this one). Are there any notable implementations of plain Datalog? If not, what’s the reason? Does vanilla Datalog have major limitations? Just curious.
- jauco 1y agoI think it’s similar to how every sql implementation adds their own extensions. But iirc datomic came with a quite vanilla datalog implementation.
- Pxtl 1y agoAnybody who replaces the hoary old albatross of SQL without throwing out the relational algebra baby with the bathwater gets my support. I hope this goes far.
- jauntywundrkind 1y agoI'm unconvinced the syntax makes a genuine difference. But always interesting to see what folks come up with! Some notable others: PreQL/Trilogy - https://github.com/trilogy-data/pytrilogy https://github.com/trilogy-data/pytrilogy https://news.ycombinator.com/item?id=40728938 https://news.ycombinator.com/item?id=40728938 Malloy -https://www.malloydata.dev/ https://www.malloydata.dev/ https://github.com/malloydata/malloy https://github.com/malloydata/malloy https://news.ycombinator.com/item?id=30053860 https://news.ycombinator.com/item?id=30053860 PRQL - https://prql-lang.org/ https://prql-lang.org/ https://github.com/PRQL/prql https://github.com/PRQL/prql https://news.ycombinator.com/item?id=36866861 https://news.ycombinator.com/item?id=36866861
- anonzzzies 1y ago> I'm unconvinced the syntax makes a genuine difference Syntax not, but datalog (-ish) does. It's a more natural way (imho of course) to query data. Far more complex queries with less mental overload.
- pbowyer 1y agoEdgeQL - https://www.geldata.com/showcase/edgeql https://www.geldata.com/showcase/edgeql
- Pxtl 1y agoSQL's shortcomings aren't just syntax and the convention of SCREAMING KEYWORDS. There's the lack of algebraic types (particularly galling given the bizarre three-value boolean algebra created by its strange null-handling), the poor composability (why is creating a reusable predicate filter so hard?), the lack of any coherent module system, etc. The fact that something as simple as a tree is such a nuisance in a "relational" database is ludicrous.
- Onavo 1y agoThis is what? The third logic/datalog family query language Google launched? What's the internal story? Does each department have their own query engine?
- yorwba 1y ago"This is not an officially supported Google product." For all we know, this is just some people having fun, but because they're having their fun at Google, it needs to be open-sourced under the Google umbrella.
- diggan 1y ago> because they're having their fun at Google I think it's even worse, even stuff they do in their freetime have to be under the Google umbrella if they want to open-source it, just because they work during the daytime at Google.
- riku_iki 1y agoDoes it depend on jurisdiction? In California, they are free to do whatever they want if they don't compete with employer (a little bit hard in case of Google of course)
- nylonstrung 1y agoNo, big tech has restrictive CIIA agreements that apply in California too
- hobofan 1y agoWhich are the other ones that come to your mind? I know of PathQuery[0], but that one doesn't have an open source implementation and is much more inspired by Graph query languages than SQL. [0]: https://arxiv.org/abs/2106.09799 https://arxiv.org/abs/2106.09799
- cess11 1y ago
- business_liveit 1y agoI wanna know what's the difference between the mysql and mangel?
- tomsmeding 1y agoI suggest you read the linked readme. ;)
- business_liveit 1y agook...