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
Back to first slide
View graphic version