Category theory can do better than relational database theory: the open-source categorical query language CQL extends SQL with generalizations of abstractions s

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. http://categoricaldata.net http://categoricaldata.net