Logic and Data Bases

Mathematical logic provides a conceptual framework for many different areas of science. It has been recognized recently that logic is also significant for data bases. E. R. T. ). We are pleased to acknowledge the financial support received from the Direction des Recherches, Etudes et Techniques d'Armenent (D. R. E. T) and from C. E. R. T. Every paper was reviewed carefully by at least two reviewers. Many thanks are due to our reviewers for their detailed reading of the papers and their constructive comments. The book provides, for the first time, a comprehensive descrip­ tion of the interaction between logic and data bases.