6 ms·
What is the difference with https://github.com/rust-lang/datafrog https://github.com/rust-lang/datafrog? It’s a Datalog engine written by Frank McSherry on top
by karavelov 4y ago
What is the difference with https://github.com/rust-lang/datafrog https://github.com/rust-lang/datafrog? It’s a Datalog engine written by Frank McSherry on top of differential dataflow, that’s used here also
- drewbug01 4y agoIf you click around a little, you end up on a blog post with this tidbit: > This project got put together rather suddenly, in response to some work the Rust folks are doing[1] on their new and improved borrow checker. I don't think I could tell you more than "Frank wrote it to help rust folks who were previously doing work with differential-dataflow directly." 1. https://github.com/rust-lang/polonius/pull/36#issuecomment-390393717 https://github.com/rust-lang/polonius/pull/36#issuecomment-3...
- jitl 4y agodatafrog doesn't use differential-dataflow as far as I can tell.
- lakecresva 4y agoDatafrog doesn't use differential dataflow. Datafrog also requires you to do index management and joins manually, but it's very performant. Some of the join strategies are super optimized, but they don't allow for certain things that may be desirable, like negation/anti-join with a dynamic relation.