Computer architectures for logic-oriented data/knowledge bases1 | The Knowledge Engineering Review | Cambridge Core (original) (raw)

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.

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.CrossRef Google Scholar

Aho, AV and Ullman, JD, 1979. “Universality of data retrieval languages” In: ACM Symposium on Principles of Programming Languages, pp 110–117CrossRef Google 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–32CrossRef Google Scholar

Berra, PB and Oliver, E, 1979. “The role of associative array processors in database machine architecture”, IEEE Computer 12(3) pp 53–61CrossRef Google 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–187CrossRef Google Scholar

Boral, H and Redfield, S, 1985. “Database machine morphology” In: Proceedings of 11th International Conference on VLDB, pp 59–71Google Scholar

Conery, JS, 1987. Parallel Execution of Logic Programs, Kluwer Academic Publishers: Boston, MassachusettsCrossRef Google 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–367CrossRef Google 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–190CrossRef Google Scholar

Dorby, TP, Patt, YN and Despain, AM, 1984. “Design decisions influencing the microarchitecture for a Prolog machine” In: Micro 17 Proceedings, pp 217–231CrossRef Google Scholar

Dwork, C, Kanellakis, P and Mitchell, J, 1984. “On the sequential nature of unification” Journal of Logic Programming 1 pp 35–50CrossRef Google 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–116CrossRef Google 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–24CrossRef Google 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–129CrossRef Google 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–279CrossRef Google 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–268CrossRef Google Scholar

Hwang, K, Ghosh, J and Chowkwanyun, R, 1987. “Computer architectures for artificial intelligence processing” IEEE Computer 20(1) pp 19–27CrossRef Google Scholar

Itoh, H et al. , 1988. “Knowledge base system in logic programming paradigm” In: Proceedings of the 1988 International Conference on Fifth Generation Computer SystemsCrossRef Google Scholar

Kellog, C, 1986. “From data management to knowledge management” IEEE Computer 19(1) pp 75–84CrossRef Google Scholar

Kim, MY, 1986. “Synchronized disk interleaving” IEEE Transactions on Computers C-35(11) pp 978–988CrossRef Google 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–34CrossRef Google 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–197CrossRef Google 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–71CrossRef Google 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–14CrossRef Google Scholar

Ozkarahan, EA and Bozsahin, CH, 1988. “Join strategies using data space partitioning” New Generation Computing 6 pp 19–39CrossRef Google 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–576CrossRef Google 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 ⌝1_NF_ relational databases” Information Systems 132(1) pp 99–114CrossRef Google 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–181CrossRef Google 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–229CrossRef Google 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–258CrossRef Google 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–1062CrossRef Google 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–83CrossRef Google Scholar

Stone, HS, 1987. “Parallel querying of large databases: a case study” IEEE Computer 20(10) pp 11–21CrossRef Google 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–91CrossRef Google 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–445CrossRef Google 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–158CrossRef Google Scholar

Tanaka, Y, 1984. “A multiport page-memory architecture and a multiport disk-cache system” New Generation Computing 2 pp 241–260CrossRef Google 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–492CrossRef Google 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–418CrossRef Google 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–63CrossRef Google 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–98CrossRef Google Scholar

Woo, NS, 1985b. “A hardware unification unit: design and analysis” In: Proceedings of the 12th International Symposium on Computer Architectures, pp 198–205CrossRef Google 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–9CrossRef Google 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