A novel approach is presented to a relational database machine for processing knowledge bases. This approach is based on functional programming concepts in order to manage processor resources and memory resources with the theoretical neatness of functional computation. By using demand-driven evaluation as a driving method of functional computation, parallelism can be utilized in executing relational operations (relational database operations) and inference operations based on unification. These operations can be executed so that the complexity of resource management within a restricted resource environment is avoided. This approach is implemented under a multiprocessor architecture combined with a demand-driven evaluation mechanism. The authors define the basic primitives which are used to implement demand-driven evaluation and function application. They also present a basic algorithm and a system architecture for executing basic operations for knowledge bases by using a demand-driven evaluation mechanism. To ascertain feasibility of the approach, a relational operation system has been implemented on the basis of the approach.
|ホスト出版物のタイトル||Unknown Host Publication Title|
|編集者||Harold S. Stone|
|出版ステータス||Published - 1986 12月 1|
ASJC Scopus subject areas