Skip to main content
SpringerLink
Log in

Transformation-based bottom-up computation of the well-founded model

  • Computation
  • Conference paper
  • First Online:
Book cover Non-Monotonic Extensions of Logic Programming (NMELP 1996)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1216))

Abstract

We present a bottom-up algorithm for the computation of the well-founded model of non-disjunctive logic programs. Our method is based on the elementary program transformations studied by Brass and Dix [6, 7]. However, their “residual program” can grow to exponential size, whereas for function-free programs our “program remainder” is always polynomial in the size, i.e. the number of tuples, of the extensional database (EDB). As in the SLG-resolution of Chen and Warren [11, 12, 13], we do not only delay negative but also positive literals if they depend on delayed negative literals. When disregarding goal-directedness, which needs additional concepts, our approach can be seen as a simplified bottom-up version of SLG-resolution applicable to range-restricted Datalog programs. Since our approach is also closely related to the alternating fixpoint procedure [27, 28], it can possibly serve as a basis for an integration of the resolution-based, fixpoint-based, and transformation-based evaluation methods.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. C. Aravindan and P. M. Dung. On the correctness of unfold/fold transformation of normal and extended logic programs. The JLP, 24(3):201–217, 1995.

    Google Scholar 

  2. C. Bell, A. Nerode, R. Ng, and V. S. Subrahmanian. Implementing stable semantics by linear programming. In L. M. Pereira and A. Nerode, editors, Logic Programming and Non-monotonic Reasoning, Proc. of the Second Int. Workshop (LP-NMR'93), pages 23–42. MIT Press, 1993.

    Google Scholar 

  3. S. Brass. Bottom-up query evaluation in extended deductive databases. Habilitation thesis, Institut für Informatik, Universität Hannover, 1996.

    Google Scholar 

  4. S. Brass. SLDMagic — An improved magic set technique. In B. Novikov and J. W. Schmidt, editors, Advances in Databases and Information Systems — ADBIS'96, 1996.

    Google Scholar 

  5. S. Brass and J. Dix. Characterizations of the stable semantics by partial evaluation. In A. Nerode, editor, Logic Programming and Nonmonotonic Reasoning, Proc. of the Third Int. Conf. (LPNMR'95), number 928 in LNCS, pages 85–98. Springer, 1995.

    Google Scholar 

  6. S. Brass and J. Dix. Disjunctive semantics based upon partial and bottom-up evaluation. In L. Sterling, editor, Logic Programming, Proc. of the Twelfth Int. Conf. on Logic Programming (ICLP'95), pages 199–213. MIT Press, 1995.

    Google Scholar 

  7. S. Brass and J. Dix. A general approach to bottom-up computation of disjunctive semantics. In J. Dix, L. M. Pereira, and T. C. Przymusinski, editors, Non-monotonic Extensions of Logic Programming, number 927 in LNAI, pages 127–155. Springer, 1995.

    Google Scholar 

  8. S. Brass and J. Dix. Characterizing D-WFS: Confluence and iterated GCWA. In 5th European Workshop on Logics in AI (JELIA '96), 1996.

    Google Scholar 

  9. F. Bry. Logic programming as constructivism: A formalization and its application to databases. In Proc. of the 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'89), pages 34–50, 1989.

    Google Scholar 

  10. F. Bry. Negation in logic programming: A formalization in constructive logic. In D. Karagiannis, editor, Information Systems and Artificial Intelligence: Integration Aspects, number 474 in LNCS, pages 30–46. Springer, 1990.

    Google Scholar 

  11. W. Chen, T. Swift, and D. S. Warren. Efficient top-down computation of queries under the well-founded semantics. JLP, 24(3):161–199, 1995.

    Google Scholar 

  12. W. Chen and D. S. Warren. Query-evaluation under the well founded semantics. In Proc. of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'93), pages 168–179, 1993.

    Google Scholar 

  13. W. Chen and D. S. Warren. Tabled evaluation with delaying for general logic programs. JACM, 43(1):20–74, 1996.

    Article  Google Scholar 

  14. P. Cholewiński, V. W. Marek, A. Mikitiuk, and M. Truszczyński. Experimenting with nonmonotonic reasoning. In L. Sterling, editor, Logic Programming, Proc. of the Twelfth Int. Conf. on Logic Programming (ICLP'95), pages 267–281. MIT Press, 1995.

    Google Scholar 

  15. L. Degerstedt and U. Nilsson. Magic computation for well-founded semantics. In J. Dix, L. M. Pereira, and T. C. Przymusinski, editors, Nonmonotonic Extensions of Logic Programming, number 927 in LNAI, pages 181–204. Springer, 1995.

    Google Scholar 

  16. P. M. Dung and K. Kanchansut. A fixpoint approach to declarative semantics of logic programs. In Proc. North American Conference on Logic Programming (NACLP'89), pages 604–625, 1989.

    Google Scholar 

  17. P. M. Dung and K. Kanchansut. A natural semantics of logic programs with negation. In Proc. of the Ninth Conf. on Foundations of Software Technology and Theoretical Computer Science, pages 70–80, 1989.

    Google Scholar 

  18. B. Freitag, H. Schütz, and G. Specht. LOLA — a logic language for deductive databases and its implementation. In Proc. 2nd International Symposium on Database Systems for Advanced Applications (DASFAA '91), Tokyo, Japan, April 2–4, 1991, pages 216–225, 1991.

    Google Scholar 

  19. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. A. Kowalski and K. A. Bowen, editors, Logic Programming, Proc. of the 5th Int. Conf. and Symp., pages 1070–1080, Cambridge, Mass., 1988. MIT Press.

    Google Scholar 

  20. D. B. Kemp, D. Srivastava, and P. J. Stuckey. Bottom-up evaluation and query optimization of well-founded models. Theoretical Computer Science, 146:145–184, 1995.

    Article  Google Scholar 

  21. W. Marek and M. Truszczynski. Autoepistemic logic. JACM, 38(3):588–619, 1991.

    Article  Google Scholar 

  22. S. Morishita. An alternating fixpoint tailored to magic programs. In Proc. of the 12th ACM Symp. on Principles of Database Systems (PODS'93), pages 123–134, 1993.

    Google Scholar 

  23. K. Sagonas, T. Swift, and D. S. Warren. XSB as an efficient deductive database engine. In R. T. Snodgrass and M. Winslett, editors, Proc. of the 1994 ACM SIGMOD Int. Conf. on Management of Data (SIGMOD'94), pages 442–453, 1994.

    Google Scholar 

  24. C. Sakama and H. Seki. Partial deduction of disjunctive logic programs: A declarative approach. In Fourth Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR'94), LNCS. Springer, 1994.

    Google Scholar 

  25. H. Seki. Unfold/fold transformation of general logic programs for the well-founded semantics. JLP, 16(1):5–23, 1993.

    Google Scholar 

  26. V. S. Subrahmanian and C. Zaniolo. Relating stable models and AI planning domains. In L. Sterling, editor, Logic Programming, Proc. of the Twelfth Int. Conf. on Logic Programming (ICLP'95), pages 233–247. MIT Press, 1995.

    Google Scholar 

  27. A. Van Gelder. The alternating fixpoint of logic programs with negation. In Proc. of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'89), pages 1–10, 1989.

    Google Scholar 

  28. A. Van Gelder. The alternating fixpoint of logic programs with negation. Journal of Computer and System Sciences, 47(1):185–221, 1993.

    Article  Google Scholar 

  29. A. Van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. JACM, 38:620–650, 1991.

    Google Scholar 

  30. U. Zukowski and B. Freitag. Adding flexibility to query evaluation for modularly stratified databases. In Proc. of the 1996 Joint International Conference and Symposium on Logic Programming (JICSLP'96). September 2–6, 1996, Bonn, Germany, pages 304–319. MIT Press, 1996.

    Google Scholar 

  31. U. Zukowski and B. Freitag. The differential fixpoint of general logic programs. In D. Boulanger, U. Geske, F. Giannotti, and D. Seipel, editors, Proc. of the Workshop DDLP'96 on Deductive Databases and Logic Programming. 4th Workshop in conjunction with JICSLP'96. Bonn, Germany, September 2–6, 1996, volume 295 of GMD-Studien, pages 45–56, St. Augustin, Germany, 1996. GMD.

    Google Scholar 

  32. U. Zukowski, B. Freitag, and S. Brass. Transformation-based bottom-up computation of the well-founded model. Technical Report MIP-9620, Universität Passau, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Universität Hildesheim, Marienburger Platz 22, D-31141, Hildesheim, Germany

    Stefan Brass

  2. Fakultät für Mathematik und Informatik, Universität Passau, D-94030, Passau, Germany

    Ulrich Zukowski & Burkhard Freitag

Authors
  1. Stefan Brass
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ulrich Zukowski
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Burkhard Freitag
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jürgen Dix Luís Moniz Pereira Teodor C. Przymusinski

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Brass, S., Zukowski, U., Freitag, B. (1997). Transformation-based bottom-up computation of the well-founded model. In: Dix, J., Pereira, L.M., Przymusinski, T.C. (eds) Non-Monotonic Extensions of Logic Programming. NMELP 1996. Lecture Notes in Computer Science, vol 1216. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023807

Download citation

  • DOI: https://doi.org/10.1007/BFb0023807

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-62843-9

  • Online ISBN: 978-3-540-68702-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation