Recognises contradicting data rules

Mida see tähendab

Two rules on one fact type cannot both hold. Almost always a missing condition: one rule applies to a subtype and nobody wrote that down.

Kuidas seda hinnatakse

Flags the deficient case and passes the acceptable one. Deficient: `BR-1: each account has exactly one interest rate` and `BR-2: it is prohibited that an account has an interest rate` Acceptable: `BR-1: each savings account has exactly one interest rate`; `BR-2: it is prohibited that a current account has an interest rate` — the condition is in the rule, not in somebody's memory (`ANO-001`)

Tugineb

Explains logical relations between rulesK-353 · Teadmine

Vajalik

Puudub