A knowledge base management system on relation model and term rewriting

Author

Huai, Jinpeng

Author_Institution

Dept. of Comput. Sci., Beijing Univ. of Aeronaut. & Astronaut., Beijing, China

fYear

1992

fDate

15-20 Jun 1992

Firstpage

102

Lastpage

108

Abstract

The author first discusses the status of knowledge base management systems (KBMSs). A new data model and an approach for knowledge base management systems is presented regarding the integration of the relational model with term rewriting techniques. Based on this model an efficient KBMS has been designed and implemented with C and ORACLE, which has the following features: multi-user languages on the extensions of SQL, QBE and PROLOG; data/knowledge definition, representation and manipulation; reasoning and explaining; security and integrity check; and optimal recursive processing

Keywords

deductive databases; entity-relationship modelling; knowledge based systems; knowledge representation; relational databases; rewriting systems; C; ORACLE; PROLOG; QBE; SQL; data model; explaining; integrity; knowledge base management systems; knowledge definition; knowledge representation; multi-user languages; optimal recursive processing; reasoning; relational databases; relational model; security; term rewriting; Computer science; Data models; Data security; Integrated circuit modeling; Knowledge based systems; Knowledge management; Knowledge representation; Logic testing; Power system management; Uncertainty;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on

Conference_Location

Capri

Print_ISBN

0-8186-2830-8

Type

conf

DOI

10.1109/SEKE.1992.227941

Filename

227941