The logic data language (LDL) system provides a declarative logic-based language and integrates relational database and logic programming technologies so as to support advanced data and knowledge-based applications. A comprehensive overview of the system ...
The logic programming language Prolog has been shown to be a very suitable language for implementing database concepts. However, current Prolog implementations are limited, and the database examples used have all consisted of relatively small sets of ...
A Prolog-based experimental system for relational databases that is not defined from the viewpoint of any specific relational topic is proposed. The idea is that the experimental system can be used in many different contexts such as query optimization, ...
Bernhard Thalheim
This paper presents a new approach to handling large fact bases for artificial intelligence and applies it to the design of an interface between databases and Prolog. It extends a previous paper by the authors, which was based on preanalysis. The interface acts as a loading mechanism. The authors introduce tracers in order to formalize the meta-knowledge about the structure of formulas and handle the loading of data from secondary storage during program execution more efficiently. Tracers can be partially ordered and this ordering can be used both to load the subsumed (i.e., the common) part first and, later on, to handle exceptions like negative facts. The authors implement the method as a prototype and show its effectiveness by means of comparisons. The method is new and seems to be applicable to general query and transaction handling in databases and knowledge bases as well, especially in Prolog-like environments.
Become a reviewer for Computing Reviews.
IEEE Press