Graph traversal and top-down evaluation of logic queries

  title={Graph traversal and top-down evaluation of logic queries},
  author={Yangjun Chen},
  journal={Journal of Computer Science and Technology},
In this paper, an optimal method to handle cyclic and acyclic data relations in the linear recursive queries is proposed. High efficiency is achieved by integrating graph traversal mechanisms into a top-down evaluation. In such a way, the subsumption checks and the identification of cyclic data can be done very efficiently. First, based on the subsumption… CONTINUE READING