{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T18:27:59Z","timestamp":1767637679311,"version":"3.48.0"},"reference-count":66,"publisher":"Maximum Academic Press","issue":"1","license":[{"start":{"date-parts":[[2009,7,7]],"date-time":"2009-07-07T00:00:00Z","timestamp":1246924800000},"content-version":"unspecified","delay-in-days":7433,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Knowledge Engineering Review"],"published-print":{"date-parts":[[1989,3]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>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.<\/jats:p>","DOI":"10.1017\/s0269888900004720","type":"journal-article","created":{"date-parts":[[2009,7,7]],"date-time":"2009-07-07T09:36:07Z","timestamp":1246959367000},"page":"1-29","source":"Crossref","is-referenced-by-count":0,"title":["Computer architectures for logic-oriented data\/knowledge bases"],"prefix":"10.48130","volume":"4","author":[{"given":"Donghoon","family":"Shin","sequence":"first","affiliation":[]},{"given":"P. Bruce","family":"Berra","sequence":"additional","affiliation":[]}],"member":"27968","published-online":{"date-parts":[[2009,7,7]]},"reference":[{"key":"S0269888900004720_ref040","doi-asserted-by":"crossref","unstructured":"Schneider H-A and Dilger W , 1986. \u201cInformation processing with associative processors\u201d In: Proceedings of the Conference on Algorithms and Hardware for Parallel Processing, pp 222\u2013229","DOI":"10.1007\/3-540-16811-7_174"},{"volume-title":"Database Computers\u2014Principles, Architectures, and Techniques","year":"1988","author":"Su","key":"S0269888900004720_ref047"},{"key":"S0269888900004720_ref039","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-82937-6_7"},{"key":"S0269888900004720_ref035","unstructured":"Ribler RL , 1987. \u201cThe integration of the Xenologic X-l artificial intelligence coprocessor with general purpose computers\u201d In: COMPCON Spring '87, pp 403\u2013407"},{"key":"S0269888900004720_ref006","unstructured":"Boral H and Redfield S , 1985. \u201cDatabase machine morphology\u201d In: Proceedings of 11th International Conference on VLDB, pp 59\u201371"},{"key":"S0269888900004720_ref034","doi-asserted-by":"crossref","unstructured":"Ramamohanarao K and Shepherd J , 1986. \u201cA superimposed codeword indexing scheme for very large Prolog databases\u201d In: Proceedings of the 3rd International Conference on Logic Programming, pp 569\u2013576","DOI":"10.1007\/3-540-16492-8_105"},{"key":"S0269888900004720_ref032","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037503"},{"key":"S0269888900004720_ref031","doi-asserted-by":"crossref","unstructured":"Noye J and Syre J-C , 1987. \u201cICM3: design and evaluation of an inference crunching machine\u201d In: Proceedings of the 5th International Workshop on Database Machines, pp 1\u201314","DOI":"10.1007\/978-1-4613-1679-4_1"},{"key":"S0269888900004720_ref036","first-page":"169","article-title":"The SUM: an AI coprocessor","volume":"10","author":"Robinson","year":"1985","journal-title":"Byte"},{"key":"S0269888900004720_ref030","doi-asserted-by":"publisher","DOI":"10.1145\/348.318586"},{"key":"S0269888900004720_ref029","doi-asserted-by":"crossref","unstructured":"Nakazaki R , 1985. \u201cDesign of a high-speed Prolog machine (HPM)\u201d In: Proceedings of the 12th International Symposium on Computer Architectures, pp 191\u2013197","DOI":"10.1145\/327070.327163"},{"key":"S0269888900004720_ref001","doi-asserted-by":"crossref","unstructured":"Abe S , Bandoh T , Yamaguchi S , Kurosawa K and Kiriyama K , 1987. \u201cHigh performance Integrated Prolog Processor IPP\u201d In: Proceedings of the 14th Annual Symposium on Computer Architecture, pp 100\u2013107.","DOI":"10.1145\/30350.30362"},{"key":"S0269888900004720_ref048","doi-asserted-by":"publisher","DOI":"10.1145\/320241.320246"},{"volume-title":"Prolog Database System","year":"1984","author":"Li","key":"S0269888900004720_ref025"},{"key":"S0269888900004720_ref038","unstructured":"Sabbatel GB and Dang W , \u201cSearch strategy for Prolog data bases\u201d In: Proceedings of the 5th International Workshop on Database Machines, pp 654\u2013667"},{"key":"S0269888900004720_ref037","doi-asserted-by":"publisher","DOI":"10.1016\/0306-4379(87)90021-4"},{"key":"S0269888900004720_ref052","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037059"},{"key":"S0269888900004720_ref024","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676699"},{"key":"S0269888900004720_ref028","unstructured":"Lipovski GJ and Hermenegildo MV , 1985. \u201cB-LOG: a branch and bound methodology for the parallel execution of logic programs\u201d In: Proceedings of International Conference on Parallel Processing,, pp 123\u2013130"},{"key":"S0269888900004720_ref014","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(84)90022-0"},{"key":"S0269888900004720_ref022","doi-asserted-by":"crossref","unstructured":"Itoh H , 1988. \u201cKnowledge base system in logic programming paradigm\u201d In: Proceedings of the 1988 International Conference on Fifth Generation Computer Systems","DOI":"10.1007\/978-1-4471-3156-4_3"},{"key":"S0269888900004720_ref015","doi-asserted-by":"crossref","unstructured":"Fagin BS and Despain AM , 1987. \u201cPerformance studies of a parallel Prolog architecture\u201d In: Proceedings of the 14th Annual Symposium on Computer Architecture, pp 108\u2013116","DOI":"10.1145\/30350.30363"},{"key":"S0269888900004720_ref027","doi-asserted-by":"crossref","unstructured":"Lipovski GJ , 1978. \u201cSemantic paging on intelligent disks\u201d In: Proceedings of the Fourth Workshop on Computer Architecture for Non-Numeric Processing, pp 30\u201334","DOI":"10.1145\/800128.804164"},{"key":"S0269888900004720_ref007","doi-asserted-by":"publisher","DOI":"10.1145\/356770.356776"},{"key":"S0269888900004720_ref023","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1986.1663036"},{"key":"S0269888900004720_ref051","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-82937-6_6"},{"key":"S0269888900004720_ref021","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1987.1663352"},{"key":"S0269888900004720_ref019","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037466"},{"key":"S0269888900004720_ref005","doi-asserted-by":"crossref","unstructured":"Boral H and DeWitt DJ , 1983. \u201cDatabase machines: An idea whose time has passed? A critique of the future of database machines\u201d In: Proceedings of 3rd International Workshop on Database Machines, pp 166\u2013187","DOI":"10.1007\/978-3-642-69419-6_10"},{"key":"S0269888900004720_ref002","doi-asserted-by":"crossref","unstructured":"Aho AV and Ullman JD , 1979. \u201cUniversality of data retrieval languages\u201d In: ACM Symposium on Principles of Programming Languages, pp 110\u2013117","DOI":"10.1145\/567752.567763"},{"key":"S0269888900004720_ref009","doi-asserted-by":"crossref","unstructured":"Dadam P , 1986. \u201cA DBMS prototype to support extended NF 2 relations: an integrated view on flat tables and hierarchies\u201d In: Proceedings of SIGMOD '86, pp 356\u2013367","DOI":"10.1145\/16856.16889"},{"key":"S0269888900004720_ref003","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1987.1663506"},{"key":"S0269888900004720_ref020","doi-asserted-by":"publisher","DOI":"10.1016\/0743-7315(86)90006-7"},{"key":"S0269888900004720_ref026","unstructured":"Li G and Wah BW , 1985. \u201cMANIP-2: a multicomputer architecture for evaluating logic programs\u201d In: Proceedings of the International Conference on Parallel Processing, pp 123\u2013130"},{"key":"S0269888900004720_ref046","unstructured":"Stormon CD , 1986. An Associative Processor and Its Application to Logic Programming Computation Technical Report 8611, Syracuse University-CASE Center"},{"key":"S0269888900004720_ref016","doi-asserted-by":"crossref","unstructured":"Fuchi K and Furukawa K , 1986. \u201cThe role of logic programming in the fifth generation computer project\u201d In: Proceedings of the Third International Conference on Logic Programming, pp 1\u201324","DOI":"10.1007\/3-540-16492-8_61"},{"key":"S0269888900004720_ref044","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1987.1663360"},{"key":"S0269888900004720_ref010","unstructured":"DeWitt DJ and Gerber R , 1985. \u201cMultiprocessor hash-based join algorithms\u201d In: Proceedings of the 11th International Conference on Very Large Data Bases, pp 151\u2013164"},{"key":"S0269888900004720_ref042","doi-asserted-by":"crossref","unstructured":"Shin D and Berra PB , 1989. \u201cSurrogate file approach to managing first order terms in secondary storage\u201d In: Proceedings of the SPIE Conference on Applications of AI VII, pp 1051\u20131062","DOI":"10.1117\/12.969354"},{"key":"S0269888900004720_ref018","first-page":"1","volume-title":"Database Machines\u2014Fourth International Workshop","author":"Hahne","year":"1985"},{"key":"S0269888900004720_ref012","doi-asserted-by":"crossref","unstructured":"Dorby TP , Despain AM and Patt YN , 1985. \u201cPerformance studies of a Prolog machine architecture\u201d In: Proceedings of the 12th Symposium on Computer Architectures, pp 180\u2013190","DOI":"10.1145\/327070.327161"},{"key":"S0269888900004720_ref017","doi-asserted-by":"crossref","unstructured":"Gonzalez-Rubio R , Rohmer J , Bradier A and Bergsten B , 1987. \u201cDDC: a deductive database machine\u201d In: Proceedings of the Fifth International Workshop on Database Machines, pp 116\u2013129","DOI":"10.1007\/978-1-4613-1679-4_35"},{"key":"S0269888900004720_ref045","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1987.1663384"},{"key":"S0269888900004720_ref053","unstructured":"Taylor S , 1984. \u201cLogic programming using parallel associative operations\u201d In: Proceedings of the 1984 International Symposium on Logic Programming, pp 58\u201368"},{"key":"S0269888900004720_ref049","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675382"},{"key":"S0269888900004720_ref054","unstructured":"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\u201383, Columbia University"},{"key":"S0269888900004720_ref050","unstructured":"Tanabe M and Aiso H , 1987. \u201cThe unification processor by pipeline method\u201d In: Proceedings of the 5th International Workshop on Database Machines, pp 668\u2013680"},{"key":"S0269888900004720_ref041","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-82375-6_15"},{"key":"S0269888900004720_ref033","unstructured":"Qadah GZ , 1985. \u201cDatabase machines: a survey\u201d In: National Computer Conference, pp 212\u2013223"},{"key":"S0269888900004720_ref059","doi-asserted-by":"crossref","unstructured":"Wah BW , Li G and Yu CF , 1989. \u201cThe status of MANIP\u2014a multicomputer architecture for solving combinatorial extremum-search problems\u201d In: Proceedings of the 11th Annual Symposium on Computer Architecture, pp 56\u201363","DOI":"10.1145\/773453.808166"},{"key":"S0269888900004720_ref060","unstructured":"Warren DHD , 1983. An Abstract Prolog Instruction Set Technical Report 306, SRI International"},{"key":"S0269888900004720_ref055","unstructured":"Thinking Machines Technical Report HA87\u20134, 1987. Connection Machine Model CM-2 Technical Summary Thinking Machines Co"},{"key":"S0269888900004720_ref056","doi-asserted-by":"crossref","unstructured":"Treleaven PC and Refenes AN , 1986. \u201cComputer architecture for artificial intelligence\u201d In: Proceedings of the Advance Courses on Future Parallel Computers, pp 416\u2013492","DOI":"10.1007\/3-540-18203-9_15"},{"key":"S0269888900004720_ref061","doi-asserted-by":"crossref","unstructured":"Woo NS , 1985a. \u201cThe architecture of the hardware unification unit and an implementation\u201d In: Micro 18 Proceedings, pp 89\u201398","DOI":"10.1145\/18906.18915"},{"key":"S0269888900004720_ref008","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-1987-0"},{"key":"S0269888900004720_ref057","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676783"},{"key":"S0269888900004720_ref058","unstructured":"Wada M , Morita Y , Yamazaki H , Yamashita S , Miyazaki N and Itoh H , 1987. \u2018A superimposed code scheme for deductive databases\u201d In: Proceedings of the 5th International Workshop on Database Machines, pp 569\u2013582"},{"key":"S0269888900004720_ref011","unstructured":"Dorby T , 1987. \u201cA coprocessor for AI; LISP, Prolog and data bases\u201d In: COMPCON Spring '87, pp 396\u2013402"},{"key":"S0269888900004720_ref062","doi-asserted-by":"crossref","unstructured":"Woo NS , 1985b. \u201cA hardware unification unit: design and analysis\u201d In: Proceedings of the 12th International Symposium on Computer Architectures, pp 198\u2013205","DOI":"10.1145\/327070.327203"},{"key":"S0269888900004720_ref063","unstructured":"Yasuura H , 1989. \u201cOn parallel computational complexity of unification\u201d In: Proceedings of the International Conference on Fifth Generation Computer Systems, pp 235\u2013243"},{"key":"S0269888900004720_ref064","doi-asserted-by":"crossref","unstructured":"Yokota H and Itoh H , 1986. \u201cA model and an architecture for a relational knowledge base\u201d In: Proceedings of the 13th International Symposium on Computer Architectures, pp 2\u20139","DOI":"10.1145\/17356.17357"},{"key":"S0269888900004720_ref065","unstructured":"Yu CF and Wah BW , 1983.\u201cVirtual memory support for branch-and-bound algorithms\u201d In: COMPSAC, pp 618\u2013626"},{"key":"S0269888900004720_ref043","unstructured":"Shobatake Y and Aiso H , 1986. \u201cA unification processor based on a uniformly structured cellular hardware\u201d In: Proceedings of the 13th International Symposium on Computer Architectures, pp 140\u2013148"},{"key":"S0269888900004720_ref004","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1979.1658656"},{"key":"S0269888900004720_ref066","unstructured":"Zaniolo C , 1985. \u201cThe representation and deductive retrieval of complex objects\u201d In: Proceedings of the llth International Conference on VLDB, pp 21\u201323"},{"key":"S0269888900004720_ref013","doi-asserted-by":"crossref","unstructured":"Dorby TP , Patt YN and Despain AM , 1984. \u201cDesign decisions influencing the microarchitecture for a Prolog machine\u201d In: Micro 17 Proceedings, pp 217\u2013231","DOI":"10.1145\/384281.808231"}],"container-title":["The Knowledge Engineering Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0269888900004720","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T14:42:06Z","timestamp":1767624126000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0269888900004720\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,3]]},"references-count":66,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1989,3]]}},"alternative-id":["S0269888900004720"],"URL":"https:\/\/doi.org\/10.1017\/s0269888900004720","relation":{},"ISSN":["0269-8889","1469-8005"],"issn-type":[{"type":"print","value":"0269-8889"},{"type":"electronic","value":"1469-8005"}],"subject":[],"published":{"date-parts":[[1989,3]]}}}