This version introduces several upgrades, mainly driven by teaching needs. First, when submitting an SQL query (top-level, with create view...) the system may display a better formulation in one is found. This process involves compiling the query into Datalog rules, applying optimizations, and then compiling the resulting rules back into SQL. If the optimized query has fewer nodes in its syntactic tree than the original or, if it is more efficient (e.g., by using WHERE instead of HAVING conditions) then it is suggested as a hint for a better alternative. Second, as a collateral effect of the improved Datalog to SQL compilation (which now handles more built-ins) a wider set of rules in persistent predicates can be externally stored as SQL views. Third, both SQL and RA languages have extended coverage, including SQL ALTER TABLE, UPDATE and SELECT statements, and well as additional RA set operations. Fourth, improved SQL translations for AR, DRC and TRC are now available. Finally, DES includes various enhancements, new commands, and refinements. The complete list of enhancements, changes and fixed bugs are listed in the Release Notes and in Section 9.1 of either the printed User Manual or the online User Manual.