# DES 6.5 Released **URL:** \ **Category:** Announce\ **Tags:** des\ **Created:** [April 10, 2020, 1:31pm UTC](https://swi-prolog.discourse.group/t/des-6-5-released/2139 "2020-04-10T13:31:32Z")\ **Posts on this page:** 1\ **Page:** 1
**Author:** ![fsaenzperez](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/fsaenzperez/32/50_2.png) [@fsaenzperez](https://swi-prolog.discourse.group/u/fsaenzperez)\ **Post date:** [April 10, 2020, 1:31pm UTC](https://swi-prolog.discourse.group/t/des-6-5-released/2139/1 "2020-04-10T13:31:33Z")
[Apologies for multiple receptions] Hello. Hoping and wishing the best in current circumstances, this is a mail just for informing that the new release Datalog Educational System version 6.5 [http://des.sourceforge.net](http://des.sourceforge.net) has been launched on April, 10th, 2020, and tested for SICStus Prolog 4.4.1 SWI-Prolog 7.4.2 The current version mainly improves SQL features. First, automatic type casting has been enhanced for dealing with values of different data types, both at compile-time and at run-time. Casting includes matching values of different types for which compatible values exist (for example, a string containing a valid date and a date value). Second, compilations have been improved (more deterministic type inference, semantic analysis precision for some built-ins, smaller intermediate relations, …). Third, better error messages for aggregates are issued. Fourth, support for SQL has been extended (including both standard and non-standard features). Finally, other commands have been added, changes have been made and some bugs have been fixed. A complete list of enhancements and fixed bugs is attached to the end of this message. Please, see [http://des.sourceforge.net](http://des.sourceforge.net) for details. Best regards. ============================================================= Fernando Saenz Perez Profesor Titular de Universidad / Associate Professor Home Page: [http://www.fdi.ucm.es/profesor/fernan](http://www.fdi.ucm.es/profesor/fernan) Tel: + 34 913947576. Fax: + 34 913947547 Despacho / Office: 435 (4a. planta / 4th floor) Dept. Ingenieria del Software e Inteligencia Artificial / Department of Software Engineering and Artificial Intelligence Universidad Complutense de Madrid Facultad de Informatica C/Profesor Jose Garcia Santesmases, s/n E - 28040 Madrid. Spain ============================================================= Version 6.5 of DES (released on April, 10th, 2020) - Enhancements: o Improved automatic type casting for dealing with values of different data types, both at compile-time and at run-time o More deterministic type inference, improving analysis time o Improved SQL semantic analysis precision for some built-in predicates o Better compilations for some aggregate metapredicates, reducing the number of arguments o Better SQL compilations by simplifying evaluable goals o Better compilations for relations in group\_by predicate (intermediate predicates with less arguments) o Some bad uses of aggregates are issued at compile-time (as errors), instead of at run-time (as an exception) o SQL grouping error messages extended with column names o Left operand of SQL LIKE operator can be a tuple of expressions (instead of just constants or columns) o SQL strings can include escaped apostrophes with the backslash, in addition to the already supported double apostrophe o The SQL ALTER TABLE statement has been extended to deal with table columns: redefining a column (both its data type and constraints) or only changing its data type o ORDER BY expressions can contain aggregates and include positional notation o Added SQL logical operator XOR o Added round function with two arguments, and its corresponding predicate o Time and datetime formatting (in addition to the already supported date formatting). Enabled by default and set with the command /format\_datetime o The command /date\_format admits date formats delimited by single quotes o New commands: - Changes: o Changing the type casting mode recompiles views in the local database o TAPI inputs and their results are not logged by default o Most types from external databases are shown normalized, instead using their particular naming o Normalized name types for ODBC connections - Fixed bugs: o A case in simplifying goals was incorrect, dealing to incorrect translations and semantic deductions o The CASCADE modifier parsing was included in version 6.4 but its processing was not implemented o Wrong partial reduction when unfolding some metapredicates for disjunctions o A non-valid date format specified by the command /date\_format would lead to non-termination o Incorrect type error when comparing a string constant with a limited-size string type o Incorrect exception in SQL truncate function o ODBC varchar type sizes were not correctly retrieved o In SICStus distros, nulls were not grounded for external connections o Some SQL error messages about bad groupings were not correct o Logging information was duplicated in /status //------------------------------// // ACIDE 0.17 Release Notes // // September, 10th 2015 // //------------------------------// - Enhancements, changes and fixed bugs: o Localization to French o Multiple editors for new files o New Reset and Refresh buttons for the Database panel o The Datalog query for Trace Datalog becomes single-lined o Keyboard shortcut (F9) for Play o Rule (SQL statement, resp.) location becomes disabled by-default in Trace Datalog (Trace SQL, resp.) o New Debug SQL panel but with incomplete functionality o Bug fixes in several panels (Console, Database, …) but presumably others added. IMPORTANT CAVEATS / KNOWN BUGS: o Ctrl+Mouse Wheel for resizing font display may take long time depending on the number of open file editors. o Opening medium-sized text files may take long time due to lexical analysis. No progress indicators are provided. Only when all editor windows are processed they are displayed. o As an alpha version, there are expected many bugs and incomplete functionalities. Please report them to fernan@sip.ucm.es