article

Free access

A model and an architecture for a relational knowledge base

Authors:

H. Yokota,

H. ItohAuthors Info & Claims

ACM SIGARCH Computer Architecture News, Volume 14, Issue 2

Pages 2 - 9

https://doi.org/10.1145/17356.17357

Published: 01 May 1986 Publication History

PDF eReader

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.

References

[1]

Boral, H., DeWitt, D. J., Friedland, D., Jarrell, N. F., Wilkinson, W. K., Implementation of the Database Machine DIRECT, IEEE Transactions on Software Engineering, Vol. SE-8, No. 6, November 1982.

Digital Library

Google Scholar

[2]

Chang, C. L., Lee, R. C. T., Symbolic Logic and Mechanica/ Theorem Proving, Academic Press, 1973.

Digital Library

Google Scholar

[3]

Gallaire, H., Minker, J., and Nicolas J.-M. Logic and Databases: A Deductive Approach. Computer Surveys, Vol. 16, No. 2, June 1984.

Digital Library

Google Scholar

[4]

Kakuta, T., Miyazaki, N., Shibayama, S., Yokota, H., and Murakami, K. The Design and Implementation of Relational Database Machine Delta, Proceedings of the International Workshop on Database Machines '85, March 1985.

Crossref

Google Scholar

[5]

Kitalcami, H., Kunifuji, S., Miyachi, T., Furukawa, K., A Methodology for Implementation of A Knowledge Acquisition system, Proceedings of the 1984 International Symposium on Logic Programming, February 1984.

Google Scholar

[6]

Kowalski R. A, Logic and Semantic Networks, Communication of the ACM, Vol. 22, No. 3, pp.185-192, March 1979.

Digital Library

Google Scholar

[7]

Koyama, H., Tanaka, H., Definite Clause Knowledge Representation, Proceedings of the Logic Programming Conference '85, pp.95-106, July 1985, in Japanese.

Google Scholar

[8]

Miyachi, T., Kunifuji, S., Kitakami, H., Furukawa, K., Takeuchi, A., Yokota, H., A Knowledge Assimilation Method for Logic Database, Proceedings of the 1984 International Symposium on Logic Programming, February 1984.

Google Scholar

[9]

Sabbatel, G. B., Dang, W., Ianeselli, J. C. Nguyen, G. T., Unification for a Prolog Data Base Machine, Proceedings of the Second International Logic Programming Conference, pp207-217 July 1984.

Google Scholar

[10]

Tanaka, Y., A Multiport Page-Memory Architecture and A Multiport Disk-Cache System, New Generation Computing 2, pp241-260, 1984.

Google Scholar

[11]

Yasuura, H., Ohkubo, M., Yajima, S., Ronrigata Gengo no Tan'itulm Sousa no tameno Ha-douea Arugorizumu (A Hardware Algorithm for Unification in Logic Programming Language), Technical Report of IECE, EC84-67, ppg-20, March 1985, in Japanese.

Google Scholar

[12]

Yokota, H., Kunifuji, S., Kakuta, T., Miyazaki, N., Shigeki, S., Murakami, K., An Enhanced Inference Mechanism for Generating Relational Algebra Queries, Proceedings of the 3rd ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, pp.229-238, April, 1984.

Digital Library

Google Scholar

[13]

Yokota, H., Sakai, K., Itoh, HI Deductive Database System based on Unit Resolution, Proceedings of the Second International Conference on Data Engineering, pp.228-235, February 1986.

Digital Library

Google Scholar

Cited By

View all

Shin DBerra P(2009)Computer architectures for logic-oriented data/knowledge bases1The Knowledge Engineering Review10.1017/S02698889000047204:01(1)Online publication date: 7-Jul-2009
https://doi.org/10.1017/S0269888900004720
Taylor H(1992)Reconciling Systems and Deductive Capabilities in Knowledge Based Systems Using Logic ProgrammingLogic Programming New Frontiers10.1007/978-94-011-2562-8_12(253-281)Online publication date: 1992
https://doi.org/10.1007/978-94-011-2562-8_12
Yokota HKitakami HHattori A(1989)Term indexing for retrieval by unification[1989] Proceedings. Fifth International Conference on Data Engineering10.1109/ICDE.1989.47231(313-320)Online publication date: 1989
https://doi.org/10.1109/ICDE.1989.47231
Show More Cited By

Index Terms

A model and an architecture for a relational knowledge base
1. Information systems
  1. Data management systems
  2. Information systems applications
    1. Decision support systems
      1. Expert systems
2. Software and its engineering
  1. Software notations and tools
    1. Compilers

Recommendations

A model and an architecture for a relational knowledge base
ISCA '86: Proceedings of the 13th annual international symposium on Computer architecture

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 ...
Modeling MongoDB with Relational Model
EIDWT '13: Proceedings of the 2013 Fourth International Conference on Emerging Intelligent Data and Web Technologies

Relational databases have been prevailing for the last two decades, with features of clear semantics and ease of use with SQL supported by the underlying theory, relational algebra. Relational databases provide good support for structural data ...
Knowledge structure, knowledge granulation and knowledge distance in a knowledge base

One of the strengths of rough set theory is the fact that an unknown target concept can be approximately characterized by existing knowledge structures in a knowledge base. Knowledge structures in knowledge bases have two categories: complete and ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGARCH Computer Architecture News

ACM SIGARCH Computer Architecture News Volume 14, Issue 2

Special Issue: Proceedings of the 13th annual international symposium on Computer architecture (ISCA '86)

May 1986

429 pages

ISSN:0163-5964

DOI:10.1145/17356

Editor:
Hideo Aiso

Issue’s Table of Contents

ISCA '86: Proceedings of the 13th annual international symposium on Computer architecture
June 1986
454 pages
ISBN:081860719X
Chairman:
Hideo Aiso

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 1986

Published in SIGARCH Volume 14, Issue 2

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
475
Total Downloads

Downloads (Last 12 months)62
Downloads (Last 6 weeks)8

Reflects downloads up to 10 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Shin DBerra P(2009)Computer architectures for logic-oriented data/knowledge bases1The Knowledge Engineering Review10.1017/S02698889000047204:01(1)Online publication date: 7-Jul-2009
https://doi.org/10.1017/S0269888900004720
Taylor H(1992)Reconciling Systems and Deductive Capabilities in Knowledge Based Systems Using Logic ProgrammingLogic Programming New Frontiers10.1007/978-94-011-2562-8_12(253-281)Online publication date: 1992
https://doi.org/10.1007/978-94-011-2562-8_12
Yokota HKitakami HHattori A(1989)Term indexing for retrieval by unification[1989] Proceedings. Fifth International Conference on Data Engineering10.1109/ICDE.1989.47231(313-320)Online publication date: 1989
https://doi.org/10.1109/ICDE.1989.47231
Monoi HMorita YItoh HSakai HShibayama S(1988)Parallel control technique and performance of an MPPM knowledge base machineProceedings. Fourth International Conference on Data Engineering10.1109/ICDE.1988.105463(210-217)Online publication date: 1988
https://doi.org/10.1109/ICDE.1988.105463
Itoh HMonoi HShibayama SMiyazaki NYokota HKonagaya A(1988)Knowledge Base System in Logic Programming ParadigmFifth Generation Computer Systems 198810.1007/978-1-4471-3156-4_3(37-53)Online publication date: 1988
https://doi.org/10.1007/978-1-4471-3156-4_3
Morita YYokota HNishida KItoh H(1986)Retrieval-By-Unification Operation on a Relational Knowledge BaseProceedings of the 12th International Conference on Very Large Data Bases10.5555/645913.671451(52-59)Online publication date: 25-Aug-1986
https://dl.acm.org/doi/10.5555/645913.671451
Itoh H(1986)Research and Development on Knowledge Bases Systems at ICOTProceedings of the 12th International Conference on Very Large Data Bases10.5555/645913.671310(437-445)Online publication date: 25-Aug-1986
https://dl.acm.org/doi/10.5555/645913.671310
Kiyoki YKato KMasuda TWinkler SStone H(1986)A relational database machine based on functional programming conceptsProceedings of 1986 ACM Fall joint computer conference10.5555/324493.325004(969-978)Online publication date: 2-Nov-1986
https://dl.acm.org/doi/10.5555/324493.325004

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations