Konstantinos Sagonas, Terrance Swift, David S. Warren  Home/Search
Context Related
Links: ACM DBLP | sunysb.edu/~tswift/we...sigmod94.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sunysb.edu/~tswift...terrypapers (more) Homepages: K.Sagonas |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes the XSB system, and its use as an in-memory deductive database engine. XSB began from a Prolog foundation, and traditional Prolog systems are known to have serious deficiencies when used as database systems. Accordingly, XSB has a fundamental bottom-up extension, introduced through tabling (or memoing) [5], which makes it appropriate as an underlying query engine for deductive database systems. Because it eliminates redundant computation, the tabling extension makes XSB... (Update)
Cited by: More
Automated Trust Establishment in Open Systems - Yu (2003) (Correct)
Supporting Structured Credentials and Sensitive - Policies Through Interoperable (Correct)
Towards A Formalization Of Disease-Specific.. - Gupta, Ludäscher.. (2003) (Correct)
Similar documents (at the sentence level): More
72.9%: XSB as an Efficient Deductive Database Engine - Sagonas (1994) (Correct)
16.4%: Efficiently Implementing SLG Resolution: - Swift, Warren (1994) (Correct)
13.1%: XSB: An Overview of its Use and Implementation - Sagonas, Swift, Warren (1993) (Correct)
Active bibliography (related documents): More All
1.0: Efficient Evaluation of Normal Logic Programs - Swift (1994) (Correct)
0.3: Analysis of SLG-WAM Evaluation of Definite Programs - Swift, Warren (Correct)
0.3: Tabled Logic Programs: Principles, Practice and.. - Ramakrishnan.. (1996) (Correct)
Similar documents based on text: More All
0.8: The XSB System Version 2.2 Volume 1: Programmer's Manual - Sagonas, Swift, Warren.. (2000) (Correct)
0.8: The XSB Programmer's Manual Version 1.7.1 - Sagonas, Swift, Warren, Freire.. (1994) (Correct)
0.6: Tabling for Non-monotonic Programming - Swift (1999) (Correct)
Related documents from co-citation: More All
29: Tabled Evaluation with Delaying for General Logic Programs - Chen, Warren - 1996
24: Foundations of Logic Programming (context) - Lloyd - 1987
23: The Stable Model Semantics for Logic Programming - Gelfond - 1988
BibTeX entry: (Update)
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. http://citeseer.ist.psu.edu/article/sagonas94xsb.html More
@inproceedings{ sagonas94xsb,
author = "Konstantinos Sagonas and Terrance Swift and David S. Warren",
title = "{XSB} as an efficient deductive database engine",
pages = "442--453",
year = "1994",
url = "citeseer.ist.psu.edu/article/sagonas94xsb.html" }
Citations (may not include all citations):395 An abstract Prolog instruction set (context) - Warren - 1983
312 The well-founded semantics for general logic programs - van Gelder, Ross et al. - 1991 ACM DBLP
125 The well-founded semantics coincides with the three-valued s.. - Przymusinski - 1989 DBLP
101 HiLog: A foundation for higher-order logic programming - Chen, Kifer et al. - 1993
73 Modular stratification and magic sets for datalog programs w.. (context) - Ross - 1990 ACM DBLP
47 IEEE Transactions on Knowledge and Data Engineering (context) - Chimenti, Gamboa et al. - 1990
40 Implementation of logical query languages for databases (context) - Ullman - 1985 ACM DBLP
39 Design and implementation of the Glue-Nail database system - Derr, Morishita et al. - 1993
38 Computation of stable models and its integration with logica.. - Chen, Warren
38 A survey of research on deductive database systems - Ramakrishnan, Ullman - 1994
31 An abstract machine for SLG resolution: definite programs (context) - Swift, Warren - 1994 DBLP
26 An alternating fixpoint tailored to magic programs (context) - Morishita - 1993 ACM DBLP
25 Design overview of the Aditi deductive database system (context) - Vaghani, Ramamohanorao et al. - 1991 ACM DBLP
25 CORAL: Control (context) - Ramakrishnan, Srivastava et al. - 1992
21 Argument reduction through factoring (context) - Naughton, Ramakrishnan et al. - 1989
20 The XSB Programmer's Manual (context) - Sagonas, Swift et al. - 1993
19 Towards effective evaluation of general logic programs - Chen, Warren - 1993
16 Multistage indexing algorithms for speeding Prolog execution (context) - Chen, Ramakrishnan et al. - 1992
15 Efficient implementation of general logical queries (context) - Chen, Swift et al.
14 the power of alexandrer templates (context) - Seki - 1989
10 Memoing for logic programs with applications to abstract int.. (context) - Warren - 1992
6 Backchain iteration: Towards a practical inference method th.. (context) - Walker - 1993
6 XSB performance measurement (context) - Swift, Warren - 1993
5 Aquarius Prolog (context) - van Roy - 1992
4 A new user's impressions on LDL++ and CORAL (context) - Hsu, Zaniolo - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.sunysb.edu/~tswift/terry-papers.html): More
Beyond Depth-First: Improving Tabled Logic Programs through.. - Freire (1996) (Correct)
Efficient Model Checking Using Tabled Resolution - Ramakrishna, Ramakrishnan.. (1997) (Correct)
XSB: A System for Efficiently Computing Well-Founded.. - Rao, Sagonas, Swift.. (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC