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 database theory book provides a focused presentation of the core material on relational
databases, and presents a number of advanced topics in a unified framework. Some of the …

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 …

We propose a novel formalism, called Frame Logic (abbr., F-logic), that accounts in a clean
and declarative fashion for most of the structural aspects of object-oriented and frame-based …

We describe a novel logic, called HiLog, and show that it provides a more suitable basis for
logic programming than does traditional predicate logic. HiLog has a higher-order syntax …

This paper surveys and compares different techniques investigated in order to integrate
negation in rule-based query languages. In the context of deductive databases, a rule-based …

Publisher Summary This chapter presents a systematic and unifying introduction to
relational database theory, including some of the recent developments in database logic …

We demonstrate the power of object identities (oid's) as a database query language
primitive. We develop an object-based data model, whose structural part generalizes most of …

Local consistency techniques have been introduced in logic programming in order to extend
the application domain of logic programming languages. The existing languages based on …

This collection represents the primary reference work for researchers and students in the
area of Temporal Reasoning in Artificial Intelligence. Temporal reasoning has a vital role to …