DES 1.8.0 Released

[fernan]

[Apologies for multiple receptions]

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

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

has been launched on December, 18th, 2009, and ported to

  GNU Prolog 1.3.1

The main novelty in this release is a more mature test case generator 
than in the last release, which supports positive-negative, positive 
and negative test cases for views, ranging over integer and string 
data types. This generator uses the constraint system of the 
underlying Prolog system. Whereas binary distributions enjoy all the 
features, consult Section 10 of the user manual to read the limitations 
w.r.t. the source distributions. 

Release notes are attached to the end of this message. 
Please, see http://des.sourceforge.net for details.

  Best regards.

==============================================================
Fernando Sáenz Pérez
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. Ingeniería del Software e Inteligencia Artificial / 
Department of Software Engineering and Artificial Intelligence
Universidad Complutense de Madrid
Facultad de Informática
C/Profesor José García Santesmases, s/n
E - 28040 Madrid. Spain
==============================================================



* Enhancements:
  o An advanced test case generator supporting positive-negative, positive and 
negative test cases for views, ranging over integer and string data types
  o New command:
    - /tc_size Min Max Sets the minimum and maximum number of tuples generated 
for a test case
  o New use for existing command: 
    - /test_case View [Options] Generates test case classes for the view View. 
Options may include a class and/or an action parameters. The test case class is 
indicated by the values all (positive-negative), positive, or negative in the 
class parameter. The action is indicated by the values display (only display 
tuples), replace (replace contents of the involved tables by the computed test 
case), or add (add the computed test case to the contents of the involved 
tables) in the action parameter. Default parameters are all and display
  o More precise type inferring system
  o Enhanced syntax error reporting when consulting Datalog programs. An 
offending rule which is a valid term but is not a valid Datalog rule is listed 
together with location information
  o Enhanced pretty-print:
    - Rules: disjunctive bodies and quoted constants
    - SQL: indentation
    - /dbschema: bullets and expanded indentation
  o Informing that a goal cannot be debugged when its predicate is not defined
  o New switch for existing command:
    - /timing detailed Displays detailed elapsed time (parsing, computation, 
display and total elapsed times)
  o Line number information of consulted files is available also for the source 
distributions of both Ciao and SWI Prolog
* Changes:
  o The displayed integer type for tables and views has changed from int to 
integer 
  o Any sequence of characters enclosed between quotes are allowed as a 
constant, as '2*3' 
  o A bit more precise verbose output messages 
* Fixed bugs:
  o Select statements with empty relations and group_by gave incorrect results
  o Translations of disjunctions in group_by conditions involving  shared 
variables were incorrect
  o Some output displays were not logged via the command /log
  o Rule retraction may behave incorrectly when compiled rules cannot be 
differentiated
  o When a set of tables were dropped, their foreign keys were not
  o A renaming in the projection list of a SQL statement with the same 
identifier as input relations was incorrectly translated
  o Dropping and recreating a view failed to delete the defining Datalog rules 
for the rule, raising a warning
  o Removed meaningless warning message when redefining a table
  o Consulting a datalog program with syntax errors when safety is enabled 
yielded a loop
  o When asserting a rule and simplification enabled, the correct variable 
names where not displayed in the translation in some cases
* Caveats and limitations:
  o See Section 10 of the user manual
* Known bugs:
  o The projection list of a natural outer join is not correct in all cases
  o Disjunctions in having conditions in the group_by clause may display errors 
which are not