XSB as an efficient deductive database engine
- 24 May 1994
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in Proceedings of the 1994 ACM SIGMOD international conference on Management of data - SIGMOD '94
- Vol. 23 (2), 442-453
- https://doi.org/10.1145/191839.191927
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- HiLog: A foundation for higher-order logic programmingThe Journal of Logic Programming, 1993
- An alternating fixpoint tailored to magic programsPublished by Association for Computing Machinery (ACM) ,1993
- Query evaluation under the well-founded semanticsPublished by Association for Computing Machinery (ACM) ,1993
- Backchain iteration: Towards a practical inference method that is simple enough to be proved terminating, sound, and completeJournal of Automated Reasoning, 1993
- Memoing for logic programsCommunications of the ACM, 1992
- High-performance logic programming with the Aquarius Prolog compilerComputer, 1992
- The well-founded semantics for general logic programsJournal of the ACM, 1991
- Modular stratification and magic sets for DATALOG programs with negationPublished by Association for Computing Machinery (ACM) ,1990
- The LDL system prototypeIEEE Transactions on Knowledge and Data Engineering, 1990
- Implementation of logical query languages for databasesACM Transactions on Database Systems, 1985