XSB as an efficient deductive database engine

ACM SIGMOD Record

Volumn 23, Issue 2, 1994, Pages 442-453

  Sagonas, Konstantinos ^a   Swift, Terrance ^a   Warren, David S ^a  

^a STONY BROOK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; INDEXING (OF INFORMATION); POLYNOMIALS; PROLOG (PROGRAMMING LANGUAGE); QUERY LANGUAGES;

DEDUCTIVE DATABASE ENGINES; XSB SYSTEM;

DATABASE SYSTEMS;

EID: 0028446160     PISSN: 01635808     EISSN: None     Source Type: Journal    
DOI: 10.1145/191843.191927     Document Type: Article

References (25)

1. T. Chen, I.V. Ramakrishnan, and R. Ramesh. Multistage indexing algorithms for speeding Prolog execution. In JICSLP, pp. 639-653, 1992.
2. W. Chen, M. Kifer, and D.S. Warren. HiLog: A foundation for higher-order logic programming. JLP, 15(3):187-230, 1993.
3. W. Chen, T. Swift, and D.S. Warren. Efficient implementation of general logical queries. SUNY at Stony Brook, 1993. Submitted.
4. W. Chen and D.S. Warren. Query Evaluation under the Well-Founded Semantics In PODS, pp. 168-179, 1993.
5. W. Chen and D.S. Warren. Computation of stable models and its integration with logical query processing. SUNY at Stony Brook, 1993.
6. D. Chimenti, R. Gamboa, R. Krishnamurthy, S. Naqvi, S. Tsur, and C. Zaniolo. The LDL system prototype. IEEE Transactions on Knowledge and Data Engineering, 2:76-89, 1990.
7. M. Derr, S. Morishita, and G. Phipps. Design and implementation of the Glue-Nail database system. In SIGMOD 1993, pp. 147-156.
8. P. Hsu and C. Zaniolo. A new user's impressions on LDL++ and CORAL. TR, ILPS'94 Workshop on Programming with Logic Databases, 1993.
9. S. Morishita. An alternating fixpoint tailored to magic programs. In PODS, pp. 123-134, 1993.
10. J. Naughton, R. Ramakrishnan, Y. Sagiv, and J. Ullman. Argument reduction through factoring. In VLDB, pp. 173-182, 1989.
11. T.C. Przymusinski. The well-founded semantics coincides with the three-valued stable semantics. Fundamenta Informaticae, 1989.
12. R. Ramakrishnan, D. Srivastava, and S. Sudarshan. CORAL: Control, relations, and logic. In VLDB, pp. 238-249, 1992.
13. R. Ramakrishnan and J. Ullman. A survey of research on deductive database systems. University of Wisconsin, 1993. manuscript.
14. K.A. Ross. Modular stratification and magic sets for datalog programs with negation. In PODS, pp. 161-171, 1990.
15. K. Sagonas, T. Swift, and D.S. Warren. The XSB Programmer's Manual, 1993.
16. H. Seki. On the power of alexander templates. In PODS, pp. 150-159, 1989.
17. T. Swift and D.S. Warren. XSB performance measurement. SUNY at Stony Brook, 1993.
18. T. Swift and D.S. Warren. The SLG-WAM Part I: Modularly stratified programs. TR SUNY at Stony Brook, 1993. In preparation.
19. J. Ullman. Implementation of logical query languages for databases. ACM TODS, 10(3):289-321, 1985.
20. J. Vaghani, K. Ramamohanorao, D. Kemp, Z. Somogyi, and P. Stuckey. Design overview of the Aditi deductive database system. In 7th Int'l Conf. on Data Engineering, pp. 240-247, 1991.
21. A. van Gelder, K.A. Ross, and J.S. Schlipf. The well-founded semantics for general logic programs. JACM, 38(3), 1991.
22. P. van Roy and A.M. Despain. High performance logic programming with the Aquarius Prolog compiler. IEEE Computer, pp. 54-68, 1992.
23. A. Walker. Backchain iteration: Towards a practical inference method that is simple enough to be proved terminating, sound, and complete. JAR, 11(1):1-23, 1993.
24. D.S. Warren. Memoing for logic programs. CACM, 35(30):93-11, 1992.
25. D.H.D. Warren. An abstract Prolog instruction set. TR 309, SRI, 1983.