Hervé Gallaire

Logic and Databases: A Deductive Approach

The purpose of this paper is to show that logic provides a convenient formalism for studying classical database problems. There are two main parts to the paper, devoted respectively to conventional databases and deductive databases. In the first part, we focus on query languages, integrity modeling and maintenance, query optimization, and data dependencies. The second part deals mainly with the representation and manipulation of deduced facts and incomplete information. Categories and Subject Descriptors: H.2.1 [Database Management]: Logical Design— data models; H.2.3 [Database Management]: Languages— query languages; H.2.4 [Database Management]: Systems— query processing General Terms: Deductive Databases, Indefinite Data, Logic and Databases, Null Values, Relational Databases

Advances in Data Base Theory

What do you do to start reading advances in data base theory vol 1? Searching the book that you love to read first or find an interesting book that will make you want to read? Everybody has difference with their reason of reading a book. Actuary, reading habit must be from earlier. Many people may be love to read, but not a book. Its not fault. Someone will be bored to open the thick book with small words to read. In more, this is the real condition. So do happen probably with this advances in data base theory vol 1.

Logic and databases: an assessment

The field of “Logic or Deductive Databases” has now reached maturity. We have been fortunate, in the past, to report on the status of this field in its infancy [18] and, later, in its adolescence [17, 19]. An account of its history has recently been given by Jack Minker in [26]. This field is now well established and forms a large body of research across the world as attested by the sessions devoted to it in most Database, as well as Logic Programming conferences. In this short paper we would like to briefly sketch its current status both from a theoretical and a practical viewpoint. This paper is definitely neither an overview nor a survey (for such a survey see the quite recent book by Ceri, Gottlob and Tanca [11]), but it merely expresses our view of the current status of the field strongly biased by the work conducted at ECRC over the last six years or so. This biased presentation means in no ways that we want to ignore or minimize the importance of the contribution to the evolution of this field of many other laboratories in the world, among which we would like to explicitly mention MCC, ICOT and the many ESPRIT related projects all over Europe.

Can We Reach a Uniform Paradigm for Deductive Query Evaluation

During the 1980s we have seen the rise of an exciting new discipline of computed science, called logic programming. The most prominent representative of this new programming paradigm is the language PROLOG, developed in the early 1970s by Colmerauer in Marseille and Kowalski in Edinburgh. Programming in PROLOG differs from conventional programming both stylistically as well as computationally, as it uses logic to represent knowledge and deduction to solve problems. Due to the success of PROLOG in the academic world, logic programming today slowly begins to find its way out of the research labs into advanced products and systems like expert system shells or knowledge-based systems.

How to look at deductive databases

After positioning deductive databases within the spectrum of knowledge-based systems, this paper briefly discusses their functionalities and some possible architectures while stressing the fact that the appropriate engineering skill to build them is not yet fully available.

Background for Advances in Data Base Theory

The intent of this chapter is to provide appropriate background for the reader so that he can comprehend more readily the advances in data base theory described in the chapters to follow. Following this introductory chapter there are three major subdivisions in the book: Data Base Design; General Laws: Deduction and Integrity; and Informative Capabilities for Users. For each area we provide background material on the subject matter, related work that has taken place in the particular subject, and’ provide an overview of the essential aspects of each paper that appears in the section.