A model and an architecture for a relational knowledge base

Authors:
H. Yokota;H. Itoh
Affiliations:
Institute for New Generation Computer Technology (ICOT), Mita Kokusai Building, 21F, 1-4-28 Mita, Minato-ku, Tokyo 108 Japan;Institute for New Generation Computer Technology (ICOT), Mita Kokusai Building, 21F, 1-4-28 Mita, Minato-ku, Tokyo 108 Japan
Venue:
ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
Year:
1986

Citing 5
Cited 3

Logic and Databases: A Deductive Approach

ACM Computing Surveys (CSUR)
Logic and semantic networks

Communications of the ACM
Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving
An enhanced inference mechanism for generating relational algebra queries

PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Deductive Database System based on Unit Resolution

Proceedings of the Second International Conference on Data Engineering

A relational database machine based on functional programming concepts

ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Research and Development on Knowledge Bases Systems at ICOT

VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Retrieval-By-Unification Operation on a Relational Knowledge Base

VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases

Quantified Score

Hi-index	0.00

Visualization

Abstract

A relational knowledge base model and an architecture which manipulates the model are presented. An item stored in the relational knowledge base is called a term. A unification operation on terms in the relational knowledge base is used as the retrieval mechanism. The relational knowledge base architecture we propose consists of a number of unification engines, several disk systems, a control processor, and a multiport page-memory. The system has a knowledge compiler to support a variety of knowledge representations.