Cooking up integrity constraints with PRIMUS (preliminary report)

  • Authors:
  • Peter A. Flach;Nicolas Lachiche

  • Affiliations:
  • -;-

  • Venue:
  • Cooking up integrity constraints with PRIMUS (preliminary report)
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

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.