Paulo Jorge de Sousa Azevedo

  • Citations Per Year
Learn More
This paper discusses the relationship between tabulation and goal-oriented bottom-up evaluation of logic programs. Some diierences emerge when one tries to identify features of one evaluation method in the other. We show that to obtain the same eeect as tabulation in top-down, one has to perform a careful adornment in programs to be evaluated bottom-up.(More)
Deductive databases with updates in rule bodies do not allow to use bottom-up execution model. This is due to the introduction of control in rule bodies induced by update sequences. However, bottom-up strategies are very important due to the set oriented query-answering process of database systems. In 7] an extended rule language was proposed that allows to(More)
  • 1