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 …

This paper gives an overview of research regarding integrity control or integrity constraint
handling in relational database management systems. The topic of constraint handling is …

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 …

Deductive object bases attempt to combine the advantages of deductive relational
databases with those of object-oriented databases. We review modeling and …

Satchmo is a theorem prover consisting of just a few short and simple Prolog programs.
Prolog may be used for representing problem clauses as well. SATCHMO is based on a …

Extensions of the traditional atomic transaction model are needed to support the
development of multi-system applications or workflows that access heterogeneous …

We investigate classes of SQL queries which are syntactically correct, but certainly not
intended, no matter for which task the query was written. For instance, queries that are …

In this article we present an approach to integrity maintenance, consisting of automatically
generating production rules for integrity enforcement. Constraints are expressed as …

We propose a new method for integrity checking in deductive databases. The method
augments a database with a set of transition and internal events rules, which explicitly define …