Abstract
KIWIS is an advanced environment for large database systems which supports knowledge-based applications and provides a seamless integration of information coming from different external sources. The system relies on a new knowledge representation and manipulation language, called LOCO, that is based on a tight integration between the object-oriented and the logic programming paradigm. The implementation of LOCO is supported both by a top-down and a bottom-up executor, allowing great flexibility and suitability for large knowledge based applications. This paper describes the basic implementation principles as well as the integrated architecture of the Basic Query Machine (BQM) — the module of KIWIS in charge of implementing the bottom-up model of execution of a class of LOCO programs. The structure of such programs (called stratified), amenable of an efficient bottom-up evalutation even in case of data intensive applications, is discussed in details. The mechanism for a strict cooperation with the top-down evaluator, is also presented.
Research partially supported by EEC in the framework of ESPRIT II project EP2424 “KIWIS”.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Apt, K., Bair, H., and Walker, A., “Towards a Theory of Declarative Knowledge”, Foundations of Deductive Databases and Logic Programming, Minker, J. ed., Morgan Kaufman, Los Altos, 1987, pp. 89–148.
Ahlsen, M., Johannesson, P., Laenens, E., Leone, N., Rullo, P., Rossi, G., Staes, F., Tarantino, L., Van Beirendonck, L., Van Cadsand, R., Van Sant, W., Van Slembroeck, J., Verdonk, B., Vermeir, D. ed., “The KIWIS Knowledge Base Management System”, in Proceedings of the third Int. conference CAiSE'91, Trondheim, Norway, may 1991.
Ahlsen, M., and Johannesson, P., “Contracts in Database Federations” in Int'l Working Conf. on Cooperating Knowledge Based Systems, Keele, Springer, 1990
Bancilhon, R., Maier, D., Sagiv, Y., and Ullman, J. D., “Magic Sets and Other Strange Ways to Implement Logic Programs”, Proceedings of the 5th ACM SIGMOD-SIGACT Sytnp. on Principles of Database Systems, 1986.
Balbin, I., and Ramamohanarao, K., “A Generalization of the Differential Approach to Recursive Query Evaluation”, Journal of Logic Programming, 4(3), pp. 259–262, 1987.
Beeri, C. and Ramakrishnan, R., “On the Power of Magic”, in Proc. 6th ACM SIGMOD-SIGACT Symp. on Principles of Databases Systems, 1987, pp. 269–283.
Gelfond, M. and Lifschitz, V. “Logic Programs with Classical Negation”, Proc.of 7th ICLP, Jerusalem, 1990, pp 579–597
Greco, S. and Saccà, D. “Negative Logic Programs”, Proc. of North American Logic Programming Conference, 1990.
KIWI Team, A System for Managing Data and Knowledge Bases, ESPRIT Project 1117, in Proceedings of the ESPRIT Technical Week, North-Holland eds., 1988
The KIWIS team, “The KIWI(s) project: past and future”, in Proc. of 6th ESPRIT Conf., 1989, pp. 594–603
Kowalski, R.A. and Sadri, F. “Logic Programs with Exceptions”, Proc. of 7th ICLP, Jerusalem, 1990, pp 598–616
Laenens, E., “Foundations of ordered logic”, Ph.D. thesis, Univ. of Antwerp, 1990.
Leone, N., Mecchia, A., Rossi, G. and Rullo, P., “Revised Design Documentation of the Basic Query Machine”, Tech. Report BQM5/91, ESPRIT project P2424 KIWIS, 1991.
Leone, N., and Rossi, G., “Well-founded Semantics and Stratification for Ordered Logic Programs”, submitted for publication, 1991
Laenens, E., Saccà, D., and Vermeir, D., “Extending Logic Programming”, Proc. of ACM SIGMOD, May 1990.
Laenens, E., and Vermeir, D., “A Fixpoint Semantics for Ordered Logic”, Journal of Logic and Computation, vol.1, N.2, december, 1990, pp. 159–185.
Laenens, E., Verdonk, B., Vermeir, D., and Saccà, D., “The LOCO Language: Towards an Integration of Logic and Object Oriented Programming”, in Proc. of the Workshop on Logic Programming and Non-Monotonic Logic, Austin, Texas, 1990, pp. 62–72
Morris, K.I., Ullman, J.D., and Van Gelder, A. “Design Overview of the Nail! system” Third Int'l Conf. on Logic Programming, pp. 554–568
Naqvi, S. and Tsur, S. A Logical Data Language for Data and Knowledge Bases, Computer Science Press, New York, 1988.
Sacca' D., Dispinzeri M., Mecchia A., Pizzuti C., Del Gracco C., Naggar P. The Advanced Database Environment of the KIWI System, Database Engineering, Vol. 10, No. 4, Dec. 87
Staes, F., Laenens, E., and Tarantino, L., “Towards a Flexible Interaction Environment for Knowledge Bases”, in Proc. of 1990 IEEE Workshop on Visual Languages and Computing, Skokie, IL, October, 3–6, 1990.
Staes, F., Tiems, B., Van Cadsand, L., D'Atri, A., and Tarantino, L., “Revised Design Documentation of the User Interface Prototype”, Tech. Report UI4/91, ESPRIT project P2424 KIWIS, 1991
Sacca, D. and Zaniolo, C., “Magic Counting Methods”, Proceedings of the 1987 ACM SIGMOD conference, 1987, pp. 49–59
Sacca, D. and Zaniolo, C., “The Generalized Counting Method of Recursive Logic Queries for Databases”, Theoretical Computer Science, no. 62, Nov. 1989, pp. 187–220.
R. Tarjan, Depth First Search and Linear Graph Algorithms, SIAM J. Cornput., Vol. 1, No. 2, 1972
Touretzky, D.S., The Mathematics of Inheritance Systems, Pitman London, 1986.
Van Gelder, A., “The Alternating Fixpoint of Logic Programs with Negation” Proc. ACM Symp. on Principles of Database Systems, 1989.
van Gelder, A., Ross, K. and Schlipf, J.S., “Unfounded Sets and Well-Founded Semantics for General Logic Programs”, Proc. ACM SIGMOD-SIGACT Symp. on Principles of Database Systems, March 1988, pp 221–230.
Vieille, L., “Recursive Axioms in Deductive Databases: The Query/Subquery Approach”, Proc. of the First Int. Conf. on Expert Database Systems, Charleston, 1986, pp. 253–268.
Vermeir, D., and Laenens, E., “Advanced Knowledge-Base Environments for Large Database Systems”, Knowledge-Based Systems, vol.3, n.4, 1990, pp. 215–220
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Leone, N., Mecchia, A., Rossi, G., Rullo, P. (1992). The basic query machine of the KIWIS system. In: Loucopoulos, P. (eds) Advanced Information Systems Engineering. CAiSE 1992. Lecture Notes in Computer Science, vol 593. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035157
Download citation
DOI: https://doi.org/10.1007/BFb0035157
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55481-3
Online ISBN: 978-3-540-47099-1
eBook Packages: Springer Book Archive