News for hackers. Stuff that matters.

A comment on CQL – A database query language using category theory.

Re:CQL – A database query language using category theory by Meandering on Tuesday January 25, 2022 @02:17PM (#30076591)
I can see the added functionality but... wouldn't building a SQL system that implements formal Relational Algebra be more useful? In that case, a person could run a proof solver to optimize their queries. This may be an ignorant statement since I'm not a 'real' CS person.
[ Parent | on HN ]
Re:CQL – A database query language using category theory by zeppers on Tuesday January 25, 2022 @06:16PM (#30079499)
I think a higher level of abstraction makes certain functions easier?
[ Parent | on HN ]