IBM Journal of Research and Development
IBM Skip to main content
  Home     Products & services     Support & downloads     My account  

  Select a country  
Journals Home  
  Systems Journal  
Journal of Research
and Development
    Current Issue  
    Recent Issues  
    Papers in Progress  
    Search/Index  
    Orders  
    Description  
    Patents  
    Recent publications  
    Author's Guide  
  Staff  
  Contact Us  
  Related links:  
     IBM Research  

IBM Journal of Research and Development  
Volume 30, Number 1, Page 80 (1986)
Knowledge Systems
  Full article: arrowPDF   arrowCopyright info





   

Storing and evaluating Horn-clause rules in a relational database

by G. vanEmdeBoas, P. vanEmdeBoas
This paper describes a practical approach to storing and evaluating Horn-clause rules in a relational database system. The intention is to give a complete outline of what needs to be added to an existing relational database system to allow it to support full logic programming functions. Implementation issues for each new function are discussed. We show how Horn-clause rules can be translated into database commands without recourse to semantics and how their evaluation can be performed in the database itself. This brings the complete logic programming environment within reach of the database management system, allowing data and rule sharing, concurrency control, recovery procedures, etc., to be used. New is that the complete logic programming environment is incorporated into the database system. IBM Business System 12, extended in this way, may be a suitable vehicle for expert system applications.
Related Subjects: Artificial intelligence; Databases, relational; Expert systems; Knowledge systems