The design and implementation of a knowledge base management system

A new data model and an approach for knowledge base management systems (KBMSs) are presented in order to integrate a relation model with term-rewriting techniques. An efficient KBMS has been designed and implemented with C and ORACLE, and has the following features: (1) multi-user-languages on the extensions of SQL, QBE, and PROLOG-like; (2) data/knowledge definition, representation and manipulation; (3) reasoning and explaining; (4) security and integrity check; and (5) optimal recursive processing.<
>