Implementation of a deductive database system using SQLBase

Microprocessors and Microsystems

Volumn 20, Issue 6, 1997, Pages 317-323

  Keong, Chan Chee ^a   Yin, Chen ^a  

^a NANYANG TECHNOLOGICAL UNIVERSITY   (Singapore)

Author keywords

Deductive databases; Horn clauses; Logic programming; Loose coupling; Tight coupling

Indexed keywords

INFERENCE ENGINES; LOGIC PROGRAMMING; PROGRAM COMPILERS; PROLOG (PROGRAMMING LANGUAGE);

LOOSE COUPLING; STRUCTURED QUERY LANGUAGES (SQL); TIGHT COUPLING; WARREN ABSTRACT MACHINE (WAM);

DATABASE SYSTEMS;

EID: 0031073442     PISSN: 01419331     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0141-9331(96)01097-6     Document Type: Article

References (24)

1. Miguel Nussbaum, Building a deductive database, Ablex Pub. Corp., Norwood, N.J., 1992.
2. L. Veille and A. Lefebvre, Deductive database systems and the DedGin* query evaluator, in Proc. Seventh British National Conf. on Databases (BNCOD 7), 1989, pp. 185-208.
3. T.-W. Ling and C.-H. Goh, Yet another deductive database implementation, Dept. of Information Systems and Computer Science, National University of Singapore, 1990.
4. J. Bocca, M. Dahmen, M. Freeston, G. Macartney and P.J. Pearson, KB-PROLOG, a PROLOG for very large knowledge bases, in Proc. Seventh British National Conf. on Databases (BNCOD 7) 1989, pp. 163-184.
5. K. Morris, J.D. Ullman and A. Van Gelder, Design overview of the NAIL! system, in Proc. Third Int. Conf. on Logic Programming, 1986, pp. 554-568.
6. R. Krishnamurthy, S.A. Naqvi and C. Zaniola, Database Transactions in LDL, in Proc. North American Conf. 1989 on Logic Programming, 1989, pp. 795-815.
7. J. Bocca, EDUCE-A marriage of convenience: Prolog and a relational DBMS, in Proc. '86 SLP Third IEEE Symposium on Logic Programming, 1986.
8. J. Bocca, EDUCE*-A logic programming system for implementing KBMS's, in Proc. Seventh British National Conf. on Databases (BNCOD 7), 1989, pp. 117-145.
9. K. Ramamohanarao, The Aditi deductive database system, in Proc. Second Int. Symp. on Database Systems for Advanced Applications, Tokyo, Japan, April 2-4, 1991, 1992, pp. 201-208.
10. J.D. Ullman, Principles of Database and Knowledge-Base-Systems. Vols. 1 & 2, Computer Science press, Rockville, MD., 1988-1989.
11. J.W. Lloyd, Foundations of Logic Programming, 2nd edn., Springer-Verlag, 1987.
12. Gareth Williams, The TRACE Club: Expert systems and Databases. In Prolog and Databases: implementations and new directions, editors: Peter M.D. Gray and Robert J. Lucas, E. Horwood, Chichester, 1988.
13. J.D. Newmarch, Logic Programming: Prolog and Stream Parallel languages, Prentice Hall, New York, 1990.
14. A. Krall, Implementation of a high-speed Prolog interpreter, in Proc. SIGPLAN 87 Symp. on Interpreters and Interpretive Techniques, 1987, pp. 125-131.
15. Microsoft Visual C + +: C language references, Microsoft Press, 1994.
16. H. Aïu-Kaci, Warren's abstract machine: a tutorial reconstruction, MIT Press, Cambridge, MA, 1991.
17. Patrice Boizumault, The implementation of Prolog, Princeton University Press, Princeton, N.J., 1993.
18. R.M. Colomb, Implementing persistent Prolog: large, dynamic, shared procedures in Prolog, Ellis Horwood, New York, 1990.
19. A. Mariën and B. Demoen, On the Management of Choicepoint and Environment Frames in the WAM, in Proc. North American Conference 1989 on Logic Programming, 1989, pp. 1030-1047.
20. Oded Shmueli and Shalom Tsur, Incremental Re-evaluation of LDL Queries, In Proceedings of the Seventh International Conference on Logic Programming, pages 99-111, 1990.
21. SQLBase, Version 5.0. C API Reference Manual, Gupa Technologies, 1993.
22. S.K. Das and M.H. Williams, Integrity checking methods in deductive databases: a comparative evaluation, in Proc. Seventh British National Conf. on Databases (BNCOD 7), 1989, pp. 85-116.
23. L. Griefahn and S. Lüttringhaus, Top-down integrity constraint checking for deductive databases, in Proc. Seventh Int. Conf. on Logic Programming, 1990, pp. 130-144.
24. R. Seljée, A new method for integrity constraint checking in deductive databases, Data Knowl. Eng. 15 (1995) 63-102.