Definește variabilele și domeniile lor inițiale (ex: 1,2,3,4 sau 1-4)
| Variabilă | Domeniu | Șterge |
|---|
Definește constrângerile binare între variabile
| Variabila 1 | Relație | Variabila 2 | Constantă | Șterge |
|---|
Formula:
Arc (Xi, Xj) e consistent ⟺ ∀ x ∈ Di, ∃ y ∈ Dj cu C(x,y) satisfăcută
REVISE elimină din D(Xi) valorile care nu au suport în D(Xj)