Constraint Discovery and Validation Assistant

This prototype demonstrates two protocols for constraint discovery and validation. Both protocols have been used in actual business practice for several years and have proven to be effective and efficient.

The Uniqueness Constraint Discovery and Validation Assistant implements the matrix protocol to discover and validate internal uniqueness constraints in elementary fact types.

The Set Constraint Discovery and Validation Assistant implements the matrix protocol to discover and validate set constraints between two fact types and an object type which share a common variable.

The Master-Detail Constraint Discovery and Validation Assistant implements the matrix protocol to discover and validate set constraints between two fact types which share a common variable.

Project Progress

2011-01-13

After internal review, added rule counter displays to all Validation Rule pages to more clearly indicate which rules are present, even if their display has been selected off. Added extra explaining text on the validation form to indicate that the prototype does not yet store the validation results as justification evidence, as there is no underlying model database. Suppressed both displays when printing the page.

2010-12-09

Bug fix: Set Constraints used a wrongly modified question sequence. Changed some set constraint constellations to a logical equivalent, which is pedagogically better. Also adapted the corresponding validation sentences (business rules). Added the suggestion link to proceed to a validation after having made a discovery.

see all previous progress messages