|
|
|
|
|
|
by Meandering
1599 days ago
|
|
|
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. |
|
|