Condiţia care exista atunci cand fiecare rând într-un tabel în conformitate cu constrângerile verifica care sunt definite pe acel tabel.