Accession Number : ADA188949

Title :   Towards a Solution to the Proper Integration of a Logic Programming System and a Large Knowledge Based Management System.

Descriptive Note : Master's thesis,

Corporate Author : NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Personal Author(s) : Gorman, John P

PDF Url : ADA188949

Report Date : Dec 1987

Pagination or Media Count : 48

Abstract : In designing the interface between a database and a logic system with inference such as Prolog, efficiency is the major issue. Presented here are three of the methods that are considered most promising and in which much research is focused. The first method explores extending an inference machine to include a database management system; and the second couples the inference mechanism with a database management system; and the third extends a database management mechanism to include inference. Acknowledging up front that no method can be claimed 'best', the major emphasis of this study will be to determine the strengths and limitations of all three methods and thereby help to clarify many uncertain and sometimes conflicting issues caused by the parallel lines of development from the database and artificial intelligence communities.

Descriptors :   *COMPUTER LOGIC, *COMPUTER PROGRAMMING, *DATA MANAGEMENT, ARTIFICIAL INTELLIGENCE, DATA BASES, INTEGRATED SYSTEMS, THESES, PROGRAMMING LANGUAGES

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE