CQL: Categorical Databases
Summary
CQL: Categorical Databases introduces a category-theory-based data language and IDE. It emphasizes data integrity via an embedded automated theorem prover, provenance, and higher-level abstractions beyond SQL, while not being a DBMS, and is open-source with commercial backing.