CLARE—a Prolog database machine

ABSTRACT

The CLAuse Retrieval Engine (CLARE) is a coprocessor system which based on two-stage filtering, for handling large sets of disc resident clauses in Prolog database applications. The overall architecture and the timing measurements of the first stage CLARE hardware are reported. The timing measurements shows that the first stage CLARE hardware can perform search operations on data transferring at a rate up to 4.5 million double bytes per second.

REFERENCES

• 1: M. H. Williams , P. A. Massey , J. A. Crammond, Benchmarking Prolog for database applications, Prolog and databases: implementations and new directions, Halsted Press, New York, NY, 1989
• 2: Wong, K.F. and Williams, M.H., "Index Matching Hardware for Selective Clause Retrieval in Large Prolog Knowledge Bases", December, 1988. (submitted to lEE Computer & Control journal U.K.)
• 3: K.-F. Wong , M. H. Williams, A type driven hardware engine for Prolog clause retrieval over a large knowledge base, Proceedings of the 16th annual international symposium on Computer architecture, p.211-222, April 1989, Jerusalem, Israel
• 4: K.-F. Wong, Comments on :20A comparison of concatenated and superimposed code word surrogate files for very large data/knowledge bases, Information Processing Letters, v.33 n.1, p.45-52, Oct. 1989 [doi>10.1016/0020-0190(89)90186-5]
• 5: Ramamohanarao, K. and Shepherd, J., "A Superimposed Codeword Indexing Scheme for Very Large Prolog Databases". Technical Report 85/17. Dept. of C.S., University of Melbourne, Australia, 1985.

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.3 Languages

          Nouns: Prolog

Additional Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
  H.3 INFORMATION STORAGE AND RETRIEVAL
      H.3.1 Content Analysis and Indexing
          Subjects: Indexing methods
      H.3.3 Information Search and Retrieval
          Subjects: Search process

General Terms:
Algorithms, Design