search

cvs77 / jchord

Automatically exported from code.google.com/p/jchord
1 stars 2 forks source link

bddbddb stratification is incorrect #3

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
A bug was introduced in the stratification algorithm of bddbddb in revision 
558:

http://bddbddb.svn.sourceforge.net/viewvc/bddbddb?view=rev&revision=558

The current workaround is to use bddbddb.jar (in chord/lib/bddbddb/) built 
from revision 557.

The datalog file thrOblAbbrCICG.dlog for which this bug is manifested is 
attached.

The Chord command line is:

ant -Dwork.dir=tests/test1/chord_output/bddbddb -
Ddlog.file=src/main/dlog/alias/thrOblAbbrCICG.dlog solve

The version using the incorrect stratification algorithm produces an 
incorrect stratification plan which in turn causes some rules to iterate a 
suspiciously low number of times and produce suspiciously small output 
relations.

Original issue reported on code.google.com by mayur.naik on 3 Dec 2009 at 2:13

Attachments:

GoogleCodeExporter commented 9 years ago 
Note: the hyperlinks to revision 557 and 558 are incorrect: they are revisions 
in 
bddbddb's svn on sourceforge, not jchord's svn on googlecode.

Original comment by mayur.naik on 3 Dec 2009 at 2:14