Comment by wisnesky
7 years ago
Category theory can do better than relational database theory: the open-source categorical query language CQL extends SQL with generalizations of abstractions such as schema mappings and queries while supporting automated theorem proving and fixing foundational semantic issues such as null handling.
Thanks for linking to this. I think I've been trying to build a poor mans version of it in scala without realizing it...