Recursive query processing in predicate-goal graph

  • Jia Liang Han
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 463)


The predicate-goal graph (P-G graph) is introduced in this paper to facilitate query processing with linear recursive function-free Horn clauses without negation. A recursive rule is compiled into (an infinite number of) expansions. Each expansion corresponds to a P-G subgraph. The necessary and sufficient condition of existence of an answer to a query is that one P-G subgraph is satisfiable. Two basic recursive query processing strategies, the bottom-up evaluation and the Prolog computation, are illustrated using the P-G graph. In the P-G graph, query evaluation can be independent of the order of the predicates in the rule expression and many query processing strategies may be used. This graphic method can be used for comparisons of various recursive query processing strategies, parallel processing, query optimization, etc.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BaRa86]
    F. Bancilhon and R. Ramakrishnan, “An amateur's introduction to recursive query processing strategies,” Proc. ACM-SIGMOD Management of Database Systems, Washington D.C., pp.16–52, 1986.Google Scholar
  2. [BMSU86]
    F. Bancilhon, D. Maier, Y. Sagiv, and J.D. Ullman, “Magic sets and other strange ways to implement logic programs,” Proc. of 5th ACM SIGACT-SIGMOD Symposium on Principles of Database System, pp.1–15, 1986.Google Scholar
  3. [Co70]
    E.F. Codd, “A relational model of data for large shared data banks,” Communication of ACM, vol. 13, pp.377–387, 1970.Google Scholar
  4. [CKPR73]
    A. Colmerauer, H. Kanoui, R. Pasro, and P. Roussel, Un Systèm de Communication Homme-machine en Français. Research Report, Groupe d'Intelligence Artificielle, Université d'Aix-Marseille II, France, 1973.Google Scholar
  5. [GMN84]
    H. Gallaire, J. Minker, and J.-M. Nicolas, “Logic and databases: a deductive approach,” Computing Surveys, vol. 16, pp.154–185, 1984.Google Scholar
  6. [HaCh88]
    J. L. Han and S-s. Chen, “Graphic representation and recursive structure of linear recursive rules in logic programming”, Technical Report, Department of Computer Science, University of North Carolina, Charlotte, NC 28223, USA, Dec. 1988. Submitted for publication.Google Scholar
  7. [HaCh90]
    J. L. Han and S-s. Chen, “Graphic representation of linear recursive rules,” to appear in Intl. J. of Intelligent Systems. Also in: Computing and Information, R. Janicki and W.W. Koczkodaj eds., Elservier Sci. Publishers, North Holland, pp.313–316, 1989.Google Scholar
  8. [HeNa84]
    L. Henschen and S. Naqvi, “On compiling queries in recursive first order databases”, JACM vol.31, pp.47–85, 1984.Google Scholar
  9. [Io86]
    Y. E. Ioannidis, “A time bound on the materialization of some recursively defined views,” Algorithmica vol. 1, pp.361–385, 1986. Also in Proc. of the 11th International Conference on Very Large Data Bases, Stockholm, Sweden, pp.219–226, Aug., 1985.Google Scholar
  10. [Ko74]
    R.A. Kowalski, “Predicate logic as programming language,” Proceedings of IFIP Cong., North-Holland, Amsterdam, pp.569–574, 1974.Google Scholar
  11. [Na89]
    J. F. Naughton, “Data independent recursion in deductive databases,” J. Computer and System Sciences vol.38, (1989), pp.259–289. Also in: Proc. of the 5th ACM SIGACT-SIGMOD Symp. on Principles of Database Systems, pp.267–279, 1986.Google Scholar
  12. [Re78]
    R. Reiter, “Deductive question-answering on relational databases,” in Logic and Databases, H. Gallaire and J. Minker eds., Plenum Press: New York, 1978, pp.149–177.Google Scholar
  13. [Ul88]
    J.D. Ullman, Principles of database and knowledge-base systems, vol.I, Computer Science Press, Rockville, Md. 1988, Chapter 3.Google Scholar
  14. [vEKo76]
    M.H. van Emden and R.A. Kowalski, “The semantics of predicate logic as a programming language,” J. ACM vol.23, pp.733–742, 1976.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Jia Liang Han
    • 1
  1. 1.School of Information TechnologyUniversity College of Southern QueenslandToowoombaAustralia

Personalised recommendations