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 gives an overview of research regarding integrity control or integrity constraint
handling in relational database management systems. The topic of constraint handling is …

We present an efficient implementation method for temporal integrity constraints formulated
in Past Temporal Logic. Although the constraints can refer to past states of the database …

Traditionally, integrity constraints in database systems are maintained either by rolling back
any transaction that produces an inconsistent state or by disallowing or modifying operations …

AWracf-In this paper we describe a scheme to utilize semantic knowledge in optimizing a
user specified query. The semantics is represented as function-free clauses in predicate …

The authors present an approach to acquiring knowledge from previously processed
queries. By using newly acquired knowledge together with given semantic knowledge, it is …

The general architecture of a monitor that enforces inclusion dependencies and referential
integrity is described. The monitor traces the operations a user submits in a session and can …

We present an approach for integrating inter-object constraint maintenance seamlessly into
an object-oriented database system. We develop a constraint compilation scheme that …

A description is given of a very effective method for the syntax-directed simplification of
multirelation, multivariable, aggregate-free integrity constraints against a fairly general class …

Semantic query optimization, or knowledge-based query optimization, has received
increasing interest in recent years. The authors provide an effective and systematic …