Algebraic Databases · HackerPapers discussions

Algebraic Databases — HN submission

Wed, 29 Jan 2025 04:20:19 GMT

Algebraic Databases [pdf]

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

Algebraic Databases — mentioned by gremgoth

Wed, 29 Jan 2025 02:12:50 GMT

SQL select-from-where queries can indeed be formalized as "pro-functors": https://arxiv.org/pdf/1602.03501

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

Algebraic Databases — mentioned by Ericson2314

Mon, 09 Aug 2021 22:56:04 GMT

The Codd 1971 stuff on Wikipedia looks like a mess, and I think the original is propbably a bit crufty too (though I don't want to disrespect the old masters, SQL was a high water mark of business thinking about computing in many ways). I would follow the citations of https://ncatlab.org/nlab/show/lens+%28in+computer+science%29 instead. Whatever Spivack can say about this stuff I think is going to be much more worth your while. Looking at https://arxiv.org/pdf/1602.03501.pdf now.

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

Algebraic Databases — mentioned by harveywi

Tue, 03 May 2016 20:24:52 GMT

I wonder about this too. It seems like some ideas from category theory and pure functional programming could really help here to provide an abstraction over the top of the (pseudo)relational model. While doing some research on an unrelated topic, I stumbled on some potentially related work [1, 2, 3] by some researchers at MIT that could be relevant to database deployment/migration (I haven't checked in depth yet). I have not had a chance to sink into these references to see if there is any relevance or promise there, though it looks like there is some kind of commercialization effort [4]. [1]…

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