XSB as an Efficient Deductive Database Engine
Summary: XSB uses tabling to Prolog for an in-memory deductive DB, enabling stratified Datalog with polynomial data complexity. HiLog modeling, improved indexing, and a WAM-backed implementation deliver performance; non-stratified programs use a meta-interpreter. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. Konstantinos Sagonas (State University of New York at Stony Brook)
- 2. Terrance Swift (State University of New York at Stony Brook)
- 3. David S. Warren (State University of New York at Stony Brook)
BibTeX Citation
@inproceedings{sagonas_sigmod94,
title = {{XSB as an Efficient Deductive Database Engine}},
author = {Sagonas, Konstantinos and Swift, Terrance and Warren, David S.},
series = {{SIGMOD} '94},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
publisher = {Association for Computing Machinery},
doi = {10.1145/191839.191927},
url = {https://dl.acm.org/doi/10.1145/191839.191927},
year = {1994}
}
Incoming Citations (Sorted by Pagerank)
Showing 0 of 0 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 6 of 6 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,714 | Modular Stratification and Magic Sets for DATALOG Programs with Negation | 1990 | PODS | 9.9404301e-05 |
| 2,194 | CORAL—Control, Relations and Logic | 1992 | VLDB | 8.9724143e-05 |
| 3,430 | Design and Implementation of the Glue-Nail Database System | 1993 | SIGMOD | 7.4202634e-05 |
| 6,620 | An alternating fixpoint tailored to magic programs | 1993 | PODS | 5.8212982e-05 |
| 6,621 | On the Power of Alexander Templates (Extended Abstract) | 1989 | PODS | 5.8212982e-05 |
| 13,049 | Query Evaluation under the Well Founded Semantics (Extended Abstract) | 1993 | PODS | 5.093636e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 357 | An Optimizing Prolog Front-End to a Relational Query System | 1984 | SIGMOD |
| 2 | 6,608 | A Superjoin Algorithm for Deductive Databases | 1986 | VLDB |
| 3 | 13,160 | A Data/Knowledge Base Management Testbed and Experimental Results on Data/Knowledge Base Query and Update Processing | 1988 | SIGMOD |
| 4 | 2,783 | Making Deductive Database a Practical Technology: a step forward | 1990 | SIGMOD |
| 5 | 13,105 | A Non-deterministic Deductive Database Language | 1991 | SIGMOD |
| 6 | 7,885 | IDLOG: Extending the Expressive Power of Deductive Database Languages | 1990 | SIGMOD |
| 7 | 403 | Querying Object-Oriented Databases | 1992 | SIGMOD |
| 8 | 14,368 | The Complexity of Reusing and Modifying Rulebases | 1992 | PODS |
| 9 | 13,083 | Implementing Deductive Databases by Linear Programming | 1992 | PODS |
| 10 | 14,310 | XSB as a Deductive Database | 1994 | SIGMOD |