DES 3.6 Released

[Apologies for multiple receptions]

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

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

has been launched on March, 12th, 2014, and tested for

  SWI-Prolog 6.6.2

There are two main enhancements in the current release: 
First, a novel notion of restrict rules for defining 
restricted predicates. A restrict rule (denoted with a minus
symbol preceding its head) limits the meaning of its 
predicate, which becomes the tuples in the meaning of the 
predicate minus the tuples in the meaning of the rule. This 
forms the base of the second enhancement: Negative 
assumptions in hypothetical rules. Assuming a restrict rule 
amounts to assume that all its derived facts are discarded 
from the database to solve the implication. Other 
enhancements include compilation of rules by reordering of 
goals, program unfolding and simplification. Also, a new 
ACIDE version 0.14 is included with several 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.6 of DES (released on March, 12th, 2014)
 
* Enhancements:
  o Restricted predicates, which are regular predicates 
    including restrict rules. A restrict rule defines the 
    tuples which are dropped from the meaning of its predicate
  o Negative assumptions in hypothetical Datalog rules and 
    goals
  o Dynamic building of the PDG and strata along 
    hypothetical computations, including extended verbose info
    for assumed rules, PDG, strata and contexts
  o New version ACIDE 0.14, including upgradings and fixings
    to: 
    - File Editors
    - Data View panel
    - PDG panel
    - Relocatable panels
  o Added BETWEEN SQL operator for WHERE and HAVING 
    conditions
  o Multiset expressions in SQL select statements and 
    conditions
  o Added syntax support for HR-SQL
  o Added SQL FLOAT as an alias to the already supported 
    REAL type 
  o Reordered subgoals in metapredicate arguments for 
    efficiency
  o Program unfolding for rules resulting of a rule 
    compilation
  o Expression simplification extended to all comparison 
    operators (when simplification is enabled with command)
  o Better simplifications
  o New commands:
    - /reorder_goals Display whether pushing equalities to 
      the left  is enabled
    - /reorder_goals Switch Enable or disable pushing 
      equalities to the left (on or off, resp.)
    - /unfold Display whether program unfolding is enabled
    - /unfold Switch Enable or disable program unfolding (on
      or off, resp.) Unfolding affects to the set of rules 
      which result from the compilation of a single source 
      rule. Unfolding is always forced for SQL and RA 
      compilations, irrespective of this setting
* Changes:
  o Negation not/1 is redefined as a prefix operator. Older 
    syntax is straightforwardly supported
* Fixed bugs:
  o Group-by goal arguments were not unfolded in 
    SQL-to-Datalog translations
  o Top-N queries were incomplete for several uses of the 
    same relation along a computation
  o Unfolding of recursive rules were incorrect
  o Simplification of a disjunction with a true goal was 
    incorrect




//------------------------------//
//  ACIDE 0.14 Release Notes    //
//        03/12/2014            //
//------------------------------//

  
* Enhancements, changes and fixed bugs:
  o Play button behaves as other DB GUIs by sending either 
    the selected text or the editor content to the console.
  o An executable in the OS path can be specified as the 
    console, with no need for including the complete file 
    path.
  o Changed "Shell" by "Console" in the labels of the 
    Console on the menu bar.
  o Fixed a problem with "Save Project As", if the name 
    written ends with ".acideProject" the extension is not 
    added again.
  o Echo command is checked by default in new configurations
    of the console.
  o Localization becomes easier: the folder "language" 
    contains a file for each language. Simply by adding a new 
    file with the language name and its translated contents 
    allows to provide a new language for the application.
  o Enhancements in PDG panel:
    - Better display of autoreferencing nodes. 
    - Node drag also allowed on labels. 
    - Label display switchable.
    - PDG display building in background.
  o Enhancements in file editors: 
    - Make and remove comments in addition to the already 
      available "Toggle Comment". 
    - Shortcuts to find forward and backwards (F3 and 
      Shift-F3). 
    - Changing text case.
    - Indentation.
  o Enhancements in Data View: 
    - Extended details configuration for tables and views. 
    - Only one Data View instance per relation. 
    - Some tweaks on resizing. 
    - Some tweaks on indentation.
    - Double click shortcut to open Data View. 
  o Several bugs fixed but presumably others added.


IMPORTANT CAVEATS / KNOWN BUGS:
  o Ctrl+Mouse Wheel for resizing font display may take long
    time.
  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]