Efficient Bottom-Up Evaluation of Logic Programs
作者： Raghu Ramakrishnan , Divesh Srivastava , S. Sudarshan
DOI: 10.1007/978-1-4615-3506-5_11
关键词:
摘要: In recent years, much work has been directed towards evaluating logic programs and queries on deductive databases by using an iterative bottom-up fixpoint computation. The resulting techniques offer attractive alternative to Prolog-style top-down evaluation in several situations. They are sound complete for positive Horn clause programs, well-suited applications with large volumes of data (facts), can support a variety extensions the standard programming paradigm.
springer.com
core.ac.uk
sci-hub.st 参考文章(110)
Jeffrey F. Naughton, Katherine A. Morris, Allen Van Gelder, Jeffrey D. Ullman, Yatin P. Saraiya, YAWN! (Yet Another Window on NAIL!). IEEE Data(base) Engineering Bulletin. ,vol. 10, pp. 28- 43 ,(1987)
Kotagiri Ramamohanarao, Zoltan Somogyi, Tim S. Leask, Jayen Vaghani, Peter J. Stuckey, James Harland, David B. Kemp, The Aditi Deductive Datebase System. logic in databases. pp. 161- ,(1993)
Peter J. Stuckey, David B. Kemp, Divesh Srivastava, Magic sets and bottom-up evaluation of well-founded models International Logic Programming Symposium 1991. pp. 337- 351 ,(1991)
Jean-Marc Kerisit, Jean-Marc Pugin, Efficient Query Answering on Stratified Databases. Future Generation Computer Systems. pp. 719- 726 ,(1988)
S. Sudarshan, Raghu Ramakrishnan, Top-Down versus Bottom-Up Revisited. ISLP. pp. 321- 336 ,(1991)
Laurent Vieille, From QSQ towards QoSaQ: Global Optimization of Recursive Queries. Expert Database Conf.. pp. 743- 778 ,(1988)
Laurent Vieille, A Database-complete Proof Procedure Based on SLD-resolution international conference on lightning protection. pp. 74- 103 ,(1987)
Peter J. Stuckey, David B. Kemp, Semantics of Logic Programs with Aggregates. International Logic Programming Symposium 1991. pp. 387- 401 ,(1991)
Weidong Chen, David Scott Warren, Michael Kifer, HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. NACLP. pp. 1090- 1114 ,(1989)
Jeffrey F. Naughton, Raghu Ramakrishnan, Bottom-Up Evaluation of Logic Programs. Computational Logic - Essays in Honor of Alan Robinson. pp. 640- 700 ,(1991)