DATALOG - bezpečná pravidla

• Df.: bezpečné pravidlo

• Proměnnou x vyskytující se v pravidle nazveme omezenou, jestliže se vyskytuje v literálu L v těle tohoto pravidla, přičemž:

  • L je dán pravým predikátem, nebo
  • L má tvar x = a nebo a = x, nebo
  • L má tvar x=y nebo y=x a y je omezená.

• Pravidlo je bezpečné, jsou-li všechny jeho proměnné omezené.

• Př.: bezpečnost pravidel

• JE_VĚTŠÍ_NEŽ(x,y) :- x  y

• PŘÁTELÉ(x,y) :- M(x)

• S‘(y,w) :- F(x,y), F(x,w), y  w