Using maude rewriting system to modularize and extend SQL
Ścibór Sobieski, Bartosz Zieliński · 2013
One of the deficiencies of SQL is that it allows little practical support for factoring, parametrization and modularization of complex SQL statements. Using dynamic SQL or macroprocessors for this purpose is error prone and inconvenient. This paper shows how the rewriting systems such as Maude can be used to build better SQL preprocessors which understand the SQL syntax and thus reduce the possibility of error. Rewriting systems also allow creating of language extensions supporting modularity and data model abstractions. We use as an example the Maude based system currently developed at our department.