Hostname: page-component-77f85d65b8-6c7dr Total loading time: 0 Render date: 2026-04-17T16:44:09.076Z Has data issue: false hasContentIssue false
  • English
  • Français

Computer architectures for logic-oriented data/knowledge bases1

Published online by Cambridge University Press:  07 July 2009

Donghoon Shin  and
P. Bruce Berra
Donghoon Shin
Affiliation:
School of Computer and Information Science, Syracuse University, Syracuse, NY 13244, USA
P. Bruce Berra
Affiliation:
Dept of Computer and Electrical Engineering, Syracuse University, Syracuse, NY 13244, USA
Get access Rights & Permissions [Opens in a new window]

Abstract

Knowledge base management systems (KBMS) are designed to efficiently retrieve and manipulate large shared knowledge bases. A significant subclass of KBMS consisting of a combination of logic programming and database is often called a logic oriented knowledge base system (LOKBS). These systems must possess considerable processing and I/O capabilities so many approaches have been taken to the improvement of their performance. In this paper we review the current performance enhancing hardware approaches for LOKBS. We include parallelism, both in processing and I/O, algorithms, caching, and physical data organizations.

Information

Type
Research Article
Information
The Knowledge Engineering Review , Volume 4 , Issue 1 , March 1989 , pp. 1 - 29
Copyright
Copyright © Cambridge University Press 1989

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable

References

Abe, S, Bandoh, T, Yamaguchi, S, Kurosawa, K and Kiriyama, K, 1987. “High performance Integrated Prolog Processor IPP” In: Proceedings of the 14th Annual Symposium on Computer Architecture, pp 100–107.CrossRefGoogle Scholar
Aho, AV and Ullman, JD, 1979. “Universality of data retrieval languages” In: ACM Symposium on Principles of Programming Languages, pp 110–117CrossRefGoogle Scholar
Berra, PB, Chung, SM and Hachem, N, 1987. “Computer architecture for a surrogate file to a very large data/knowledge base”, IEEE Computer 20(3) pp 25–32CrossRefGoogle Scholar
Berra, PB and Oliver, E, 1979. “The role of associative array processors in database machine architecture”, IEEE Computer 12(3) pp 53–61CrossRefGoogle Scholar
Boral, H and DeWitt, DJ, 1983. “Database machines: An idea whose time has passed? A critique of the future of database machines” In: Proceedings of 3rd International Workshop on Database Machines, pp 166–187CrossRefGoogle Scholar
Boral, H and Redfield, S, 1985. “Database machine morphology” In: Proceedings of 11th International Conference on VLDB, pp 59–71Google Scholar
Comer, D, 1979. “The ubiquitous B-tree”, ACM Computing Surveys 11(2) pp 121–137CrossRefGoogle Scholar
Conery, JS, 1987. Parallel Execution of Logic Programs, Kluwer Academic Publishers: Boston, MassachusettsCrossRefGoogle Scholar
Dadam, P et al. , 1986. “A DBMS prototype to support extended NF 2 relations: an integrated view on flat tables and hierarchies” In: Proceedings of SIGMOD '86, pp 356–367CrossRefGoogle Scholar
DeWitt, DJ and Gerber, R, 1985. “Multiprocessor hash-based join algorithms” In: Proceedings of the 11th International Conference on Very Large Data Bases, pp 151–164Google Scholar
Dorby, T, 1987. “A coprocessor for AI; LISP, Prolog and data bases” In: COMPCON Spring '87, pp 396–402Google Scholar
Dorby, TP, Despain, AM and Patt, YN, 1985. “Performance studies of a Prolog machine architecture” In: Proceedings of the 12th Symposium on Computer Architectures, pp 180–190CrossRefGoogle Scholar
Dorby, TP, Patt, YN and Despain, AM, 1984. “Design decisions influencing the microarchitecture for a Prolog machine” In: Micro 17 Proceedings, pp 217–231CrossRefGoogle Scholar
Dwork, C, Kanellakis, P and Mitchell, J, 1984. “On the sequential nature of unification” Journal of Logic Programming 1 pp 35–50CrossRefGoogle Scholar
Fagin, BS and Despain, AM, 1987. “Performance studies of a parallel Prolog architecture” In: Proceedings of the 14th Annual Symposium on Computer Architecture, pp 108–116CrossRefGoogle Scholar
Fuchi, K and Furukawa, K, 1986. “The role of logic programming in the fifth generation computer project” In: Proceedings of the Third International Conference on Logic Programming, pp 1–24CrossRefGoogle Scholar
Gonzalez-Rubio, R, Rohmer, J, Bradier, A and Bergsten, B, 1987. “DDC: a deductive database machine” In: Proceedings of the Fifth International Workshop on Database Machines, pp 116–129CrossRefGoogle Scholar
Hahne, K, Pilgram, P, Schuett, D, Schweppe, H and Wolf, G, 1985. “Associative processing in standard and deductive databases” In: DeWitt, DJ and Boral, H, eds, Database Machines—Fourth International Workshop, New York: Springer-Verlag, pp 1–12Google Scholar
Harland, J and Jaffar, J, 1987. “On parallel unification for Prolog” New Generation Computing 5 pp 259–279CrossRefGoogle Scholar
Hillyer, BK and Shaw, DE, 1986. “Execution of OPS5 production systems on a massively parallel machine” Journal of Parallel and Distributed Computing 3 pp 236–268CrossRefGoogle Scholar
Hwang, K, Ghosh, J and Chowkwanyun, R, 1987. “Computer architectures for artificial intelligence processing” IEEE Computer 20(1) pp 19–27CrossRefGoogle Scholar
Itoh, H et al. , 1988. “Knowledge base system in logic programming paradigm” In: Proceedings of the 1988 International Conference on Fifth Generation Computer SystemsCrossRefGoogle Scholar
Kellog, C, 1986. “From data management to knowledge management” IEEE Computer 19(1) pp 75–84CrossRefGoogle Scholar
Kim, MY, 1986. “Synchronized disk interleaving” IEEE Transactions on Computers C-35(11) pp 978–988CrossRefGoogle Scholar
Li, D, 1984 Prolog Database System, London: Research Studies PressGoogle Scholar
Li, G and Wah, BW, 1985. “MANIP-2: a multicomputer architecture for evaluating logic programs” In: Proceedings of the International Conference on Parallel Processing, pp 123–130Google Scholar
Lipovski, GJ, 1978. “Semantic paging on intelligent disks” In: Proceedings of the Fourth Workshop on Computer Architecture for Non-Numeric Processing, pp 30–34CrossRefGoogle Scholar
Lipovski, GJ and Hermenegildo, MV, 1985. “B-LOG: a branch and bound methodology for the parallel execution of logic programs” In: Proceedings of International Conference on Parallel Processing,, pp 123–130Google Scholar
Nakazaki, R et al. , 1985. “Design of a high-speed Prolog machine (HPM)” In: Proceedings of the 12th International Symposium on Computer Architectures, pp 191–197CrossRefGoogle Scholar
Nievergelt, J, Hinterberger, H and Sevcik, KC, 1984. “The grid file: an adaptable, symmetric multikey file structure” ACM Transactions on Database Systems 9(1) pp 38–71CrossRefGoogle Scholar
Noye, J and Syre, J-C, 1987. “ICM3: design and evaluation of an inference crunching machine” In: Proceedings of the 5th International Workshop on Database Machines, pp 1–14CrossRefGoogle Scholar
Ozkarahan, EA and Bozsahin, CH, 1988. “Join strategies using data space partitioning” New Generation Computing 6 pp 19–39CrossRefGoogle Scholar
Qadah, GZ, 1985. “Database machines: a survey” In: National Computer Conference, pp 212–223Google Scholar
Ramamohanarao, K and Shepherd, J, 1986. “A superimposed codeword indexing scheme for very large Prolog databases” In: Proceedings of the 3rd International Conference on Logic Programming, pp 569–576CrossRefGoogle Scholar
Ribler, RL, 1987. “The integration of the Xenologic X-l artificial intelligence coprocessor with general purpose computers” In: COMPCON Spring '87, pp 403–407Google Scholar
Robinson, P, 1985. “The SUM: an AI coprocessor” Byte 10(6) pp 169–180Google Scholar
Roth, MA, Korth, HF and Batory, DS, 1987. “SQL/NF: a query language for ⌝1NF relational databases” Information Systems 132(1) pp 99–114CrossRefGoogle Scholar
Sabbatel, GB and Dang, W, “Search strategy for Prolog data bases” In: Proceedings of the 5th International Workshop on Database Machines, pp 654–667Google Scholar
Sakai, H et al. , 1986. “Development of Delta as a first step to a knowledge base machine” In: Sood, AK and Qureshi, AH, eds, Database Machines New York: Springer-Verlag, pp 159–181CrossRefGoogle Scholar
Schneider, H-A and Dilger, W, 1986. “Information processing with associative processors” In: Proceedings of the Conference on Algorithms and Hardware for Parallel Processing, pp 222–229CrossRefGoogle Scholar
Shaw, D, 1985. “Relational query processing on the Non-Von supercomputer” In: Kim, W, Reiner, DS and Batory, DS, eds, Query Processing in Database Systems, New York: Springer-Verlag, pp 248–258CrossRefGoogle Scholar
Shin, D and Berra, PB, 1989. “Surrogate file approach to managing first order terms in secondary storage” In: Proceedings of the SPIE Conference on Applications of AI VII, pp 1051–1062CrossRefGoogle Scholar
Shobatake, Y and Aiso, H, 1986. “A unification processor based on a uniformly structured cellular hardware” In: Proceedings of the 13th International Symposium on Computer Architectures, pp 140–148Google Scholar
Stolfo, SJ, 1987. “Initial performance of the DADO 2 prototype” IEEE Computer 20(1) pp 75–83CrossRefGoogle Scholar
Stone, HS, 1987. “Parallel querying of large databases: a case study” IEEE Computer 20(10) pp 11–21CrossRefGoogle Scholar
Stormon, CD, 1986. An Associative Processor and Its Application to Logic Programming Computation Technical Report 8611, Syracuse University-CASE CenterGoogle Scholar
Su, SYW, 1988. Database Computers—Principles, Architectures, and Techniques, New York: McGraw-HillGoogle Scholar
Su, SYW and Emam, A, 1978. “CASDAL: CASSM's DAta Language” ACM Transations on Database Systems 3(1) pp 57–91CrossRefGoogle Scholar
Su, SYW, Nguyen, LH, Emam, A and Lipovski, GJ, 1979. “The architectural features and implementation techniques of the multiceli CASSM” IEEE Transactions on Computers C–28(6) pp 430–445CrossRefGoogle Scholar
Tanabe, M and Aiso, H, 1987. “The unification processor by pipeline method” In: Proceedings of the 5th International Workshop on Database Machines, pp 668–680Google Scholar
Tanaka, Y, 1986. “Massive parallel database computer MPDC and its control schemes for massively parallel processing” In: Sood, AK and Qureshi, AH, eds, Database Machines, New York: Springer-Verlag, pp 127–158CrossRefGoogle Scholar
Tanaka, Y, 1984. “A multiport page-memory architecture and a multiport disk-cache system” New Generation Computing 2 pp 241–260CrossRefGoogle Scholar
Taylor, S et al. , 1984. “Logic programming using parallel associative operations” In: Proceedings of the 1984 International Symposium on Logic Programming, pp 58–68Google Scholar
Taylor, S, Maio, C, Stolfo, SJ and Shaw, DE, 1983. Prolog on the DADO Machine: A Parallel System for High-Speed Logic Programming Technical Report CUCS-46–83, Columbia UniversityGoogle Scholar
Thinking Machines Technical Report HA87–4, 1987. Connection Machine Model CM-2 Technical Summary Thinking Machines CoGoogle Scholar
Treleaven, PC and Refenes, AN, 1986. “Computer architecture for artificial intelligence” In: Proceedings of the Advance Courses on Future Parallel Computers, pp 416–492CrossRefGoogle Scholar
Vitter, JS and Simons, RA, 1986. “New classes for parallel complexity: a study of unification and other complete problems for P” IEEE Transactions on Computers C–35(5) pp 403–418CrossRefGoogle Scholar
Wada, M, Morita, Y, Yamazaki, H, Yamashita, S, Miyazaki, N and Itoh, H, 1987. ‘A superimposed code scheme for deductive databases” In: Proceedings of the 5th International Workshop on Database Machines, pp 569–582Google Scholar
Wah, BW, Li, G and Yu, CF, 1989. “The status of MANIP—a multicomputer architecture for solving combinatorial extremum-search problems” In: Proceedings of the 11th Annual Symposium on Computer Architecture, pp 56–63CrossRefGoogle Scholar
Warren, DHD, 1983. An Abstract Prolog Instruction Set Technical Report 306, SRI InternationalGoogle Scholar
Woo, NS, 1985a. “The architecture of the hardware unification unit and an implementation” In: Micro 18 Proceedings, pp 89–98CrossRefGoogle Scholar
Woo, NS, 1985b. “A hardware unification unit: design and analysis” In: Proceedings of the 12th International Symposium on Computer Architectures, pp 198–205CrossRefGoogle Scholar
Yasuura, H, 1989. “On parallel computational complexity of unification” In: Proceedings of the International Conference on Fifth Generation Computer Systems, pp 235–243Google Scholar
Yokota, H and Itoh, H, 1986. “A model and an architecture for a relational knowledge base” In: Proceedings of the 13th International Symposium on Computer Architectures, pp 2–9CrossRefGoogle Scholar
Yu, CF and Wah, BW, 1983.“Virtual memory support for branch-and-bound algorithms” In: COMPSAC, pp 618–626Google Scholar
Zaniolo, C, 1985. “The representation and deductive retrieval of complex objects” In: Proceedings of the llth International Conference on VLDB, pp 21–23Google Scholar