[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 _______________________________________________ Users-prolog mailing list [email protected] http://lists.gnu.org/mailman/listinfo/users-prolog
