MegaLog - A platform for developing Knowledge Base Management Systems

This is an overvic~w of McgaLog a platform on which nezt generation Knowledge/Dala Base Management Systems could be built. To achieve this purpose, th.e requirements of object oriented and of deductive K/DBMSs were considered in the design of MegaLog, and feaiures to support them efliciexllu were built into it. This is indeed an assertion that there is no contradiction in the fundamental principles on which ihese two types of Ii/DBMS rest. On the contrary, there are many important elements in. common, alrd those principles that are nol common arc at the very least complcmenlary lo each other. The original contributions in the destgn and implementation of MegaLog are threefold: the commott platform approach discussed above, the techniques that make possible the persistence of programs and data for shared and concurrent usage ou a large scale, and finally but not least important the use, scale and scope to wlriclr conventional lechniques in the fields of logic programming and of data bases have been applied.

[1]  Michael Stonebraker,et al.  The Implementation of Postgres , 1990, IEEE Trans. Knowl. Data Eng..

[2]  Jorge B. Bocca EDUCE: A Marriage of Convenience: Prolog and a Relational DBMS , 1986, SLP.

[3]  Kevin Wilkinson,et al.  The Iris Architecture and Implementation , 1990, IEEE Trans. Knowl. Data Eng..

[4]  Letizia Tanca,et al.  Integrating object-oriented data modelling with a rule-based programming paradigm , 1990, SIGMOD '90.

[5]  Hendrik Decker,et al.  Some Steps Towards a DBMS-based KBMS , 1986, IFIP Congress.

[6]  Jeffrey D. Ullman,et al.  A Comparison between Deductive and Object-Oriented Database Systems , 1991, DOOD.

[7]  J. Bocca Compilation of logic programs to implement very large knowledge base systems-a case study: Educe , 1990, [1990] Proceedings. Sixth International Conference on Data Engineering.

[8]  Hamid Pirahesh,et al.  Starburst Mid-Flight: As the Dust Clears , 1990, IEEE Trans. Knowl. Data Eng..

[9]  Tim Lindholm,et al.  Tutorial on the Warren abstract machine for computational logic , 1985 .

[10]  M. H. Kay,et al.  An overview of the Raleigh object-oriented database system , 1991 .

[11]  Carlo Zaniolo,et al.  The LDL System Prototype , 1990, IEEE Trans. Knowl. Data Eng..

[12]  Maurice Bruynooghe,et al.  The memory management of PROLOG implementations , 1980 .

[13]  J. Bocca EDUCE * —a logic programming system for implementing KBMS's , 1990 .

[14]  Alvin M. Despain,et al.  An Empirical Study of the Warren Abstract Machine , 1987, SLP.

[15]  Jorge B. Bocca,et al.  On Prolog DBMS Connections: A Step Forward from Educe , 1988, Prolog and Databases.

[16]  Michael Freeston,et al.  The BANG file: A new kind of grid file , 1987, SIGMOD '87.

[17]  J. Bocca,et al.  KB-PROLOG, a PROLOG for very large knowledge bases , 1990 .

[18]  Yannis E. Ioannidis,et al.  Bermuda - An Architectural Perspective on Interfacing Prolog to a Database Machine , 1988, Expert Database Conf..

[19]  Michael Freeston Grid Files for Efficient Prolog Clause Access , 1988, Prolog and Databases.

[20]  Evan Tick,et al.  Memory performance of Prolog architectures , 1987, The Kluwer international series in engineering and computer science.

[21]  H.-J Schek,et al.  Foundations of Data Organization and Algorithms: 3rd International Conference, Fodo 1989 Paris, France, June 21-23, 1989 Proceedings , 1989 .

[22]  Won Kim,et al.  Architecture of the ORION Next-Generation Database System , 1990, IEEE Trans. Knowl. Data Eng..

[23]  Michael Freeston,et al.  Advances in the Design of the BANG File , 1989, FODO.

[24]  Edward Sciore,et al.  Towards an Integrated Database-Prolog System , 1984, Expert Database Workshop.

[25]  Matthias Jarke,et al.  Access to Specific Declarative Knowledge by Expert Systems: The Impact of Logic Programming , 1983, Decis. Support Syst..

[26]  Maurice Bruynooghe A Note on Garbage-Collection in Prolog Interpreters , 1982, ICLP.

[27]  Adrian Walker,et al.  PROSQL: A Prolog Programming Interface with SQL/DS , 1984, Expert Database Workshop.

[28]  Jorge B. Bocca,et al.  Logic Languages and Relational DBMS's - The Point of Convergence , 1987, Workshop on Persistent Objects.

[29]  Jorge B. Bocca On the evaluation strategy of EDUCE , 1986, SIGMOD '86.

[30]  Carlo Zaniolo,et al.  Object-Oriented Programming in Prolog , 1984, SLP.