This book deals with the integration of logic programming and databases to generate new
types of systems, which extend the frontiers of computer science in an important direction …

This paper surveys and compares various strategies for processing logic queries in
relational databases. The survey and comparison is limited to the case of Horn Clauses with …

Database Management Systems Page 1 Database Management Systems 7 ^ Raghu
Ramakrishnan Page 2 DATABASE MANAGEMENT SYSTEMS Raghu Ramakrishnan …

Datalog is a database query language based on the logic programming paradigm; it has
been designed and intensively studied over the last five years. We present the syntax and …

This paper considers the efficient evaluation of recursive queries expressed using Horn
Clauses. We define sideways information passing formally and show how a query …

The area of deductive databases has matured in recent years, and it now seems appropriate
to reflect upon what has been achieved and what the future holds. In this paper, we provide …

As in many areas of computer science and other disciplines, graph theoretic tools play an
important role also in databases. Many concepts are best captured in terms of graphs or …

The purpose of this paper is to show that a computational model developed in the framework
of resolution provides a very adequate tool to study and develop query answering …

With current systems, some important complex queries may take days to complete because
of:(1) the volume of data to be processed,(2) limited aggregate resources. Introducing …

This paper treats the problem of implementing efficiently recursive Horn clauses queries,
including those with function symbols. In particular, the situation is studied where the initial …