Text this: Translating SQL Into Relational Algebra: Optimization‚ Semantics‚ and Equivalence of SQL Queries