
456
Bancilhon
and
Ramakrishnan
then evaluate q against the date base
else
begin
select the relevant facts for q in the base predicates;
put them in relevant;
while new tuples are generated do
begin
for each rule do (this can be done in parallel)
begin
instantiate the right predicates with the relevant facts and produce
tuples for the left predicate;
add these tuples to the set of relevant facts;
initialize the set of useful facts to the set of relevant facts;
for each literal on the right do (this can be done in parallel)
begin
for each matching relevant fact do
begin
plug the fact in the rule and propagate the constants;
this generates a ne ...