DES 3.8 Released

[Apologies for multiple receptions]

Hello.
This is a mail just for informing that the new release =


  Datalog Educational System version 3.8 =

  http://des.sourceforge.net

has been launched on July, 30th, 2014, and tested for

  SWI-Prolog 6.6.6

The current release highlights many enhancements and fixings
after three months from the previous one: First, a new ACIDE
version 0.16 is bundled including improved Datalog and SQL =

tracer panels, Database and Data View panels, and several =

bug fixes. Node sources, answers and navigation are =

enhanced. Database constraints are handled by a graphical =

GUI instead of a textual interface. And, second, with =

respect to DES itselft, improvements include better =

compilations of SQL to Datalog (better partial reduction and
simplification). A new command allows setting automatic tpe =

casting for Datalog fact assertions and SQL insertions and =

selections. DELETE and UPDATE SQL statements have been =

enhaced with table renamings for correlated subqueries. =

Finally, persistence has been revisited, fixed and tested =

with several DBMS's.

A complete list of enhancements, changes and fixed bugs is =

attached to the end of this message. =

Please, see http://des.sourceforge.net for details.

  Best regards.



=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Fernando Saenz Perez
Profesor Titular de Universidad / Associate Professor
Home Page: http://www.fdi.ucm.es/profesor/fernan
Tel: + 34 913947642. Fax: + 34 913947547
Despacho / Office: 435 (4=AA 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

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D



Version 3.8 of DES (released on July, 30th, 2014)
 =

* Enhancements:
  o Type casting for Datalog fact assertions and SQL =

    insertions and selections. Enabling this with the command =

    /type_casting on provides a closer behaviour of SQL =

    statement solving
  o Improved partial reduction and simplifications. This =

    yields to better compilations for SQL and RA statements, =

    and enhances declarativeness of Datalog rules when =

    simplification in enabled
  o Added table renamings for correlated subqueries in =

    DELETE and UPDATE DML SQL statements
  o The right operand of SQL operator IN admits a list of =

    constants, and as an extension, a list of tuples as well. =

    For example: (1,'a') IN ((1,'a'),(2,'b'))
  o Datalog rules resulting from SQL and RA compilations =

    include anonymous variables
  o SQL to Datalog compilation displays are affected by the =

    development flag, so that it is possible to inspect =

    compilations after preprocessings with this flag enabled
  o A negative head can include parentheses surrounding the =

    atom
  o Syntax error for incorrect use of a Datalog built-in =

    predicate as an SQL user identifier
  o Slightly better type errors
  o Variable names of persistent rules are kept when =

    restoring a predicate
  o Creating a table with a CREATE TABLE statement keeps =

    tuples for this table already stored and checks integrity =

    constraints with respect to these tuples
  o All CREATE, DROP and ALTER SQL statements for external =

    databases do not longer require a preceding /sql to be =

    submitted
  o Extended types for persistent metadata =

  o Specific code for SQL Server ODBC connections
  o Error messages for rules of persistent predicates =

    including unsupported built-ins
  o Rules including the built-in is can be persistent
  o Extended status information with /status
  o New version ACIDE 0.16, including upgradings and =

    fixings: =

    - Improved Datalog and SQL tracer panels
    - Node contents displayed by double-click
    - Automatic selection and manual location of program =

      rules for trace nodes
    - Better arrangement of graphs
    - Improved Database and Data View panels
    - A graphical interface for database constraints
    - Console, Database and Data View fixes
  o New commands:
    - /type_casting Display whether automatic type casting =

      is enabled =

    - /type_casting Switch Enable or disable singleton =

      warnings (on or off, resp.)
    - /close_persistent Name Close the connection to the =

      persistent predicate Name
* Changes:
  o Arithmetic constant and function names are allowed as =

    column names in SQL renamings
  o The PDG and strata are restored instead of recomputed =

    for several SQL statements
  o Creating a table with CREATE TABLE checks constraints =

    should a tuple exists in the database already (which could
    be asserted with a command, for instance)
* Fixed bugs:
  o Several bugs about persistence introduced in previous =

    releases
  o The PDG and strata were not restored after the execution
    of several DDL, DQL and DML SQL queries =

  o SQL Server ODBC connections are now opened in MARS mode,
    allowing to submit several queries for the same connection
  o Dropping predefined integrity constraints involving =

    several attributes was not always possible
  o The schema for queries to external databases was missing
    in SICStus distros
  o The SQL text of persistent relations automatically =

    created was not assigned to the correct relation
  o Added infix and prefix to the built-ins help
  o Unsafe rules made its persistence to fail
  o The command /drop_ic failed for some constraints =

    involving prefix operators
  o Exception raised during RA rename operation
  o Creating a table with the SQL statement CREATE TABLE =

    LIKE from a table with attached integrity constraints =

    failed to attach these constraints
  o With answer display disabled, the output schema was =

    shown
  o View metadata was removed when creating the view =

    including an assumption as a local view definition
  o Negative rules cannot be consulted from files
  o Topological order was incorrectly computed in some =

    situations
  o Type inferencing for a new view in the deductive =

    database failed when there exists the same view name in an
    open connection
  o Combining restricted predicates and hypotheses might =

    lead to extra tuples in the answer
  o Database schema display for views containing negative =

    assumptions failed
  o The metapredicate group_by was not identified in the =

    consequent of the implication, therefore failing its =

    solving
  o Parsing of a compound condition as an argument of not =

    required a blank before the opening parenthesis
  o Some Datalog type errors for limited-length varying char
    was not informing about the length
  o Selecting from unions involving expressions might lead =

    to missing answers
  o Trying to persist a predicate depending on an external =

    relation failed
  o Test cases failed to be generated for subqueries =

    including EXISTS and NOT EXISTS



//------------------------------//
//  ACIDE 0.16 Release Notes    //
//        07/30/2014            //
//------------------------------//

  =

* Enhancements, changes and fixed bugs:
  o Improved Datalog and SQL tracer panels
  o Node contents displayed by double-click
  o Automatic selection and manual location of program rules
    for trace nodes
  o Better arrangement of graphs
  o Improved Database and Data View panels
  o A graphical interface for database constraints
  o Console, Database and Data View fixes
  o Several bugs fixed 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 =

    [email protected]