The 4C DC system provides a declarative logic-based language and integrates relational
database and logic programming technologies so as to support advanced data and …

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 …

Magic-set transformations on (function-free) deductive databases that contain only positive
body literals permit the efficient bottom-up evaluation of answers to a wide class of queries …

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 …

Deductive databases generalize relational databases by providing support for recursive
views and non-atomic data. Aditi is a deductive system based on the client-server model; it is …

The problem considered is that of implementing recursive queries, expressed in a logic-
based language, by efficient fixpoint computations. In particular, the situation is studied …

In this paper, we discuss a new general technique for the optimization of recursive query
processing, called global optimization. Global optimization permits an improvement on …

Some transformation operations for logic programs, basic for partial deduction, program
specialization, and transformation, and for program synthesis from specifications, are …

The design and a prototypical implementation of COMPLEX, which is a logic-based system
extended with concepts from the object-oriented paradigm and is intended as a tool for the …

We extend the query optimization techniques known as algebric manipulations with
relational expressions [48] to work with deductive databases. In particular, we propose a …