Linkifier

Add: Ability to complement the known foreign key constraints instead of ignoring all known foreign keys (controllable via a checkbox).
Add: Optionally validate the estimated foreign key constraints for foreign key violations. This can be slow. Hence there is a build in timeout on each check (20 seconds). To see whether the validation finished on the estimated foreign key constraint, inspect column "satisfiesFKC" in "Decision justification for FK". If the value is "timeout", it means Linkifier didn't find any foreign key violation in the time limit. When Linkifier finds a violation, it reruns the optimization and proposes a different set of foreign key constraints until no violation is found (or until it is the 10th re-optimization). As always, keep in mind that a technically valid foreign key constraint does not make a semantically valid foreign key constraint.