Recognises a data rule no valid data can satisfy

Mida see tähendab

A rule that cannot be satisfied by any data that also satisfies its neighbours. The consequence of row 1, and worth naming separately because it is the rule that will never fire.

Kuidas seda hinnatakse

Flags the deficient case and passes the acceptable one. Deficient: `BR-2` above: no row can ever satisfy it while `BR-1` stands Acceptable: Resolve the contradiction; the surviving rule is satisfiable (`ANO-006`)

Tugineb

Explains logical relations between rulesK-353 · Teadmine

Vajalik

Puudub