DES 3.7 Released

[Apologies for multiple receptions]

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

  Datalog Educational System version 3.7 
  http://des.sourceforge.net

has been launched on April, 28th, 2014, and tested for

  SWI-Prolog 6.6.5

There are several enhancements in the current release: 
First, WITH and ASSUME SQL statements are compiled to 
Datalog implications. This enables encapsulation and 
nesting. Local view definitions are no longer global, but 
local to the statements in the context in which such views 
are defined. Also, negative assumptions in hypothetical SQL 
views and queries are allowed. Other enhancements include 
new commands and extended TAPI support. A new ACIDE version 
0.15 is bundled including: a graphical tracer for Datalog 
queries and SQL views, a new panel for the asserted database
contents, and several other enhancements and bug fixes.

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.



=============================================================
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ª 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 3.7 of DES (released on April, 28th, 2014)
 
* Enhancements:
  o WITH and ASSUME SQL statements are compiled to Datalog 
    implications. This enables encapsulation and nesting. 
    Local view definitions are no longer global, but local to 
    the statements in the context in which such views are 
    defined
  o Negative assumptions in hypothetical SQL views and 
    queries
  o The same relation can be overloaded as many times as 
    needed in WITH and ASSUME SQL statements
  o Local view definitions and assumptions can be referred 
    to a relation name instead of its complete schema if the 
    relation exists already
  o Better pretty-print display of rules containing 
    implications
  o Added anonymous variables to compiled code from SQL 
    statements, avoiding annoying messages if queried from 
    Datalog
  o Added redefinition error messages for built-in 
    predicates in assertions
  o TAPI support for:
    - The different versions of the command /listing 
    - The different versions of the command /list_et
  o New version ACIDE 0.15, including upgradings and 
    fixings: 
    - A graphical tracer for Datalog queries and SQL views
    - A new panel for the asserted database contents
    - Some tweaks to the console configuration
    - Graphical PDG generation in the background
    - Fixed incomplete nodes in the Database panel
    - File editors: Case change and one-click line selection
  o New commands:
    - /ashell Command An asynchronous shell command, i.e., 
      as  /shell Command but without waiting for the process 
      to finish and also eliding output
    - /fp_info Display whether fixpoint information is to be
      displayed
    - /fp_info Switch Enable or disable display of fixpoint 
      information, as the ET entries deduced for the current 
      iteration (on or off, resp.)
    - /strata Name Display the current stratification 
      restricted to predicate with name Name.
    - /strata Name/Arity Display the current stratification 
      restricted to the predicate Name/Arity.
    - /listing_asserted List the Datalog rules that have 
      been asserted with command. Rules from consulted files 
      are not listed. Neither integrity constraints nor SQL 
      views and metadata are displayed. TAPI enabled.
    - /listing_asserted Name List the Datalog rules that 
      have been asserted with command matching Name. Neither 
      integrity constraints nor SQL views and metadata are 
      displayed. TAPI enabled.
    - /listing_asserted Name/Arity List the Datalog rules 
      that have been asserted with command matching the 
      pattern Name/Arity. Neither integrity constraints nor 
      SQL views and metadata are displayed. TAPI enabled.
    - /listing_asserted Head List the Datalog rules that 
      have been asserted with command whose heads are subsumed
      by the head Head. Neither integrity constraints nor SQL 
      views and metadata are displayed. TAPI enabled.
    - /list_sources Name/Arity List the sources of the 
      Datalog rules matching the pattern Name/Arity. TAPI 
      enabled.
* Changes:
  o TAPI output for /pdg, which now also displays nodes (cf.
    Section 5.17.2)
  o Dropped information about local view definitions from 
    /dbschema as the whole WITH statement is now displayed
  o The command /edit FileName becomes asynchronous
  o File des_persist.pl becomes des_persistence.pl
* Fixed bugs:
  o Tracing did not show the contents of uncached calls
  o The command /set_editor without an argument did not work
  o Assuming a type-faulty SQL statement for an existing 
    relation removed its previous schema
  o There were missing answers when computing the consequent
    of an implication for a non-recursive predicate depending 
    on a recursive one
  o For some from-less SQL systems, the dual table was 
    incorrectly referenced, raising an exception when 
    persisting some rules
  o Asserting a rule for a persistent predicate did not find
    new predicates that need to be made persistent
  o Some rules including outer joins failed to compile
  o Some issues related to the combination of persistence 
    and implications
  o Dropping the persistence assertion for a predicate with 
    already typed dependent predicates raised an error
  o System predicates resulting from compilations (e.g., 
    from outer joins) were not automatically made persistent
  o A typo in type inferencing avoided to infer some types
  o Translating a Datalog rule to SQL with repeated 
    variables in the head was incorrect
  o Some extra types along type inferencing were lost
  o Field names and types were lost when renaming a view by 
    using the SQL statement RENAME VIEW



//------------------------------//
//  ACIDE 0.15 Release Notes    //
//        04/28/2014            //
//------------------------------//

  
* Enhancements, changes and fixed bugs:
  o A graphical tracer for Datalog queries and SQL views
  o A new panel for the asserted database contents
  o Some tweaks to the console configuration
  o Graphical PDG generation in the background
  o Redimensionable text panels for views
  o Database panel:
    - Added RA nodes for views defined in relational algebra
    - Fixed view modification
    - Fixed incomplete view and table nodes 
  o PDG panel:
    - 
  o File editors: 
    - Case change shortcuts
    - One-click line selection
  o Data View: 
    - Multiple line copy/paste
  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]