Controlling the Search in Bottom-Up Evaluation

@inproceedings{Ramakrishnan1992ControllingTS,
  title={Controlling the Search in Bottom-Up Evaluation},
  author={Raghu Ramakrishnan and Divesh Srivastava and S. Sudarshan},
  booktitle={JICSLP},
  year={1992}
}
Bottom-up evaluation of queries on deductive databases has many advantages over an evaluation scheme such as Prolog. It is sound and complete with respect to the declarative semantics of least Herbrand models for positive Horn clause programs. In particular, it is able to avoid innnite loops by detecting repeated (possibly cyclic) subgoals. Further, in many database applications , it is more eecient than Prolog due to its set-orientedness. However , the completely set-oriented, breadth-rst… CONTINUE READING
Highly Cited
This paper has 63 citations. REVIEW CITATIONS

Topics

Statistics

051015'93'96'99'02'05'08'11'14'17
Citations per Year

63 Citations

Semantic Scholar estimates that this publication has 63 citations based on the available data.

See our FAQ for additional information.