What's New

This version adds to the Fuzzy Datalog system the new feature called fuzzy answer subsumption, which prunes both computation and space by dismissing equal tuples with lesser approximation degrees than others already computed. Also, fuzzy equations with degree 0 resulting from t-closure are no longer stored. Now, absence of the reflexivity property for a fuzzy approximation relation does not imply antireflexivity. For enhancing performance a bit, PDG and strata are updated rather than reconstructed for queries modifying the database. Several commands targeted at statistics and CSV (Comma-Separated Values) output for answer tuples have been added. The complete list of enhancements, changes and fixed bugs are listed in the Release Notes and in Section 11.1 of either the printed printed User Manual or the online User Manual.