DBScholar

Back to papers

XSB as a Deductive Database

Summary: XSB is an in-memory DDB engine extending Prolog with SLG tabling and HiLog for higher-order knowledge. Engine-level bottom-up declarativity, modular tabling with well-founded negation, and advanced indexing (hash/transformational) enable fast recursive queries and less recomputation. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID
2834
Venue
SIGMOD
Year
1994
Pagerank
-
Overall Rank
14,310 | 1.83%
DOI
10.1145/191839.191970

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

BibTeX Citation

@inproceedings{sagonas_sigmod94,
        title = {{XSB as a Deductive Database}},
        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.191970},
        url = {https://dl.acm.org/doi/10.1145/191839.191970},
        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 0 of 0 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank Cited Paper Year Venue Pagerank
Previous Page 1 / 1 Next

Semantically Similar Papers