Cooking up integrity constraints with PRIMUS (preliminary report)
Peter A. Flach, Nicolas Lachiche, Cooking up integrity constraints with PRIMUS (preliminary report). CSTR-97-009, Department of Computer Science, University of Bristol. December 1997. PDF, 68 Kbytes.Abstract
In this report we describe the main ideas underlying PRIMUS, a system for discovery of first-order integrity constraints guided by heuristics, currently under development.