Advances in Data Base Theory: Volume 2

This is the third book devoted to theoretical issues in data­ bases that we have edited. Each book has been the outgrowth of papers held at a workshop in Toulouse, France. The first workshop, held in 1977 focused primarily on the important topic of logic and databases. The book, Logic and Databases was the result of this effort. The diverse uses of logic for databases such as its use as a theoretical basis for databases, for deduction and for integ­ rity constraints formulation and checking...