June 2, 2026
SELECT * FROM drama
CQL: Categorical Databases
Math-powered data tool drops, and the comments instantly ask: isn’t this just SQL in disguise?
TLDR: CQL is a new open-source tool that uses advanced math to make data changes safer and easier to verify. Commenters weren’t ready to bow down, though: the big debate was whether it’s genuinely new or just SQL wearing a very expensive math suit.
A new open-source project called CQL is pitching a big promise: use fancy math to move, combine, and clean up data with fewer mistakes, catching bad logic before anything goes wrong. The creators say it can preserve data quality, track where every row came from, and make messy data work safer and easier. In plain English: it’s a tool for reshaping data that wants to be smarter, stricter, and more trustworthy than the usual approach.
But the real show is in the comments, where the crowd immediately turned this launch into a classic internet showdown: revolutionary new idea or SQL with better branding? One commenter politely asked the question hanging over the whole thread: if old-school database triggers can already enforce rules, what exactly is new here? Another came in hotter, basically demanding proof that this mathy approach can beat the database model that has ruled for decades. And then came the skeptical squinting: one user joked that if they narrowed their eyes enough, CQL and SQL started to look awfully similar.
There was also some delightful nerdy chaos. Someone dropped a blog post about category theory and data frames like they were bringing receipts to a dinner-table argument. And one commenter served up peak internet energy with a warning: not that CQL — because apparently there’s another totally different CQL out there. In other words, the product is serious, but the community mood is pure “explain yourself, math people.”
Key Points
- •CQL is an open-source categorical query language and IDE for querying, integrating, migrating, and evolving databases using category theory.
- •The article describes CQL as production-ready for single-node in-memory data processing workloads, including data integration for data science.
- •CQL includes an embedded automated theorem prover that the article says guarantees program correctness and detects integrity violations at compile time.
- •The system supports import/export through JDBC-SQL, CSV, graphical visualization, rich integrity constraints, and user-defined functions in Java, JavaScript, or equational form.
- •CQL is being commercialized by Conexus AI, is implemented in Java, and has a Haskell embedding under development with Statebox.