Rule Safety

Every variable that appears anywhere in the query must appear

also in a relational, non-negated atom in the query.

Q(X,Y,Z) :- R1(X,Y) & X < Z not safe

Q(X,Y,Z) :- R1(X,Y) & NOT R2(X,Y,Z) not safe