News




		January, 1st, 2022 Uploaded DES 6.7 macOS binaries. September, 4th, 2021 DES 6.7 released with enhanced semantic analysis, its TAPI interface for external systems, a bunch of new functions, predicates and commands, and bug fixing. January, 25th, 2021 DES 6.6 released with a graphical interface to SQL debugger, new commands for TAPI communication, more Datalog and SQL features, and bug fixing. April, 10th, 2020 DES 6.5 released with extended type casting, SQL features, better compilations, and new built-in functions and predicates. January, 20th, 2020 DES 6.4 released with a reactive connection to the on-line front-end DESWeb, and new built-in functions and predicates. October, 14th, 2019 DES 6.3 released with fuzzy hypothetical Datalog. January, 21st, 2019 DES 6.2 released with several SQL improvements, commands, and user flags. May, 24th, 2018 DES 6.1 released with updated date/times data types and scripting system with bidirectional communication with SQL. April, 9th, 2018 DES 6.0 released with SQL semantic checking and complete fuzzy unification and resolution algorithms for proximity relations. May, 29th, 2017 DES 5.0.1 released with some tweaks on fuzzy Datalog and commands for statistics and CSV output. February, 24th, 2017 DES 5.0 released with fuzzy Datalog as a new query language for fuzzy deductive databases. September, 25th, 2016 DES 4.2 released with date/time types, functions, operators and predicates. April, 20th, 2016 Source distributions for the ACIDE bundle are available. April, 19th, 2016 DES 4.1 released with safe mode for web applications and autosaving. February, 29th, 2016 DES 4.0 released with two new formal languages: Tuple Relational Calculus and Domain Relational Calculus. February, 25th, 2016 DES Devel published for a preview on TRC and DRC. January, 17th, 2016 Homebrew formula to install DES on OS X has been included in homebrew-science (due to University of Udine). December, 21st, 2015 ACIDE bundles for SICStus and SWI-Prolog source distributions. December, 19th, 2015 Executables for Mac OS X Mavericks built with SICStus Prolog. Requires iODBC. December, 17th, 2015 DES 3.12 released with a new ACIDE version 0.17 and improved syntax error messaging system. August, 5th, 2015 DES 3.11 released with a brand new Datalog debugger. January, 21st, 2015 DES 3.10 released and capable of tracing and debugging external databases. December, 1st, 2014 New online manual. November, 26th, 2014 DES 3.9 released with improved SQL and RA languages, and syntax colouring updated for ACIDE. July, 30th, 2014 DES 3.8 released with automatic type casting, better SQL to Datalog compilations, and a new ACIDE version 0.16 with improved panels. April, 28th, 2014 DES 3.7 released with negative assumptions in SQL, compilations to implications, and a new ACIDE version 0.15 with graphical tracers. March, 12th, 2014 DES 3.6 released with restricted predicates, negative assumptions in Datalog, and a new ACIDE version 0.14. February, 3rd, 2014 DES 3.5 released with a new ACIDE version 0.13 and several enhancements for SQL, commands, and syntax checking. January, 22nd, 2014 More than 50K downloads since DES first release. December, 10th, 2013 Celebrating 10 years since the first public release 1.0. December, 18th, 2013 DES 3.4 released with a new ACIDE version 0.12 and several enhancements for RA, SQL, safety and constraints. October, 22nd, 2013 DES 3.3.2 released with several enhancements for modes and SQL, changes and bug fixings. July, 28th, 2013 DES 3.3.1 released fixing a critical bug, adding modes to unsafe predicates, and enhancing the Datalog debugger. July, 12th, 2013 DES 3.3 released including a new ACIDE version featuring a database management panel. Also, some performance tweaks, new commands, and several enhancements. February, 7th, 2013 New distros for Mac OS X Snow Leopard are released, built with SICStus Prolog. February, 4th, 2013 Uploaded new binaries built with SWI-Prolog for Mac OS X as there was an initialization error. February, 3rd, 2013 The entire distribution was not available until this day due to hosting problems. February, 2nd, 2013 DES 3.2 released adding hypothetical Datalog queries, SQL functional dependencies and CHECK clauses, ordering of Datalog and SQL answers. December, 23th, 2012 Added 64 bit binaries built with SICStus Prolog. December, 20th, 2012 DES 3.1 released adding deductive query solving for external databases, new SQL and RA features, and a new version of ACIDE running on Windows, Linux and Mac OS’s. November, 15th, 2012 DES 3.1 beta 1.0 released adding new features and fixing some bugs. Only Windows 32bit distros. A stable release will be ready soon. September, 19th, 2012 "Tabling with Support for Relational Features in a Deductive Database System", Presented at PROLE2012 (SISTEDES). Best paper award. May, 10th, 2012 DES 3.0 released with persistency via ODBC connections, a new SQL debugger and relaxed license to LGPL v3. February, 10th, 2012 Added mailing list. February, 7th, 2012 “Declarative Debugging of Wrong and Missing Answers for SQL Views”, Accepted for publication in the 11th International Symposium on Functional and Logic Programming (FLOPS 2010). January, 9th, 2012 Reworked web site. January, 3rd, 2012 DES 2.7 released with Extended Relational Algebra processor, switchable multi-line input, and SQL extensions. October, 26th, 2011 DES 2.6 released with SQL hypothetical queries, top-n SQL and Datalog queries, new commands and syntax error enhancing. September, 14th, 2011 Releases for MS Windows 64bit built with SWI-Prolog 5.10.5, and Mac OS X Snow Leopard built with SWI-Prolog 5.10.4 are also available. September, 13th, 2011 DES 2.5 released with a textual API (TAPI) for communication with external programs, a bundle of new commands and SQL statements, type inferencing for SQL queries, and new ports. July, 7th, 2011 DES 2.4 released with safety and computability revisited for metapredicates, enhanced syntax error reporting, and a new GUI version: ACIDE 0.8. May, 24th, 2011 DES 2.3 released with a SQL declarative debugger, Datalog distinct operator and SQL distinct clause for projection list and aggregates. March, 25th, 2011 Stand-alone executables for MacOSX Snow Leopard (built with SWI-Prolog) and Linux (built under Ubuntu 10.04.1 with SICStus Prolog) uploaded. Added instructions on how to build binaries with SICStus Prolog, and updated instructions for SWI-Prolog. March, 24th, 2011 DES 2.2 released with enhanced type system, connections to ODBC data sources and new ports to SICStus Prolog 4.2.0 and Ciao Prolog 1.13.0. November, 30th, 2010 DES 2.1 released with strong integrity constraints and enabled access from SQL statements to Datalog relations via type constraints. October, 7th, 2010 DES 2.0.1 SICStus source version patched Datalog queries against ODBC connections (no advertisements were made for this release as it was a minor one). September, 22nd, 2010 DES 2.0.1 executable for Mac OS X Leopard (32bit, Intelx86). (Easy) Instructions on how to build your own executable. ODBC connections successfully tested on Ubuntu 10.04.1. Updated list of Publications. September, 13th, 2010 DES 2.0.1 patches to SWI source distributions in order to support SWI-Prolog 5.10.1 (no advertisements were made for this DES release as it was a minor one). August, 31st, 2010 DES 2.0 released, allowing access to relational DBMS via ODBC and including Datalog and SQL query tracers. March, 17th, 2010 DES 1.8.1 released, fixing errors in the binary distributions. December, 21st, 2009 “Applying Constraint Logic Programming to SQL Test Case Generation”, Accepted for publication in the 10th International Symposium on Functional and Logic Programming (FLOPS 2010). December, 18th, 2009 DES 1.8.0 released with a more mature test case generator October, 30th, 2009 DES 1.7.0 released with Datalog and SQL aggregates, types, constraints and test case generation March, 10th, 2009 DES 1.6.2 released with null values, Datalog outer join operators and SQL outer join clauses November, 10th, 2008 DES 1.6.1 released with arithmetic expressions and subqueries in SQL comparisons July, 28th, 2008 DES 1.6.0 released with SQL integrated December, 30th, 2007 DES 1.5.0 released with new features and Linux executable fixed September, 2nd, 2007 DES 1.4.0 released and equipped with arithmetic August, 20th, 2007 ACIDE 0.6 released June, 4th, 2007 ACIDE 0.5 released May, 18th, 2007 ACIDE 0.4 released ACIDE 0.4 tested with DES 1.3.0. No changes are now required on DES April, 25th, 2007 ACIDE 0.3 released April, 16th, 2007 ACIDE 0.2 released April, 9th, 2007 ACIDE 0.1 released May, 2nd, 2007 DES 1.3.0 released and equipped with a declarative debugger March, 16th, 2007 ACIDE 0.0 released, a configurable integrated development environment tested for DES February, 22th, 2007 Emacs Development Environment released, which provides an integration of DES into Emacs February, 9th, 2007 DES 1.2.0 released with many improvements December, 20th, 2006 DES 1.1.2 released, fixing some bugs February, 21st, 2005 DES 1.1.1 released, containing a Linux executable version March, 4th, 2004 DES 1.1 released and published by sourceforge.net December, 10th, 2003 DES 1.0 launched