A Linear Algebraic Approach to Datalog Evaluation · HackerPapers discussions

A Linear Algebraic Approach to Datalog Evaluation — mentioned by nisa

Tue, 23 Jan 2024 18:09:32 GMT

Wow 6 volumes. Added to the list. German is also fine if there is literature and I'm trying to work on my math understanding. I also found some interesting papers that solve i.e. datalog using matrices with algebraic methods. https://arxiv.org/abs/1608.00139 Guess I'll start slowly and see how far I come. Thanks!

Paper and discussion history. A mention is not an endorsement.

A Linear Algebraic Approach to Datalog Evaluation — mentioned by espeed

Mon, 08 Apr 2019 23:22:46 GMT

Hi Michel - You're working on a GraphBLAS Postgres implementation [0] -- here's an open question I've been pondering... [0] Postgres GraphBLAS https://github.com/michelp/pggraphblas Now that we have SOTA linear algebra models for graphs [1], logic [2] and the lambda calculus [3] that are being optimized for vectorized parallel compute on modern CPU/GPU/TPUs -- do we have the makings for a unified linear algebra model that obsoletes the relational algebra model in relational DBs? [1] Graph Algorithms in the Language of Linear Algebra (2011)…

Paper and discussion history. A mention is not an endorsement.

A Linear Algebraic Approach to Datalog Evaluation — mentioned by espeed

Mon, 31 Dec 2018 21:43:20 GMT

And it's not just graphs...as referenced in the linked comments above, there are now linear algebra models that encode Datalog and/or the entire typed-lambda calculus as linear algebra matrix operations (and as shown in the Datalog paper [1], the Datalog linear algebra implementation is the fastest Datalog implementation to date). But MIT and Sandia Labs are taking the linear algebra model to the next level, and are now working on encoding an entire operating system in the language of linear algebra... Jeremy Kepner (the head of MIT Lincoln Labs and GraphBLAS lead) and his team just published…

Paper and discussion history. A mention is not an endorsement.

A Linear Algebraic Approach to Datalog Evaluation — mentioned by espeed

Thu, 27 Dec 2018 17:26:53 GMT

There's a new Datalog [1] implementation written in the language of linear algebra (similar in nature to the ideas behind GraphBLAS [2] "graph algorithms in the language of linear algebra"). Evidently the linear-algebra approach works well for Datalog too -- the paper below shows it's the fastest Datalog implementation to date, several orders faster than the best Prolog engines. NB: GraphBLAS runs in the recently-released RedisGraph. The Datalog linear-algebra approach is so close to simi-ring primitives in GraphBLAS. A Datalog implementation on GraphBLAS could be slick as hell. The GraphBLAS…

Paper and discussion history. A mention is not an endorsement.

A Linear Algebraic Approach to Datalog Evaluation — HN submission

Sun, 02 Dec 2018 04:50:30 GMT

A Linear Algebraic Approach to Datalog Evaluation (2017) [pdf]

4 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.