author: amit p sheth

... (C), is defined in a three value logic with values {true, false, error} as follows: – If C is an atomic filter constraint, excluding bound(), and var(C) Z dom (u), then p(C) = error; else if C is ?X = u and u(?X) = u, or if C is ?X= ?Y ...