![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() | ![]() | ![]() |
![]() | ||
This version includes several upgrades mainly following needs from teaching. First, the SQL semantic analyzer covers a wider set of errors, including those that are more common in the classroom. It detects inconsistency by resorting to functional dependencies, which can uncover typical errors in ORDER BY, GROUP BY and DISTINCT, among others. This is useful not only for this system but also for an automatic judge such as LearnSQL, which leverages this information for student feedback. TAPI commands have been extended for such a use case. Second, the Datalog debugger has been upgraded by reducing the number of questions posed to the user. Also, existing debugger commands have been extended, in particular for its TAPI interface with other systems such as DESweb and its graphical Datalog debugger. Third, an experimental implementation of the semi-naïve differential optimization has been performed in the DES engine, allowing for a better performance of linear recursive predicates. Fourth, the new version 0.19 of the desktop Java application ACIDE has been bundled with DES, including: colour themes, file encoding, stability and usability improvements. Finally, various enhancements and new commands have been added to DES, along with several 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. |