This version focuses on strengthening SQL semantic analysis, query optimization, language expressiveness and overall stability and robustness of the system through a large number of bug fixes. First, SQL semantic checking has been enhanced with deeper detection of inconsistencies, tautologies, and implied conditions, extending these analyses to dependent views and providing additional optimization hints. Semantic reasoning also benefits from improved handling of functional dependencies, enabling the detection of unnecessary DISTINCT modifiers, acceptance of more GROUP BY queries, and more accurate compliance with SQL standard semantics for set operations involving null values. Second, the SQL language has been extended with features such as omitted referenced columns in foreign key declarations, expression-based CASE constructs, support for VALUES in local and global views, OFFSET and LIMIT clauses in SQL hints, and the addition of the BIGINT data type. Compile-time type checking has also been expanded to cover several SQL built-ins, including COALESCE, GREATEST, LEAST, NVL, NVL2, IIF, and CASE. Third, optimization capabilities have been improved through the introduction of absorption rules for conjunctions and disjunctions, together with refinements to semi-naïve evaluation for recursive queries. Fourth, DES incorporates new commands for console management and SQL semantic checking based on actual data, allowing users to inspect and control whether table contents are considered during semantic analyses and simplifications. Finally, numerous language refinements, behavioral changes, and bug fixes improve compatibility, correctness, error reporting, type handling, SQL and RA processing, query translation, aggregates, grouping, recursion, null-value semantics, and external database interactions. 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.