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 r

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.