Functorial Data Migration · HackerPapers discussions

Functorial Data Migration — mentioned by solomonb

Thu, 28 Sep 2023 07:37:40 GMT

here you go: https://arxiv.org/pdf/1009.1166.pdf

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

Functorial Data Migration — mentioned by rubyn00bie

Tue, 24 Dec 2019 22:34:07 GMT

I've quite literally spent the last month trying to read, digest, and apply the above to a record layer I'm writing for FoundationDB. Dr. Spivak's work has been absolutely beyond helpful and insightful. There's no way I'd even be able to approach the subject with his efforts. I'd also recommend these as they're associated with the 7 Sketches and help fill in some blanks: Functorial Data Migration - https://arxiv.org/pdf/1009.1166.pdf Category Theory as a Unifying Database Formalism - https://arxiv.org/pdf/1009.1166.pdf Database Queries and Constraints via Lifting Problems…

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

Functorial Data Migration — 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.