Chapter 3 of 7 Sketches of Compositionalily mentions FQL (Functional Query Language) as an alternative to traditional SQL schemas, queries, and migrations using categories, functors, natural transformations. Unfortunately, I couldn't find PDFs for most of the papers cited. Has anyone seen FQL implementations? How about FQL in the wild?
Chapter 3 of 7 Sketches of Compositionalily mentions FQL (Functional Query Language) as an alternative to traditional SQL schemas, queries, and migrations using categories, functors, natural transformations. Unfortunately, I couldn't find PDFs for most of the papers cited. Has anyone seen FQL implementations? How about FQL in the wild?
isn't there a link to the FQL page in the book?
I read it a while ago and don't remember seeing any. Also skimmed through earlier and didn't find anything.
Skimmed through the chapter again and no links on sight.
Here are the most recent citations on the topic of algebraic databases and functorial data migration:
https://arxiv.org/abs/1212.5303
https://arxiv.org/abs/1009.1166
https://arxiv.org/abs/1602.03501
https://arxiv.org/abs/1503.03571
https://arxiv.org/abs/1502.05947
I couldn't find free copies of the older papers cited online, unfortunately.
So apparently it _was_ FQL and it's now CQL
https://www.categoricaldata.net/
And I believe this is the company related to the project
https://conexus.com/
category theory would be intersting in the context of dbs actually
gonna look at this a bit more later
Fintan Halpenny said:
And David's book has been seen in the wild at Galois. https://smile.amazon.com/Category-Theory-Sciences-MIT-Press/dp/0262028131
Can also recommend 7 Sketches of Compositionality :blush: