March 23th, 2012

  • DLVDB for 64-bit Linux users is now available.

February 16th, 2012

  • Added main fixes regarding integrity of working database tables in order to avoid undesirable effects. DLVDB now detects and warns about every case where auxiliary directives are not properly specified and may imply data loss or data corruption. This also prevents all unexpected changes on pre-existing database tables due to possibly implicit mapping.
  • A new auxiliary directive (USE ... ALLOW_APPEND) must be now specified for savely mapping predicates to pre-existing database tables which must be used both as input knowledge base and to store new knowledge derived during the program evaluation. This implies the user is conscious that the table can be modified.
  • Added error messages and warnings.
  • Assorted bug fixes related to negation (as failure and true negation), to propositional programs, and to improper utilization of database keywords as predicate names.
  • Various code and documentation cleanups (including the online manual where USE ... ALLOW_APPEND is also covered).
  • By default, a model result is now printed.

September 20th, 2007

  • Minor fixes.

June 14th, 2007

  • Solved some compatibility problems with SQL types.

May 18th, 2007

  • Fixed handling of predicates without attributes.

April 20th, 2007

  • Minor fixes.

March 6th, 2007

  • Solved some compatibility problems with MySQL DBMSs.

February 26th, 2007

  • Main fix resolving compatibility problems with SQL Server when running programs with negation.
  • Significantly improved the evaluation performance of programs with negation and aggregates.

January 22th, 2007

  • Minor fixes.

December 13th, 2006

  • Fixed bug in aggregate functions.
  • Fixed bug in built-in predicates.

November 15th, 2006

  • Added double quote for free SQL statement in USE directives.
  • Fixed bug in parsing USE directives with SQL statements.

October 19th, 2006

  • Allowed free SQL statements in USE directives.
  • Fixed bug in importing data from MS-Access DBMSs.