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.
|Title of host publication||Unknown Host Publication Title|
|Editors||Harold S. Stone|
|Number of pages||10|
|Publication status||Published - 1986 Dec 1|
ASJC Scopus subject areas