| Newsgroups |
gmane.comp.ai.prolog.swi |
| Message-ID |
<[email protected]> |
[Apologies for multiple receptions]
Hello.
This is a mail just for informing that the new release
Datalog Educational System version 3.4
http://des.sourceforge.net
has been launched on December, 18th, 2013, and tested for
SWI-Prolog 6.6.1
The main novelty of the current release is the ACIDE bundle
which includes a new version 0.12 featuring a PDG panel for
displaying the predicate dependency graph, and also
relocatable panels to reorganize the IDE layout. With
respect to DES itself, some enhancements have been added,
related to an extension to RA projection and Datalog
division. Also, more information has been added for unsafe
rules (mode information and set variable unsafety) and SQL
syntax errors. Changes include overriding the current answer
ordering when an order by metapredicate or clause is
involved in the query, and duplicate elimination, which
works closely to SQL implementations when involving null
values.
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.4 of DES (released on December, 18th, 2013)
* Enhancements:
o New version of ACIDE 0.12, including as upgrades:
- New PDG panel, displayed either when a /pdg command is
issued or on demand in the View menu. Display properties
of this panel have been added to the application menu
- Relocatable panels. A panel can be dragged to another
panel position, interchanging both panels' locations
o RA extended projection includes also the possibility of
renamings
o Added listing of offending rules for set variables
unsafety
o Added mode information for set variables unsafety
o Creation of incorrect views no longer displays the
generic error message
o Some incorrect SQL statements due to aggregates are
catched
o Constraints are checked along updates
o Datalog division operator can be nested
* Changes:
o Submitting an order_by related query overrides current
/order_answer flag. There is no need to submit
/order_answer off to make sorted listings work
o Duplicate elimination (duplicates disabled and distinct
operator) considers different nulls as the same null,
therefore behaving more closely to SQL
o Variable order in compiled rules
* Fixed bugs:
o The division operation was incorrect in RA and SQL
o Aggregates included extra tuples along nested
hypothetical assumptions
o Removed undeclared predicate warning for true/0 when
occurring as a condition
o The predicate group_by was functioning incorrectly in
some cases, depending on previous tabled results
o Undefined predicate warning removed for false/0
o SQL NOT EXISTS clause was incorrectly translated by
adding a top-1 goal
o Computing the order_by predicate was omitted for
/order_answer on. So, a query as top(1,order_by(t(X),[X]))
might deliver an incorrect answer
o In multiline mode, when processing a file containing a
tab and an SQL line remark (--), then the next line was
considered as a part of the remark
o Built-ins were tried to be made persistent for
persistent rules including them
o Retracting an IDB rule for a persistent predicate did
not refresh the database schema
o Assuming IDB rules in an hypothetical implication lead
to exceptions in some cases
o The combination of top and distinct metapredicates
produced extra tuples
o Translation of the Datalog division operator lead to
remove head variables not involved in the operation
o Anonymous variables in consulted rules were given names